Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 116



31
TÍTULO: SoK: Computer-Aided Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Karthik Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLICAÇÃO: 2021, FONTE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
32
TÍTULO: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLICAÇÃO: 2020, FONTE: 21st International Conference on Cryptology in India, INDOCRYPT 2020 in Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, VOLUME: 12578
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
33
TÍTULO: Decentralized Privacy-Preserving Proximity Tracing PDF
AUTORES: Carmela Troncoso; Mathias Payer; Jean Pierre Hubaux; Marcel Salathé; James R Larus; Edouard Bugnion; Wouter Lueks; Theresa Stadler; Apostolos Pyrgelis; Daniele Antonioli; Ludovic Barman; Sylvain Chatel; Kenneth G Paterson; Srdjan Capkun; David A Basin; Jan Beutel; Dennis Jackson; Marc Roeschlin; Patrick Leu; Bart Preneel; Nigel P Smart; Aysajan Abidin; Seda F Gürses; Michael Veale; Cas Cremers; Michael Backes; Nils Ole Tippenhauer; Reuben Binns; Ciro Cattuto; Alain Barrat; Dario Fiore; Manuel Barbosa ; Rui Oliveira ; José Pereira ; ...Mais
PUBLICAÇÃO: 2020, FONTE: IEEE Data Eng. Bull., VOLUME: 43, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
34
TÍTULO: Provable Security Analysis of FIDO2
AUTORES: Shan Chen; Manuel Barbosa ; Alexandra Boldyreva; Bogdan Warinschi;
PUBLICAÇÃO: 2020, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
35
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Gregoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
NO MEU: ORCID | DBLP
36
TÍTULO: Universally Composable Relaxed Password Authenticated Key Exchange
AUTORES: Michel Abdalla; Manuel Barbosa ; Tatiana Bradley; Stanislaw Jarecki; Jonathan Katz; Jiayu Y Xu;
PUBLICAÇÃO: 2020, FONTE: 40th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2020, PT I, VOLUME: 12170
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID | DBLP
37
TÍTULO: Universally Composable Relaxed Password Authenticated Key Exchange
AUTORES: Michel Abdalla; Manuel Barbosa ; Tatiana Bradley; Stanislaw Jarecki; Jonathan Katz; Jiayu Xu;
PUBLICAÇÃO: 2020, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
38
TÍTULO: A Machine-Checked Proof of Security for AWS Key Management Service  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | DBLP
39
TÍTULO: Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTORES: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
40
TÍTULO: Machine-Checked Proofs for Cryptographic Standards
AUTORES: 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;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
Página 4 de 12. Total de resultados: 116.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service