Browsing by Author José Bacelar Almeida

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 3 to 14 of 14 < previous 
Issue DateTitleAuthor(s)
2018Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworksHugo Pereira Pacheco; Bernardo Luís Portela; Vítor Parreira Pereira; José Bacelar Almeida; Manuel Barbosa; Barthe,G; 5647; 5604; 5598; 6374; 6060
2017A Fast and Verified Software Stack for Secure Function EvaluationJosé Bacelar Almeida; Manuel Barbosa; Barthe,G; Dupressoir,F; Grégoire,B; Laporte,V; Vítor Parreira Pereira
2013Formal verification of side-channel countermeasures using self-compositionJosé Bacelar Almeida; Manuel Barbosa; Jorge Sousa Pinto; Vieira,B
2016Formalization of the Pumping Lemma for Context-Free LanguagesRamos,MarcusViniciusMidena; Queiroz,; Moreira,Nelma; José Bacelar Almeida
2017Jasmin: High-Assurance and High-Speed CryptographyJosé Bacelar Almeida; Manuel Barbosa; Barthe,G; Blot,A; Grégoire,B; Laporte,V; Oliveira,T; Hugo Pereira Pacheco; Schmidt,B; Strub,PY
2019A Machine-Checked Proof of Security for AWS Key Management ServiceJosé Bacelar Almeida; Tasiran,S; Strub,PY; Portela,B; Pereira,V; Gregoire,B; Cohen,E; Campagna,M; Barthe,G; Manuel Barbosa; 5604; 5598
2019Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3José 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
2016On the Formalization of Some Results of Context-Free Language TheoryMidena Ramos,MVM; de Queiroz,RJGB; Moreira,N; José Bacelar Almeida
2019Some Applications of the Formalization of the Pumping Lemma for Context-Free LanguagesJosé Bacelar Almeida; Ramos,MVM; Moreira,N; de Queiroz,RJGB; 5598
2016A Tool-Chain for High-Assurance Cryptographic SoftwareJosé Bacelar Almeida; Manuel Barbosa; Hugo Pereira Pacheco; Pereira,V
2016Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBCJosé Bacelar Almeida; Manuel Barbosa; Barthe,G; Dupressoir,F
2016Verifying Constant-Time ImplementationsJosé Bacelar Almeida; Manuel Barbosa; Barthe,G; Dupressoir,F; Emmi,M