1
TITLE: CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes
AUTHORS: Rogério Pontes; Bernardo Portela; Manuel Barbosa ; Ricardo Vilaça;
TYPE: Unpublished, PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXED IN: DBLP
IN MY: ORCID | DBLP
2
TITLE: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
AUTHORS: José Carlos Bacelar Almeida ; Manuel Barbosa ; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira ;
TYPE: Unpublished, PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05516
INDEXED IN: DBLP
IN MY: ORCID | DBLP
3
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
TYPE: Unpublished, PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXED IN: DBLP
IN MY: ORCID | DBLP
4
TITLE: Provable Security Analysis of FIDO2
AUTHORS: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Bogdan Warinschi;
TYPE: Proceedings Paper, PUBLISHED: 2021, SOURCE: Advances in Cryptology - CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16-20, 2021, Proceedings, Part III, VOLUME: 12827
INDEXED IN: DBLP
IN MY: ORCID | DBLP
5
TITLE: Provable Security Analysis of FIDO2
AUTHORS: Barbosa, M ; Boldyreva, A; Chen, S; Warinschi, B;
TYPE: Proceedings Paper, PUBLISHED: 2021, SOURCE: 41st Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2021, PT III, VOLUME: 12827
INDEXED IN: Scopus WOS
IN MY: ORCID
6
TITLE: Secure Conflict-free Replicated Data Types
AUTHORS: Barbosa, M ; Ferreira, B; Marques, J; Portela, B; Preguica, N;
TYPE: Proceedings Paper, 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: WOS DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Security Characterization of J-PAKE and its Variants
AUTHORS: Michel Abdalla; Manuel Barbosa ; Peter B Rønne; Peter Y A Ryan; Petra Sala;
TYPE: Unpublished, PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXED IN: DBLP
IN MY: ORCID | DBLP
8
TITLE: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Vincent Laporte; Tiago Oliveira ;
TYPE: Proceedings Paper, PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: Decentralized Privacy-Preserving Proximity Tracing PDF
AUTHORS: 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 ; ...More
TYPE: Article, PUBLISHED: 2020, SOURCE: IEEE Data Eng. Bull., VOLUME: 43, ISSUE: 2
INDEXED IN: DBLP
IN MY: ORCID | DBLP
10
TITLE: Provable Security Analysis of FIDO2
AUTHORS: Shan Chen; Manuel Barbosa ; Alexandra Boldyreva; Bogdan Warinschi;
TYPE: Unpublished, PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 1 of 10. Total results: 96.