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 CrossRef
IN MY: ORCID
2
TITLE: Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
SOURCE: Cryptographers Track at the RSA Conference 2019, CT-RSA 2019 in Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings, VOLUME: 11405, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3
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 CrossRef
IN MY: ORCID
4
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
5
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
6
TITLE: Indifferentiable Authenticated Encryption
AUTHORS: Manuel Barbosa ; Pooya Farshim;
SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2018, PUBLISHED: 2018
INDEXED IN: DBLP
IN MY: ORCID | DBLP
7
TITLE: Indifferentiable Authenticated Encryption
AUTHORS: Manuel Barbosa ; Pooya Farshim;
SOURCE: 38th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT I, VOLUME: 10991, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
8
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation  Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Vitor Pereira ;
SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
9
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
10
TITLE: Jasmin: High-Assurance and High-Speed Cryptography  Full Text
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP
Page 1 of 8. Total results: 77.