Manuel Bernardo Barbosa - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Manuel Bernardo Barbosa' as author, editor, or advisor:

Verifying Cryptographic Software Correctness with Respect to Reference ImplementationsJosÃ© Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, BÃ¡rbara Vieira. fmics 2009: 37-52 [doi]
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworksJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco 0001, Vitor Pereira, Bernardo Portela. iacr, 2018:404, 2018. [doi]
Recursion patterns and time-analysisManuel Barbosa, Alcino Cunha, Jorge Sousa Pinto. SIGPLAN, 40(5):45-54, 2005. [doi]
Bare PAKE: Universally Composable Key Exchange from just PasswordsManuel Barbosa, Kai Gellert, Julia Hesse, Stanislaw Jarecki. iacr, 2024:234, 2024. [doi]
A Fast and Verified Software Stack for Secure Function EvaluationJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira. iacr, 2017:821, 2017. [doi]
SAFETHINGS: Data Security by Design in the IoTManuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira, Etienne Riviere, Valerio Schiavoni, Spyros Voulgaris. edcc 2017: 117-120 [doi]
Formally verifying Kyber Episode IV: Implementation correctnessJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira 0004, Hugo Pacheco 0001, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub. tches, 2023(3):164-193, 2023. [doi]
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and DilithiumManuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu. crypto 2023: 358-389 [doi]
Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub. iacr, 2023:408, 2023. [doi]
EasyPQC: Verifying Post-Quantum CryptographyManuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou. iacr, 2021:1253, 2021. [doi]
Algebraic Adversaries in the Universal Composability FrameworkMichel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu. asiacrypt 2021: 311-341 [doi]
Secure Cryptographic Workflow in the Standard ModelManuel Barbosa, Pooya Farshim. indocrypt 2006: 379-393 [doi]
Rogue key and impersonation attacks on FIDO2: From theory to practiceManuel Barbosa, André Cirne, Luís Esquível. IEEEares 2023: [doi]
Efficient Function-Hiding Functional Encryption: From Inner-Products to OrthogonalityManuel Barbosa, Dario Catalano, Azam Soleimanian, Bogdan Warinschi. ctrsa 2019: 127-148 [doi]
Deductive verification of cryptographic softwareJosé Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira. isse, 6(3):203-218, 2010. [doi]
Efficient Identity-Based Key Encapsulation to Multiple PartiesManuel Barbosa, Pooya Farshim. iacr, 2005:217, 2005. [doi]
Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-HeadJosé Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco 0001, Vitor Pereira. ccs 2021: 2587-2600 [doi]
Verified Implementations for Secure and Verifiable ComputationJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Guillaume Davy, François Dupressoir, Benjamin Grégoire, Pierre-Yves Strub. iacr, 2014:456, 2014. [doi]
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3José Bacelar Almeida, Cecile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira 0004, Alley Stoughton, Pierre-Yves Strub. ccs 2019: 1607-1622 [doi]
Indifferentiable Authenticated EncryptionManuel Barbosa, Pooya Farshim. crypto 2018: 187-220 [doi]
The Related-Key Analysis of Feistel ConstructionsManuel Barbosa, Pooya Farshim. iacr, 2014:93, 2014. [doi]
On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security AmplificationAfonso Arriaga, Manuel Barbosa, Pooya Farshim. acns 2012: 206-223 [doi]
Secure Conflict-free Replicated Data TypesManuel Barbosa, Bernardo Ferreira, João C. Marques, Bernardo Portela, Nuno M. Preguiça. iacr, 2020:944, 2020. [doi]
The Last Mile: High-Assurance and High-Speed Cryptographic ImplementationsJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira 0004, Pierre-Yves Strub. sp 2020: 965-982 [doi]
Formal verification of side-channel countermeasures using self-compositionJosé Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira. SCP, 78(7):796-812, 2013. [doi]
Universally Composable Relaxed Password Authenticated Key ExchangeMichel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu. crypto 2020: 278-307 [doi]
Mechanized Proofs of Adversarial Complexity and Application to Universal ComposabilityManuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub. tissec, 26(3), August 2023. [doi]
C'est très CHIC: A compact password-authenticated key exchange from lattice-based KEMAfonso Arriaga, Manuel Barbosa, Stanislaw Jarecki, Marjan Skrobot. iacr, 2024:308, 2024. [doi]
CAOVerif: An open-source deductive verification platform for cryptographic software implementationsJosé Bacelar Almeida, Manuel Barbosa, Jean-Christophe Filliâtre, Jorge Sousa Pinto, Bárbara Vieira. SCP, 91:216-233, 2014. [doi]
SoK: Computer-Aided CryptographyManuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno. sp 2021: 777-795 [doi]
Secure Conflict-free Replicated Data TypesManuel Barbosa, Bernardo Ferreira, João C. Marques, Bernardo Portela, Nuno M. Preguiça. icdcn 2021: 6-15 [doi]
Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced DataManuel Barbosa, Dario Catalano, Dario Fiore. iacr, 2017:326, 2017. [doi]
Randomness Reuse: Extensions and ImprovementsManuel Barbosa, Pooya Farshim. ima 2007: 257-276 [doi]
Semantically Secure Functional Encryption, RevisitedManuel Barbosa, Pooya Farshim. iacr, 2012:474, 2012. [doi]
Compiler Assisted Elliptic Curve CryptographyManuel Barbosa, Andrew Moss, Dan Page. iacr, 2007:53, 2007. [doi]
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of ComputationManuel Barbosa, Pooya Farshim. iacr, 2011:215, 2011. [doi]
Formally verifying Kyber Part I: Implementation CorrectnessJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira 0004, Hugo Pacheco 0001, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub. iacr, 2023:215, 2023. [doi]
Provable Security Analysis of FIDO2Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Bogdan Warinschi. crypto 2021: 125-156 [doi]
Mechanized Proofs of Adversarial Complexity and Application to Universal ComposabilityManuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub. ccs 2021: 2541-2563 [doi]
Provable Security Analysis of FIDO2Shan Chen, Manuel Barbosa, Alexandra Boldyreva, Bogdan Warinschi. iacr, 2020:756, 2020. [doi]
Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from ObfuscationAfonso Arriaga, Manuel Barbosa, Pooya Farshim. iacr, 2016:18, 2016. [doi]
Secure Biometric Authentication with Improved AccuracyManuel Barbosa, Thierry Brouard, Stéphane Cauchie, Simão Melo de Sousa. acisp 2008: 21-36 [doi]
Jasmin: High-Assurance and High-Speed CryptographyJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub. ccs 2017: 1807-1823 [doi]
Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge ProtocolsJosé Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin. iacr, 2012:258, 2012. [doi]
On the Relationship between Functional Encryption, Obfuscation, and Fully Homomorphic EncryptionJoël Alwen, Manuel Barbosa, Pooya Farshim, Rosario Gennaro, S. Dov Gordon, Stefano Tessaro, David A. Wilson. ima 2013: 65-84 [doi]
Verifying Constant-Time ImplementationsJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi. uss 2016: 53-70 [doi]
A Machine-Checked Proof of Security for AWS Key Management ServiceJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran. ccs 2019: 63-78 [doi]
A Deductive Verification Platform for Cryptographic SoftwareManuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliåtre, Bárbara Vieira. eceasst, 33, 2010. [doi]
Secure Cryptographic Workflow in the Standard ModelManuel Barbosa, Pooya Farshim. iacr, 2006:450, 2006. [doi]
CODBS: A cascading oblivious search protocol optimized for real-world relational database indexesRogério Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaça. srds 2021: 176-186 [doi]
ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated DataMichael Backes 0001, Manuel Barbosa, Dario Fiore, Raphael M. Reischuk. sp 2015: 271-286 [doi]
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-HeadJosé Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco 0001, Vitor Pereira. iacr, 2021:1149, 2021. [doi]
The Related-Key Analysis of Feistel ConstructionsManuel Barbosa, Pooya Farshim. fse 2015: 265-284 [doi]
Security Characterization of J-PAKE and its VariantsMichel Abdalla, Manuel Barbosa, Peter B. Rønne, Peter Y. A. Ryan, Petra Sala. iacr, 2021:824, 2021. [doi]
Full proof cryptography: verifiable compilation of efficient zero-knowledge protocolsJosé Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin. ccs 2012: 488-500 [doi]
Indifferentiable Authenticated EncryptionManuel Barbosa, Pooya Farshim. iacr, 2018:547, 2018. [doi]
Foundations of Hardware-Based Attested Computation and Application to SGXManuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi. eurosp 2016: 245-260 [doi]
Type Checking Cryptography ImplementationsManuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva. fsen 2012: 316-334 [doi]
Perfect Forward Security of SPAKE2Michel Abdalla, Manuel Barbosa. iacr, 2019:1194, 2019. [doi]
Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from ObfuscationAfonso Arriaga, Manuel Barbosa, Pooya Farshim. indocrypt 2016: 227-247 [doi]
Algebraic Adversaries in the Universal Composability FrameworkMichel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu. iacr, 2021:1218, 2021. [doi]
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBCJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir. fse 2016: 163-184 [doi]
Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random OraclesManuel Barbosa, Pooya Farshim. acisp 2010: 145-163 [doi]
On the Automatic Construction of Indistinguishable OperationsManuel Barbosa, Dan Page. iacr, 2005:174, 2005. [doi]
SoK: Computer-Aided CryptographyManuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno. iacr, 2019:1393, 2019. [doi]
Efficient Identity-Based Key Encapsulation to Multiple PartiesManuel Barbosa, Pooya Farshim. ima 2005: 428-441 [doi]
Performance trade-offs on a secure multi-party relational databaseRogerio Pontes, Mário Pinto, Manuel Barbosa, Ricardo Vilaça, Miguel Matos, Rui Oliveira. SAC 2017: 456-461 [doi]
Using Compilers to Enhance Cryptographic Product DevelopmentEndre Bangerter, Manuel Barbosa, D. Bernstein, Ivan Damgård, Daniel Page, Jakob Illeborg Pagter, Ahmad-Reza Sadeghi, S. Sovio. isse 2010: 291-301 [doi]
Security Analysis of Standard Authentication and Key Agreement Protocols Utilising TimestampsManuel Barbosa, Pooya Farshim. africacrypt 2009: 235-253 [doi]
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time VerificationJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira 0004. indocrypt 2020: 107-127 [doi]
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of ComputationManuel Barbosa, Pooya Farshim. ctrsa 2012: 296-312 [doi]
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementationsJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir. ccs 2013: 1217-1230 [doi]
EasyPQC: Verifying Post-Quantum CryptographyManuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou. ccs 2021: 2564-2586 [doi]
First Steps Toward a Cryptography-Aware Language and CompilerManuel Barbosa, Richard Noad, Daniel Page, Nigel P. Smart. iacr, 2005:160, 2005. [doi]
Certificateless SigncryptionManuel Barbosa, Pooya Farshim. iacr, 2008:143, 2008. [doi]
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and DilithiumManuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu. iacr, 2023:246, 2023. [doi]
Strong Knowledge Extractors for Public-Key Encryption SchemesManuel Barbosa, Pooya Farshim. acisp 2010: 164-181 [doi]
CODBS: A cascading oblivious search protocol optimized for real-world relational database indexesRogério Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaça. iacr, 2021:917, 2021. [doi]
On the Automatic Construction of Indistinguishable OperationsManuel Barbosa, Dan Page. ima 2005: 233-247 [doi]
Practical Realisation and Elimination of an ECC-Related Software Bug AttackBilly Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren. ctrsa 2012: 171-186 [doi]
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-ProtocolsJosé Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider 0003. esorics 2010: 151-167 [doi]
Certificateless signcryptionManuel Barbosa, Pooya Farshim. ccs 2008: 369-372 [doi]
Deductive Verification of Cryptographic SoftwareManuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira. NFM 2009: 146-155
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-ProtocolsJosé Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider 0003. iacr, 2010:339, 2010. [doi]
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementationsJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir. iacr, 2013:316, 2013. [doi]
Universally Composable Relaxed Password Authenticated Key ExchangeMichel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu. iacr, 2020:320, 2020. [doi]
Generically extending anonymization algorithms to deal with successive queriesManuel Barbosa, Alexandre Pinto, Bruno Gomes. CIKM 2012: 1362-1371 [doi]
Compiling CAO: From Cryptographic Specifications to C ImplementationsManuel Barbosa, David Castro, Paulo F. Silva. post 2014: 240-244 [doi]
X-Wing: The Hybrid KEM You've Been Looking ForManuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan. iacr, 2024:39, 2024. [doi]
Execution Time Program Verification with Tight BoundsAna Carolina Silva, Manuel Barbosa, Mário Florido. PADL 2023: 56-72 [doi]
Practical realisation and elimination of an ECC-related software bug attackBilly Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren. iacr, 2011:633, 2011. [doi]
A Fast and Verified Software Stack for Secure Function EvaluationJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira. ccs 2017: 1989-2006 [doi]
On the Semantic Security of Functional Encryption SchemesManuel Barbosa, Pooya Farshim. pkc 2013: 143-161 [doi]
Foundations of Hardware-Based Attested Computation and Application to SGXManuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi. iacr, 2016:14, 2016. [doi]
On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security AmplificationAfonso Arriaga, Manuel Barbosa, Pooya Farshim. iacr, 2012:382, 2012. [doi]
A formal treatment of the role of verified compilers in secure computationJosé Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco 0001, Vitor Pereira, Bernardo Portela. jlap, 125:100736, 2022. [doi]
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBCJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir. iacr, 2015:1241, 2015. [doi]
Secure Multiparty Computation from SGXRaad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi. fc 2017: 477-497 [doi]
Decentralized Privacy-Preserving Proximity TracingCarmela 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 0001, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira 0001, José Pereira 0001. DEBU, 43(2):36-66, 2020. [doi]
A Machine-Checked Proof of Security for AWS Key Management ServiceJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran. iacr, 2019:1042, 2019. [doi]
Mechanized Proofs of Adversarial Complexity and Application to Universal ComposabilityManuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub. iacr, 2021:156, 2021. [doi]
A Tool-Chain for High-Assurance Cryptographic SoftwareJosé Bacelar Almeida, Manuel Barbosa, Hugo Pacheco, Vitor Pereira. ercim, 2016(106), 2016. [doi]
Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC FrameworksJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco 0001, Vitor Pereira, Bernardo Portela. csfw 2018: 132-146 [doi]
Secure Biometric Authentication With Improved AccuracyManuel Barbosa, Stéphane Cauchie, Thierry Brouard, Simão Melo de Sousa. iacr, 2008:302, 2008. [doi]
Compiler Assisted Elliptic Curve CryptographyManuel Barbosa, Andrew Moss, Dan Page. otm 2007: 1785-1802 [doi]
Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced DataManuel Barbosa, Dario Catalano, Dario Fiore. esorics 2017: 146-166 [doi]
Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub. crypto 2023: 421-454 [doi]
Secure Multiparty Computation from SGXRaad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi. iacr, 2016:1057, 2016. [doi]
Machine-Checked Proofs for Cryptographic StandardsJosé Bacelar Almeida, Cecile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira 0004, Alley Stoughton, Pierre-Yves Strub. iacr, 2019:1155, 2019. [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Manuel Bernardo Barbosa's Profile

Unidentified Publications