Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 110



41
TITLE: Indifferentiable Authenticated Encryption
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2018, SOURCE: 38th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT I, VOLUME: 10991
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP
42
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467
INDEXED IN: Scopus WOS DBLP CrossRef: 18 Unpaywall
IN MY: ORCID | DBLP
43
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017
INDEXED IN: DBLP
IN MY: ORCID | DBLP
44
TITLE: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography  Full Text
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467
INDEXED IN: Scopus WOS DBLP CrossRef: 56
IN MY: ORCID | DBLP
45
TITLE: Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLISHED: 2017, SOURCE: 22nd European Symposium on Research in Computer Security, ESORICS 2017 in Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I, VOLUME: 10492
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: ORCID | DBLP
46
TITLE: Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017
INDEXED IN: DBLP
IN MY: ORCID | DBLP
47
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
48
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
49
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
50
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
Page 5 of 11. Total results: 110.

A place for researchers and their institutions

Useful Links

Get Help

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