Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 114



51
TITLE: Performance trade-offs on a secure multi-party relational database
AUTHORS: Rogerio Pontes ; Mário Pinto; Manuel Barbosa ; Ricardo Vilaça ; Miguel Matos ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
52
TITLE: SAFETHINGS: Data Security by Design in the IoT
AUTHORS: Manuel Barbosa ; Sonia Ben Mokhtar; Pascal Felber; Francisco Maia ; Miguel Matos ; Rui Oliveira ; Etienne Riviere; Valerio Schiavoni; Spyros Voulgaris;
PUBLISHED: 2017, SOURCE: 13th European Dependable Computing Conference (EDCC) in 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017)
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP
53
TITLE: Secure Multiparty Computation from SGX
AUTHORS: Raad Bahmani; Manuel Barbosa ; Ferdinand Brasser; Bernardo Portela ; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2017, SOURCE: 21st International Conference on Financial Cryptography and Data Security, FC 2017 in Financial Cryptography and Data Security - 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers, VOLUME: 10322
INDEXED IN: Scopus DBLP CrossRef: 42
IN MY: ORCID | DBLP
54
TITLE: A Tool-Chain for High-Assurance Cryptographic Software
AUTHORS: Jose Almeida ; Manuel Barbosa ; Hugo Pacheco ; Vitor Pereira ;
PUBLISHED: 2016, SOURCE: ERCIM NEWS, VOLUME: 2016, ISSUE: 106
INDEXED IN: WOS DBLP
IN MY: ORCID | DBLP
55
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
56
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
57
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
58
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
59
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
60
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
Page 6 of 12. Total results: 114.

A place for researchers and their institutions

Useful Links

Get Help

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