Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 116



11
TÍTULO: Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $
AUTORES: Manuel Barbosa ; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLICAÇÃO: 2023, FONTE: Advances in Cryptology – CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Proceedings in Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V, VOLUME: 14085
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
12
TÍTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLICAÇÃO: 2023, FONTE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, NÚMERO: 3
INDEXADO EM: WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
13
TÍTULO: Rogue key and impersonation attacks on FIDO2: From theory to practice
AUTORES: Manuel Barbosa ; André Cirne; Luís Esquível;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 18th International Conference on Availability, Reliability and Security
INDEXADO EM: Unpaywall
14
TÍTULO: Rogue key and impersonation attacks on FIDO2: From theory to practice
AUTORES: Barbosa, Manuel ; Cirne, Andre ; Esquivel, Luis ;
PUBLICAÇÃO: 2023, FONTE: 18th International Conference on Availability, Reliability and Security (ARES) in 18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
15
TÍTULO: The security of Kyber's FO-transform
AUTORES: Manuel Barbosa ; Andreas Hülsing;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
16
TÍTULO: A formal treatment of the role of verified compilers in secure computation
AUTORES: Bacelar Almeida, Jose Carlos ; Barbosa, Manuel ; Barthe, Gilles ; Pacheco, Hugo ; Pereira, Vitor; Portela, Bernardo ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
17
TÍTULO: Execution Time Program Verification With Tight Bounds
AUTORES: Ana Carolina Silva; Manuel Barbosa ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2210.11105
INDEXADO EM: DBLP
NO MEU: DBLP
18
TÍTULO: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTORES: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLICAÇÃO: 2022, FONTE: Advances in Cryptology – CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Proceedings in Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V, VOLUME: 14085
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
19
TÍTULO: Algebraic Adversaries in the Universal Composability Framework
AUTORES: Michel Abdalla; Manuel Barbosa ; Jonathan Katz; Julian Loss; Jiayu Xu;
PUBLICAÇÃO: 2021, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP
20
TÍTULO: CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes  Full Text
AUTORES: Pontes, R ; Portela, B ; Barbosa, M ; Vilaca, R ;
PUBLICAÇÃO: 2021, FONTE: 40th International Symposium on Reliable Distributed Systems (SRDS) in 2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), VOLUME: 2021-September
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
Página 2 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