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

Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grgoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub

Browse the full SP paper archive.