Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 117



21
TITLE: Algebraic Adversaries in the Universal Composability Framework
AUTHORS: Michel Abdalla; Manuel Barbosa ; Jonathan Katz; Julian Loss; Jiayu Xu;
PUBLISHED: 2021, SOURCE: Advances in Cryptology - ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021, Proceedings, Part III, VOLUME: 13092
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP
22
TITLE: CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes  Full Text
AUTHORS: Pontes, R ; Portela, B ; Barbosa, M ; Vilaca, R ;
PUBLISHED: 2021, SOURCE: 40th International Symposium on Reliable Distributed Systems (SRDS) in 2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), VOLUME: 2021-September
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
23
TITLE: EasyPQC: Verifying Post-Quantum Cryptography  Full Text
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP
24
TITLE: EasyPQC: Verifying Post-Quantum Cryptography
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Xiong Fan; Benjamin Grégoire; Shih Han Hung; Jonathan Katz; Pierre Yves Strub; Xiaodi Wu; Li Zhou;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXED IN: DBLP
IN MY: ORCID | DBLP
25
TITLE: Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head  Full Text
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Correia, Manuel L.; Eldefrawy, Karim; Graham Lengrand, Stephane; Pacheco, Hugo ; Pereira, Vitor;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
26
27
TITLE: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Manuel L Correia; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXED IN: DBLP
IN MY: ORCID | DBLP
28
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXED IN: WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
29
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXED IN: DBLP
IN MY: ORCID | DBLP
30
TITLE: Provable Security Analysis of FIDO2
AUTHORS: Barbosa, M ; Boldyreva, A; Chen, S; Warinschi, B;
PUBLISHED: 2021, SOURCE: 41st Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2021, PT III, VOLUME: 12827
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP
Page 3 of 12. Total results: 117.

A place for researchers and their institutions

Useful Links

Get Help

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