Almeida, José Bacelar

1. The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
   2019/04/09 by José Bacelar Almeida, Manuel Barbosa, Almeida, José Bacelar +13 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing