default search action
Manuel Barbosa
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j11]Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan:
X-Wing. IACR Commun. Cryptol. 1(1): 21 (2024) - [c58]Manuel Barbosa, Kai Gellert, Julia Hesse, Stanislaw Jarecki:
Bare PAKE: Universally Composable Key Exchange from Just Passwords. CRYPTO (2) 2024: 183-217 - [c57]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: 384-421 - [i52]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: 39 (2024) - [i51]Manuel Barbosa, Kai Gellert, Julia Hesse, Stanislaw Jarecki:
Bare PAKE: Universally Composable Key Exchange from just Passwords. IACR Cryptol. ePrint Arch. 2024: 234 (2024) - [i50]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: 308 (2024) - [i49]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: 843 (2024) - [i48]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: 910 (2024) - 2023
- [j10]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): 164-193 (2023) - [j9]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): 41:1-41:34 (2023) - [c56]Manuel Barbosa, André Cirne, Luís Esquível:
Rogue key and impersonation attacks on FIDO2: From theory to practice. ARES 2023: 14:1-14:11 - [c55]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) 2023: 358-389 - [c54]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) 2023: 421-454 - [c53]Ana Carolina Silva, Manuel Barbosa, Mário Florido:
Execution Time Program Verification with Tight Bounds. PADL 2023: 56-72 - [i47]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: 215 (2023) - [i46]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: 246 (2023) - [i45]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: 408 (2023) - [i44]Manuel Barbosa, Peter Schwabe:
Kyber terminates. IACR Cryptol. ePrint Arch. 2023: 708 (2023) - [i43]Manuel Barbosa, Andreas Hülsing:
The security of Kyber's FO-transform. IACR Cryptol. ePrint Arch. 2023: 755 (2023) - 2022
- [j8]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: 100736 (2022) - [i42]Ana Carolina Silva, Manuel Barbosa, Mário Florido:
Execution Time Program Verification With Tight Bounds. CoRR abs/2210.11105 (2022) - 2021
- [c52]Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu:
Algebraic Adversaries in the Universal Composability Framework. ASIACRYPT (3) 2021: 311-341 - [c51]Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub:
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. CCS 2021: 2541-2563 - [c50]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: 2564-2586 - [c49]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: 2587-2600 - [c48]Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Bogdan Warinschi:
Provable Security Analysis of FIDO2. CRYPTO (3) 2021: 125-156 - [c47]Manuel Barbosa, Bernardo Ferreira, João C. Marques, Bernardo Portela, Nuno M. Preguiça:
Secure Conflict-free Replicated Data Types. ICDCN 2021: 6-15 - [c46]Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno:
SoK: Computer-Aided Cryptography. SP 2021: 777-795 - [c45]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: 176-186 - [i41]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 abs/2104.05516 (2021) - [i40]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: 156 (2021) - [i39]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: 824 (2021) - [i38]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: 917 (2021) - [i37]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: 1149 (2021) - [i36]Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu:
Algebraic Adversaries in the Universal Composability Framework. IACR Cryptol. ePrint Arch. 2021: 1218 (2021) - [i35]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: 1253 (2021) - 2020
- [j7]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): 36-66 (2020) - [c44]Michel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu:
Universally Composable Relaxed Password Authenticated Key Exchange. CRYPTO (1) 2020: 278-307 - [c43]José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira:
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification. INDOCRYPT 2020: 107-127 - [c42]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. SP 2020: 965-982 - [i34]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 abs/2005.12273 (2020) - [i33]Michel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu:
Universally Composable Relaxed Password Authenticated Key Exchange. IACR Cryptol. ePrint Arch. 2020: 320 (2020) - [i32]Shan Chen, Manuel Barbosa, Alexandra Boldyreva, Bogdan Warinschi:
Provable Security Analysis of FIDO2. IACR Cryptol. ePrint Arch. 2020: 756 (2020) - [i31]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: 944 (2020)
2010 – 2019
- 2019
- [c41]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: 63-78 - [c40]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: 1607-1622 - [c39]Manuel Barbosa, Dario Catalano, Azam Soleimanian, Bogdan Warinschi:
Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality. CT-RSA 2019: 127-148 - [i30]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 abs/1904.04606 (2019) - [i29]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: 1042 (2019) - [i28]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: 1155 (2019) - [i27]Michel Abdalla, Manuel Barbosa:
Perfect Forward Security of SPAKE2. IACR Cryptol. ePrint Arch. 2019: 1194 (2019) - [i26]Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno:
SoK: Computer-Aided Cryptography. IACR Cryptol. ePrint Arch. 2019: 1393 (2019) - 2018
- [c38]Manuel Barbosa, Pooya Farshim:
Indifferentiable Authenticated Encryption. CRYPTO (1) 2018: 187-220 - [c37]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: 132-146 - [i25]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: 404 (2018) - [i24]Manuel Barbosa, Pooya Farshim:
Indifferentiable Authenticated Encryption. IACR Cryptol. ePrint Arch. 2018: 547 (2018) - 2017
- [c36]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: 1807-1823 - [c35]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: 1989-2006 - [c34]Manuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira, Etienne Rivière, Valerio Schiavoni, Spyros Voulgaris:
SAFETHINGS: Data Security by Design in the IoT. EDCC 2017: 117-120 - [c33]Manuel Barbosa, Dario Catalano, Dario Fiore:
Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data. ESORICS (1) 2017: 146-166 - [c32]Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi:
Secure Multiparty Computation from SGX. Financial Cryptography 2017: 477-497 - [c31]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: 456-461 - [i23]Manuel Barbosa, Dario Catalano, Dario Fiore:
Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data. IACR Cryptol. ePrint Arch. 2017: 326 (2017) - [i22]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: 821 (2017) - 2016
- [c30]Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi:
Foundations of Hardware-Based Attested Computation and Application to SGX. EuroS&P 2016: 245-260 - [c29]José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir:
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. FSE 2016: 163-184 - [c28]Afonso Arriaga, Manuel Barbosa, Pooya Farshim:
Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation. INDOCRYPT 2016: 227-247 - [c27]José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi:
Verifying Constant-Time Implementations. USENIX Security Symposium 2016: 53-70 - [i21]José Bacelar Almeida, Manuel Barbosa, Hugo Pacheco, Vitor Pereira:
A Tool-Chain for High-Assurance Cryptographic Software. ERCIM News 2016(106) (2016) - [i20]Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi:
Foundations of Hardware-Based Attested Computation and Application to SGX. IACR Cryptol. ePrint Arch. 2016: 14 (2016) - [i19]Afonso Arriaga, Manuel Barbosa, Pooya Farshim:
Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation. IACR Cryptol. ePrint Arch. 2016: 18 (2016) - [i18]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: 1057 (2016) - 2015
- [c26]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: 271-286 - [i17]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: 1241 (2015) - 2014
- [j6]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: 216-233 (2014) - [c25]Manuel Barbosa, Pooya Farshim:
The Related-Key Analysis of Feistel Constructions. FSE 2014: 265-284 - [c24]Manuel Barbosa, David Castro, Paulo F. Silva:
Compiling CAO: From Cryptographic Specifications to C Implementations. POST 2014: 240-244 - [i16]Manuel Barbosa, Pooya Farshim:
The Related-Key Analysis of Feistel Constructions. IACR Cryptol. ePrint Arch. 2014: 93 (2014) - [i15]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: 456 (2014) - 2013
- [j5]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): 796-812 (2013) - [c23]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: 1217-1230 - [c22]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: 65-84 - [c21]Manuel Barbosa, Pooya Farshim:
On the Semantic Security of Functional Encryption Schemes. Public Key Cryptography 2013: 143-161 - [i14]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: 316 (2013) - 2012
- [c20]Afonso Arriaga, Manuel Barbosa, Pooya Farshim:
On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification. ACNS 2012: 206-223 - [c19]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: 488-500 - [c18]Manuel Barbosa, Alexandre Pinto, Bruno Gomes:
Generically extending anonymization algorithms to deal with successive queries. CIKM 2012: 1362-1371 - [c17]Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren:
Practical Realisation and Elimination of an ECC-Related Software Bug Attack. CT-RSA 2012: 171-186 - [c16]Manuel Barbosa, Pooya Farshim:
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation. CT-RSA 2012: 296-312 - [i13]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: 258 (2012) - [i12]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: 382 (2012) - [i11]Manuel Barbosa, Pooya Farshim:
Semantically Secure Functional Encryption, Revisited. IACR Cryptol. ePrint Arch. 2012: 474 (2012) - 2011
- [c15]Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva:
Type Checking Cryptography Implementations. FSEN 2011: 316-334 - [i10]Manuel Barbosa, Pooya Farshim:
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation. IACR Cryptol. ePrint Arch. 2011: 215 (2011) - [i9]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: 633 (2011) - 2010
- [j4]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) - [j3]José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira:
Deductive verification of cryptographic software. Innov. Syst. Softw. Eng. 6(3): 203-218 (2010) - [c14]Manuel Barbosa, Pooya Farshim:
Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles. ACISP 2010: 145-163 - [c13]Manuel Barbosa, Pooya Farshim:
Strong Knowledge Extractors for Public-Key Encryption Schemes. ACISP 2010: 164-181 - [c12]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: 151-167 - [i8]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: 339 (2010)
2000 – 2009
- 2009
- [j2]Manuel Barbosa, Andrew Moss, Dan Page:
Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography. J. Cryptol. 22(2): 259-281 (2009) - [c11]Manuel Barbosa, Pooya Farshim:
Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps. AFRICACRYPT 2009: 235-253 - [c10]José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira:
Verifying Cryptographic Software Correctness with Respect to Reference Implementations. FMICS 2009: 37-52 - [c9]Endre Bangerter, Manuel Barbosa, Daniel J. Bernstein, Ivan Damgård, Daniel Page, Jakob Illeborg Pagter, Ahmad-Reza Sadeghi, Sampo Sovio:
Using Compilers to Enhance Cryptographic Product Development. ISSE 2009: 291-301 - [c8]Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira:
Deductive Verification of Cryptographic Software. NASA Formal Methods 2009: 146-155 - 2008
- [c7]Manuel Barbosa, Thierry Brouard, Stéphane Cauchie, Simão Melo de Sousa:
Secure Biometric Authentication with Improved Accuracy. ACISP 2008: 21-36 - [c6]Manuel Barbosa, Pooya Farshim:
Certificateless signcryption. AsiaCCS 2008: 369-372 - [i7]Manuel Barbosa, Pooya Farshim:
Certificateless Signcryption. IACR Cryptol. ePrint Arch. 2008: 143 (2008) - [i6]Manuel Barbosa, Stéphane Cauchie, Thierry Brouard, Simão Melo de Sousa:
Secure Biometric Authentication With Improved Accuracy. IACR Cryptol. ePrint Arch. 2008: 302 (2008) - 2007
- [c5]Manuel Barbosa, Pooya Farshim:
Randomness Reuse: Extensions and Improvements. IMACC 2007: 257-276 - [c4]