51
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2016
INDEXED IN: DBLP
IN MY: ORCID | DBLP
52
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: ORCID | DBLP
53
TITLE: Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2016, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2016
INDEXED IN: DBLP
IN MY: ORCID | DBLP
54
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
55
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
56
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
57
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
58
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
59
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
60
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
Page 6 of 11. Total results: 110.