TY  - RPRT
TI  - The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AU  - José Bacelar Almeida
AU  - Manuel Barbosa
AU  - Gilles Barthe
AU  - Benjamin Grégoire
AU  - Adrien Koutsos
AU  - Vincent Laporte
AU  - Tiago Oliveira
AU  - Pierre-Yves Strub
PY  - 2019
UR  - https://arxiv.org/abs/1904.04606
ID  - 1904.04606
ER  -