11
TÍTULO: Machine-Checked Security for XMSS as in RFC 8391 and SPHINCS+
AUTORES: Barbosa, Manuel ; Dupressoir, Francois; Gregoire, Benjamin; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLICAÇÃO: 2023, FONTE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085
INDEXADO EM: Scopus WOS 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: 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
14
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
15
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
16
TÍTULO: Deploying Decentralized, Privacy-Preserving Proximity Tracing PDF  Full Text
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: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP arXiv
NO MEU: ORCID | DBLP
17
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
18
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
19
TÍTULO: EasyPQC: Verifying Post-Quantum Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Xiong Fan; Benjamin Grégoire; Shih Han Hung; Jonathan Katz; Pierre Yves Strub; Xiaodi Wu; Li Zhou;
PUBLICAÇÃO: 2021, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
20
TÍTULO: EasyPQC: Verifying Post-Quantum Cryptography  Full Text
AUTORES: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLICAÇÃO: 2021, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP
Página 2 de 12. Total de resultados: 113.