Browsing by Author Dupressoir,F
Showing results 1 to 5 of 5
Issue Date | Title | Author(s) |
2013 | Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations | José Bacelar Almeida; Manuel Barbosa; Barthe,G; Dupressoir,F |
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 |
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 |
2016 | Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC | José Bacelar Almeida; Manuel Barbosa; Barthe,G; Dupressoir,F |
2016 | Verifying Constant-Time Implementations | José Bacelar Almeida; Manuel Barbosa; Barthe,G; Dupressoir,F; Emmi,M |