1
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service  Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Matthew Campagna; Ernie Cohen; Benjamin Gregoire; Vitor Pereira; Bernardo Portela; Pierre Yves Strub; Serdar Tasiran;
SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Matthew Campagna; Ernie Cohen; Benjamin Grégoire; Vitor Pereira; Bernardo Portela; Pierre Yves Strub; Serdar Tasiran;
SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PUBLISHED: 2019
INDEXED IN: DBLP
IN MY: ORCID | DBLP
3
TITLE: Machine-Checked Proofs for Cryptographic Standards
AUTHORS: José Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PUBLISHED: 2019
INDEXED IN: DBLP
IN MY: ORCID | DBLP
4
TITLE: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3  Full Text
AUTHORS: Jose Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Tiago Oliveira ; Alley Stoughton; Pierre Yves Strub;
SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
AUTHORS: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations PDF
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Adrien Koutsos; Vincent Laporte; Tiago Oliveira; Pierre Yves Strub;
SOURCE: CoRR, VOLUME: abs/1904.04606, PUBLISHED: 2019
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
7
TITLE: Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Hugo Pacheco ; Vitor Pereira ; Bernardo Portela ;
SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2018, PUBLISHED: 2018
INDEXED IN: DBLP
IN MY: ORCID | DBLP
8
TITLE: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Hugo Pacheco ; Vitor Pereira ; Bernardo Portela ;
SOURCE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
9
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Jose Bacelar Almeida ; Alcino Cunha ; Nuno Macedo ; Hugo Pacheco ; Jose Proenca ;
SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP, PUBLISHED: 2018
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PUBLISHED: 2017
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 1 of 4. Total results: 38.