José Bacelar Almeida

Latest

• The Last Mile: High-Assurance and High-Speed Cryptographic Implementations