![](/img/cover-not-exists.png)
[IEEE 2020 IEEE Symposium on Security and Privacy (SP) - San Francisco, CA, USA (2020.5.18-2020.5.21)] 2020 IEEE Symposium on Security and Privacy (SP) - The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
Almeida, Jose Bacelar, Barbosa, Manuel, Barthe, Gilles, Gregoire, Benjamin, Koutsos, Adrien, Laporte, Vincent, Oliveira, Tiago, Strub, Pierre-YvesYear:
2020
DOI:
10.1109/SP40000.2020.00028
File:
PDF, 299 KB
2020