The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Manuel Barbosa" ( http://dblp.L3S.de/Authors/Manuel_Barbosa )

URL (Homepage):  https://orcid.org/0000-0002-6848-5564  Author page on DBLP  Author page in RDF  Community of Manuel Barbosa in ASPL-2

Publication years (Num. hits)
2005-2008 (15) 2009-2012 (22) 2013-2016 (20) 2017-2019 (14)
Publication types (Num. hits)
article(32) inproceedings(39)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 26 occurrences of 20 keywords

Results
Found 72 publication records. Showing 71 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira 0004, Pierre-Yves Strub The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Manuel Barbosa, Dario Catalano, Azam Soleimanian, Bogdan Warinschi Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality. Search on Bibsonomy CT-RSA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Indifferentiable Authenticated Encryption. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2018 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco 0001, Vitor Pereira, Bernardo Portela Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2018 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco 0001, Vitor Pereira, Bernardo Portela Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. Search on Bibsonomy CSF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Indifferentiable Authenticated Encryption. Search on Bibsonomy CRYPTO (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1José 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. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2017 DBLP  BibTeX  RDF
1Manuel Barbosa, Dario Catalano, Dario Fiore Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2017 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira 0004, Hugo Pacheco 0001, Benedikt Schmidt, Pierre-Yves Strub Jasmin: High-Assurance and High-Speed Cryptography. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José 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. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Dario Catalano, Dario Fiore Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data. Search on Bibsonomy ESORICS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi Secure Multiparty Computation from SGX. Search on Bibsonomy Financial Cryptography The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rogerio Pontes, Mário Pinto, Manuel Barbosa, Ricardo Vilaça, Miguel Matos, Rui Oliveira Performance trade-offs on a secure multi-party relational database. Search on Bibsonomy SAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel 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. Search on Bibsonomy EDCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Hugo Pacheco 0001, Vitor Pereira A Tool-Chain for High-Assurance Cryptographic Software. Search on Bibsonomy ERCIM News The full citation details ... 2016 DBLP  BibTeX  RDF
1Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi Secure Multiparty Computation from SGX. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2016 DBLP  BibTeX  RDF
1Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi Foundations of Hardware-Based Attested Computation and Application to SGX. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2016 DBLP  BibTeX  RDF
1Afonso Arriaga, Manuel Barbosa, Pooya Farshim Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2016 DBLP  BibTeX  RDF
1Afonso Arriaga, Manuel Barbosa, Pooya Farshim Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation. Search on Bibsonomy INDOCRYPT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. Search on Bibsonomy FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi Verifying Constant-Time Implementations. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2016 DBLP  BibTeX  RDF
1Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi Foundations of Hardware-Based Attested Computation and Application to SGX. Search on Bibsonomy EuroS&P The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Backes 0001, Manuel Barbosa, Dario Fiore, Raphael M. Reischuk ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1José 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. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Guillaume Davy, François Dupressoir, Benjamin Grégoire, Pierre-Yves Strub Verified Implementations for Secure and Verifiable Computation. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2014 DBLP  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim The Related-Key Analysis of Feistel Constructions. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2014 DBLP  BibTeX  RDF
1Manuel Barbosa, David Castro, Paulo F. Silva 0001 Compiling CAO: From Cryptographic Specifications to C Implementations. Search on Bibsonomy POST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim The Related-Key Analysis of Feistel Constructions. Search on Bibsonomy FSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira Formal verification of side-channel countermeasures using self-composition. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2013 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joë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. Search on Bibsonomy IMA Int. Conf. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim On the Semantic Security of Functional Encryption Schemes. Search on Bibsonomy Public Key Cryptography The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Afonso Arriaga, Manuel Barbosa, Pooya Farshim On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2012 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2012 DBLP  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Semantically Secure Functional Encryption, Revisited. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2012 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Afonso Arriaga, Manuel Barbosa, Pooya Farshim On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification. Search on Bibsonomy ACNS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation. Search on Bibsonomy CT-RSA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren Practical Realisation and Elimination of an ECC-Related Software Bug Attack. Search on Bibsonomy CT-RSA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Alexandre Pinto, Bruno Gomes Generically extending anonymization algorithms to deal with successive queries. Search on Bibsonomy CIKM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2011 DBLP  BibTeX  RDF
1Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren Practical realisation and elimination of an ECC-related software bug attack. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2011 DBLP  BibTeX  RDF
1Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva 0001 Type Checking Cryptography Implementations. Search on Bibsonomy FSEN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider 0003 A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2010 DBLP  BibTeX  RDF
1Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira A Deductive Verification Platform for Cryptographic Software. Search on Bibsonomy ECEASST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira Deductive verification of cryptographic software. Search on Bibsonomy ISSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider 0003 A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. Search on Bibsonomy ESORICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles. Search on Bibsonomy ACISP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Strong Knowledge Extractors for Public-Key Encryption Schemes. Search on Bibsonomy ACISP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Andrew Moss, Dan Page Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography. Search on Bibsonomy J. Cryptology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Compilers, Optimisation, Implementation, Elliptic curve cryptography (ECC), Specialisation
1Manuel Barbosa, Pooya Farshim Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps. Search on Bibsonomy AFRICACRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Key Agreement, Timestamp, Entity Authentication
1Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira Deductive Verification of Cryptographic Software. Search on Bibsonomy NASA Formal Methods The full citation details ... 2009 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira Verifying Cryptographic Software Correctness with Respect to Reference Implementations. Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Endre Bangerter, Manuel Barbosa, D. Bernstein, Ivan Damgård, Daniel Page, Jakob Illeborg Pagter, Ahmad-Reza Sadeghi, S. Sovio Using Compilers to Enhance Cryptographic Product Development. Search on Bibsonomy ISSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Stéphane Cauchie, Thierry Brouard, Simão Melo de Sousa Secure Biometric Authentication With Improved Accuracy. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2008 DBLP  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Certificateless Signcryption. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2008 DBLP  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Certificateless signcryption. Search on Bibsonomy AsiaCCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF insider security, signcryption, certificateless
1Manuel Barbosa, Thierry Brouard, Stéphane Cauchie, Simão Melo de Sousa Secure Biometric Authentication with Improved Accuracy. Search on Bibsonomy ACISP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Secure Biometric Authentication, Cryptography, Classifier
1Manuel Barbosa, Andrew Moss, Dan Page Compiler Assisted Elliptic Curve Cryptography. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2007 DBLP  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Randomness Reuse: Extensions and Improvements. Search on Bibsonomy IMA Int. Conf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Randomness Reuse, Multi-Recipient, Hybrid Encryption
1Manuel Barbosa, Andrew Moss, Dan Page Compiler Assisted Elliptic Curve Cryptography. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Compilers, Optimisation, Implementation, Elliptic Curve Cryptography (ECC), Specialisation
1Manuel Barbosa, Pooya Farshim Secure Cryptographic Workflow in the Standard Model. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2006 DBLP  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Secure Cryptographic Workflow in the Standard Model. Search on Bibsonomy INDOCRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Cryptographic Workflow, Key Encapsulation, Secret Sharing, Identity-Based Encryption
1Manuel Barbosa, Dan Page On the Automatic Construction of Indistinguishable Operations. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2005 DBLP  BibTeX  RDF
1Manuel Barbosa, Pooya Farshim Efficient Identity-Based Key Encapsulation to Multiple Parties. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2005 DBLP  BibTeX  RDF
1Manuel Barbosa, Richard Noad, Daniel Page, Nigel P. Smart First Steps Toward a Cryptography-Aware Language and Compiler. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2005 DBLP  BibTeX  RDF
1Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto Recursion patterns and time-analysis. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Manuel Barbosa, Dan Page On the Automatic Construction of Indistinguishable Operations. Search on Bibsonomy IMA Int. Conf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Indistinguishable Operations, Countermeasures, Simple Power Analysis, Side-channel Cryptanalysis
1Manuel Barbosa, Pooya Farshim Efficient Identity-Based Key Encapsulation to Multiple Parties. Search on Bibsonomy IMA Int. Conf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Key Encapsulation Mechanism (KEM), Provable Security, Identity Based Cryptography, Hybrid Encryption
Displaying result #1 - #71 of 71 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license