Browsing by Author Laporte,V
Showing results 1 to 5 of 5
| Issue Date | Title | Author(s) |
| 2020 | Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification | Barthe,G; Tiago Filipe Oliveira; Laporte,V; José Bacelar Almeida; Manuel Barbosa; 5598; 5604; 6207 |
| 2017 | A Fast and Verified Software Stack for Secure Function Evaluation | José Bacelar Almeida; Manuel Barbosa; Barthe,G; Dupressoir,F; Grégoire,B; Laporte,V; Vítor Parreira Pereira |
| 2017 | Jasmin: High-Assurance and High-Speed Cryptography | José Bacelar Almeida; Manuel Barbosa; Barthe,G; Blot,A; Grégoire,B; Laporte,V; Oliveira,T; Hugo Pereira Pacheco; Schmidt,B; Strub,PY |
| 2020 | The Last Mile: High-Assurance and High-Speed Cryptographic Implementations | Barthe,G; Manuel Barbosa; José Bacelar Almeida; Strub,PY; Tiago Filipe Oliveira; Laporte,V; Koutsos,A; Grégoire,B; 5604; 5598; 6207 |
| 2019 | Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3 | José Bacelar Almeida; Strub,PY; Stoughton,A; Tiago Filipe Oliveira; Laporte,V; Gregoire,B; Dupressoir,F; Barthe,G; Manuel Barbosa; Baritel Ruet,C; 6207; 5598; 5604 |
