Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 117



61
TITLE: Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2016, SOURCE: 17th International Conference on Cryptology in India (INDOCRYPT) in PROGRESS IN CRYPTOLOGY - INDOCRYPT 2016, VOLUME: 10095
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
62
TITLE: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir;
PUBLISHED: 2016, SOURCE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783
INDEXED IN: Scopus WOS DBLP CrossRef: 23
IN MY: ORCID | DBLP
63
TITLE: Verifying Constant-Time Implementations
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Michael Emmi;
PUBLISHED: 2016, SOURCE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM
INDEXED IN: WOS DBLP
IN MY: ORCID | DBLP
64
TITLE: ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data
AUTHORS: Michael Backes; Manuel Barbosa ; Dario Fiore; Raphael M Reischuk;
PUBLISHED: 2015, SOURCE: IEEE Symposium on Security and Privacy SP in 2015 IEEE SYMPOSIUM ON SECURITY AND PRIVACY SP 2015, VOLUME: 2015-July
INDEXED IN: Scopus WOS DBLP CrossRef: 46
IN MY: ORCID | DBLP
65
TITLE: The Related-Key Analysis of Feistel Constructions
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2015, SOURCE: 21st International Workshop on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION, FSE 2014, VOLUME: 8540
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP
66
TITLE: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2015, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2015
INDEXED IN: DBLP
IN MY: ORCID | DBLP
67
TITLE: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
68
TITLE: Compiling CAO: From cryptographic specifications to C implementations
AUTHORS: Barbosa, M ; Castro, D; Silva, PF ;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Principles of Security and Trust, POST 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8414 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
69
TITLE: The Related-Key Analysis of Feistel Constructions
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2014, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2014
INDEXED IN: DBLP
IN MY: ORCID | DBLP
70
TITLE: Verified Implementations for Secure and Verifiable Computation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLISHED: 2014, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2014
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 7 of 12. Total results: 117.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service