INESCTEC: Browsing DSpace

Browsing by Author Barthe,G

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 5 to 8 of 8 < previous

Issue Date	Title	Author(s)
2019	A Machine-Checked Proof of Security for AWS Key Management Service	José Bacelar Almeida; Tasiran,S; Strub,PY; Portela,B; Pereira,V; Gregoire,B; Cohen,E; Campagna,M; Barthe,G; Manuel Barbosa; 5604; 5598
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

Showing results 5 to 8 of 8 < previous