Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 94



31
TITLE: Secure Conflict-free Replicated Data Types
AUTHORS: Barbosa, M ; Ferreira, B; Marques, J ; Portela, B ; Preguiça, N ;
PUBLISHED: 2021, SOURCE: 22nd International Conference on Distributed Computing and Networking (ICDCN) in PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING (ICDCN '21)
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: DBLP | CIÊNCIAVITAE
32
TITLE: Security Characterization of J-PAKE and its Variants
AUTHORS: Michel Abdalla; Manuel Barbosa ; Peter B Rønne; Peter Y A Ryan; Petra Sala;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXED IN: DBLP
IN MY: DBLP
33
TITLE: SoK: Computer-Aided Cryptography
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthik Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2021, SOURCE: SP
INDEXED IN: DBLP
IN MY: DBLP
34
TITLE: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLISHED: 2020, SOURCE: INDOCRYPT, VOLUME: 12578 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: DBLP | CIÊNCIAVITAE
35
TITLE: Provable Security Analysis of FIDO2
AUTHORS: Shan Chen; Manuel Barbosa ; Alexandra Boldyreva; Bogdan Warinschi;
PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXED IN: DBLP
IN MY: DBLP
36
TITLE: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Grégoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLISHED: 2020, SOURCE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May
INDEXED IN: Scopus WOS DBLP CrossRef: 36
IN MY: DBLP | CIÊNCIAVITAE
37
TITLE: Universally Composable Relaxed Password Authenticated Key Exchange
AUTHORS: Abdalla, M; Barbosa, M ; Bradley, T; Jarecki, S; Katz, J; Xu, JY;
PUBLISHED: 2020, SOURCE: 40th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2020, PT I, VOLUME: 12170
INDEXED IN: Scopus WOS DBLP CrossRef: 36
IN MY: DBLP | CIÊNCIAVITAE
38
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLISHED: 2019, 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: DBLP | CIÊNCIAVITAE
39
TITLE: Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
PUBLISHED: 2019, SOURCE: CT-RSA, VOLUME: 11405 LNCS
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: DBLP | CIÊNCIAVITAE
40
TITLE: Machine-Checked Proofs for Cryptographic Standards
AUTHORS: José Bacelar Almeida ; Cécile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXED IN: DBLP
IN MY: DBLP
Page 4 of 10. Total results: 94.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service