Manuel Barbosa

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 72

Top Venues

IACR Cryptol. ePrint Arch.

CCS

CoRR

IEEE Symposium on Security and Privacy

Publications

Manuel Barbosa, Kai Gellert, Julia Hesse, Stanislaw Jarecki
Bare PAKE: Universally Composable Key Exchange from just Passwords. IACR Cryptol. ePrint Arch. 2024 (2024)
Manuel Barbosa, François Dupressoir, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
A Tight Security Proof for $\mathrm{SPHINCS^{+}}$, Formally Verified. IACR Cryptol. ePrint Arch. 2024 (2024)
José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt. IACR Cryptol. ePrint Arch. 2024 (2024)
José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub
Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. CRYPTO (2) (2024)
Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan
X-Wing: The Hybrid KEM You've Been Looking For. IACR Cryptol. ePrint Arch. 2024 (2024)
Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan
X-Wing. IACR Commun. Cryptol. 1 (1) (2024)
Afonso Arriaga, Manuel Barbosa, Stanislaw Jarecki, Marjan Skrobot
C'est très CHIC: A compact password-authenticated key exchange from lattice-based KEM. IACR Cryptol. ePrint Arch. 2024 (2024)
Manuel Barbosa, Kai Gellert, Julia Hesse, Stanislaw Jarecki
Bare PAKE: Universally Composable Key Exchange from Just Passwords. CRYPTO (2) (2024)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub
Formally verifying Kyber Part I: Implementation Correctness. IACR Cryptol. ePrint Arch. 2023 (2023)
Manuel Barbosa, André Cirne, Luís Esquível
Rogue key and impersonation attacks on FIDO2: From theory to practice. ARES (2023)
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. ACM Trans. Priv. Secur. 26 (3) (2023)
Ana Carolina Silva, Manuel Barbosa, Mário Florido
Execution Time Program Verification with Tight Bounds. PADL (2023)
Manuel Barbosa, Andreas Hülsing
The security of Kyber's FO-transform. IACR Cryptol. ePrint Arch. 2023 (2023)
Manuel Barbosa, Peter Schwabe
Kyber terminates. IACR Cryptol. ePrint Arch. 2023 (2023)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub
Formally verifying Kyber Episode IV: Implementation correctness. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023 (3) (2023)
Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. IACR Cryptol. ePrint Arch. 2023 (2023)
Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$. IACR Cryptol. ePrint Arch. 2023 (2023)
Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. CRYPTO (5) (2022)
Ana Carolina Silva, Manuel Barbosa, Mário Florido
Execution Time Program Verification With Tight Bounds. CoRR (2022)
Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $. CRYPTO (5) (2022)
José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
A formal treatment of the role of verified compilers in secure computation. J. Log. Algebraic Methods Program. 125 (2022)
Michel Abdalla, Manuel Barbosa, Peter B. Rønne, Peter Y. A. Ryan, Petra Sala
Security Characterization of J-PAKE and its Variants. IACR Cryptol. ePrint Arch. 2021 (2021)
Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou
EasyPQC: Verifying Post-Quantum Cryptography. IACR Cryptol. ePrint Arch. 2021 (2021)
Rogério Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaça
CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes. IACR Cryptol. ePrint Arch. 2021 (2021)
Manuel Barbosa, Bernardo Ferreira, João C. Marques, Bernardo Portela, Nuno M. Preguiça
Secure Conflict-free Replicated Data Types. ICDCN (2021)
José Carlos Bacelar Almeida, Manuel Barbosa, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. CoRR (2021)
Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou
EasyPQC: Verifying Post-Quantum Cryptography. CCS (2021)
Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu
Algebraic Adversaries in the Universal Composability Framework. IACR Cryptol. ePrint Arch. 2021 (2021)
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. CCS (2021)
Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. IACR Cryptol. ePrint Arch. 2021 (2021)
Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
SoK: Computer-Aided Cryptography. IEEE Symposium on Security and Privacy (2021)
Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu
Algebraic Adversaries in the Universal Composability Framework. ASIACRYPT (3) (2021)
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. CCS (2021)
Rogério Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaça
CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes. SRDS (2021)
Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Bogdan Warinschi
Provable Security Analysis of FIDO2. CRYPTO (3) (2021)
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. IACR Cryptol. ePrint Arch. 2021 (2021)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification. INDOCRYPT (2020)
Michel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu
Universally Composable Relaxed Password Authenticated Key Exchange. CRYPTO (1) (2020)
Shan Chen, Manuel Barbosa, Alexandra Boldyreva, Bogdan Warinschi
Provable Security Analysis of FIDO2. IACR Cryptol. ePrint Arch. 2020 (2020)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. IEEE Symposium on Security and Privacy (2020)
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
Decentralized Privacy-Preserving Proximity Tracing. CoRR (2020)
Michel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu
Universally Composable Relaxed Password Authenticated Key Exchange. IACR Cryptol. ePrint Arch. 2020 (2020)
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, 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 Gurses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
Decentralized Privacy-Preserving Proximity Tracing. IEEE Data Eng. Bull. 43 (2) (2020)
Manuel Barbosa, Bernardo Ferreira, João C. Marques, Bernardo Portela, Nuno M. Preguiça
Secure Conflict-free Replicated Data Types. IACR Cryptol. ePrint Arch. 2020 (2020)
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub
Machine-Checked Proofs for Cryptographic Standards. IACR Cryptol. ePrint Arch. 2019 (2019)
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. CCS (2019)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran
A Machine-Checked Proof of Security for AWS Key Management Service. IACR Cryptol. ePrint Arch. 2019 (2019)
Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
SoK: Computer-Aided Cryptography. IACR Cryptol. ePrint Arch. 2019 (2019)
Michel Abdalla, Manuel Barbosa
Perfect Forward Security of SPAKE2. IACR Cryptol. ePrint Arch. 2019 (2019)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran
A Machine-Checked Proof of Security for AWS Key Management Service. CCS (2019)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. CoRR (2019)
Manuel Barbosa, Dario Catalano, Azam Soleimanian, Bogdan Warinschi
Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality. CT-RSA (2019)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks. IACR Cryptol. ePrint Arch. 2018 (2018)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. CSF (2018)
Manuel Barbosa, Pooya Farshim
Indifferentiable Authenticated Encryption. IACR Cryptol. ePrint Arch. 2018 (2018)
Manuel Barbosa, Pooya Farshim
Indifferentiable Authenticated Encryption. CRYPTO (1) (2018)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub
Jasmin: High-Assurance and High-Speed Cryptography. CCS (2017)
Manuel Barbosa, Dario Catalano, Dario Fiore
Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data. ESORICS (1) (2017)
Manuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira, Etienne Riviere, Valerio Schiavoni, Spyros Voulgaris
SAFETHINGS: Data Security by Design in the IoT. EDCC (2017)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira
A Fast and Verified Software Stack for Secure Function Evaluation. IACR Cryptol. ePrint Arch. 2017 (2017)
Rogerio Pontes, Mário Pinto, Manuel Barbosa, Ricardo Vilaça, Miguel Matos, Rui Oliveira
Performance trade-offs on a secure multi-party relational database. SAC (2017)
Manuel Barbosa, Dario Catalano, Dario Fiore
Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data. IACR Cryptol. ePrint Arch. 2017 (2017)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira
A Fast and Verified Software Stack for Secure Function Evaluation. CCS (2017)
Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi
Secure Multiparty Computation from SGX. Financial Cryptography (2017)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi
Verifying Constant-Time Implementations. USENIX Security Symposium (2016)
Afonso Arriaga, Manuel Barbosa, Pooya Farshim
Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation. INDOCRYPT (2016)
Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi
Secure Multiparty Computation from SGX. IACR Cryptol. ePrint Arch. 2016 (2016)
José Bacelar Almeida, Manuel Barbosa, Hugo Pacheco, Vitor Pereira
A Tool-Chain for High-Assurance Cryptographic Software. ERCIM News 2016 (106) (2016)
Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi
Foundations of Hardware-Based Attested Computation and Application to SGX. EuroS&P (2016)
Afonso Arriaga, Manuel Barbosa, Pooya Farshim
Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation. IACR Cryptol. ePrint Arch. 2016 (2016)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. FSE (2016)
Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi
Foundations of Hardware-Based Attested Computation and Application to SGX. IACR Cryptol. ePrint Arch. 2016 (2016)
Michael Backes, Manuel Barbosa, Dario Fiore, Raphael M. Reischuk
ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data. IEEE Symposium on Security and Privacy (2015)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC. IACR Cryptol. ePrint Arch. 2015 (2015)
Manuel Barbosa, David Castro, Paulo F. Silva
Compiling CAO: From Cryptographic Specifications to C Implementations. POST (2014)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Guillaume Davy, François Dupressoir, Benjamin Grégoire, Pierre-Yves Strub
Verified Implementations for Secure and Verifiable Computation. IACR Cryptol. ePrint Arch. 2014 (2014)
José Bacelar Almeida, Manuel Barbosa, Jean-Christophe Filliâtre, Jorge Sousa Pinto, Bárbara Vieira
CAOVerif: An open-source deductive verification platform for cryptographic software implementations. Sci. Comput. Program. 91 (2014)
Manuel Barbosa, Pooya Farshim
The Related-Key Analysis of Feistel Constructions. FSE (2014)
Manuel Barbosa, Pooya Farshim
The Related-Key Analysis of Feistel Constructions. IACR Cryptol. ePrint Arch. 2014 (2014)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. CCS (2013)
Manuel Barbosa, Pooya Farshim
On the Semantic Security of Functional Encryption Schemes. Public Key Cryptography (2013)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. IACR Cryptol. ePrint Arch. 2013 (2013)
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
Formal verification of side-channel countermeasures using self-composition. Sci. Comput. Program. 78 (7) (2013)
Joël Alwen, Manuel Barbosa, Pooya Farshim, Rosario Gennaro, S. Dov Gordon, Stefano Tessaro, David A. Wilson
On the Relationship between Functional Encryption, Obfuscation, and Fully Homomorphic Encryption. IMACC (2013)
Manuel Barbosa, Alexandre Pinto, Bruno Gomes
Generically extending anonymization algorithms to deal with successive queries. CIKM (2012)
Afonso Arriaga, Manuel Barbosa, Pooya Farshim
On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification. ACNS (2012)
José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin
Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. IACR Cryptol. ePrint Arch. 2012 (2012)
José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin
Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. CCS (2012)
Manuel Barbosa, Pooya Farshim
Semantically Secure Functional Encryption, Revisited. IACR Cryptol. ePrint Arch. 2012 (2012)
Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren
Practical Realisation and Elimination of an ECC-Related Software Bug Attack. CT-RSA (2012)
Manuel Barbosa, Pooya Farshim
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation. CT-RSA (2012)
Afonso Arriaga, Manuel Barbosa, Pooya Farshim
On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification. IACR Cryptol. ePrint Arch. 2012 (2012)
Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva
Type Checking Cryptography Implementations. FSEN (2011)
Manuel Barbosa, Pooya Farshim
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation. IACR Cryptol. ePrint Arch. 2011 (2011)
Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren
Practical realisation and elimination of an ECC-related software bug attack. IACR Cryptol. ePrint Arch. 2011 (2011)
José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
Deductive verification of cryptographic software. Innov. Syst. Softw. Eng. 6 (3) (2010)
José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. IACR Cryptol. ePrint Arch. 2010 (2010)
Manuel Barbosa, Pooya Farshim
Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles. ACISP (2010)
José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. ESORICS (2010)
Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira
A Deductive Verification Platform for Cryptographic Software. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)

Manuel Barbosa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuel Barbosa