ProfileOfResearchers

TÃTULO: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography Full Text
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 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

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 61

NO MEU:

ORCID |

DBLP

TÃTULO: Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data
AUTORES: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLICAÇÃO: 2017, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef: 15

NO MEU:

ORCID |

DBLP

TÃTULO: Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data
AUTORES: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLICAÇÃO: 2017, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2017

INDEXADO EM:

DBLP

NO MEU:

ORCID |

DBLP

TÃTULO: Performance trade-offs on a secure multi-party relational database
AUTORES: Rogerio Pontes ; Mário Pinto; Manuel Barbosa ; Ricardo Vilaça ; Miguel Matos ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef: 1

NO MEU:

ORCID |

DBLP

TÃTULO: SAFETHINGS: Data Security by Design in the IoT
AUTORES: Manuel Barbosa ; Sonia Ben Mokhtar; Pascal Felber; Francisco Maia ; Miguel Matos ; Rui Oliveira ; Etienne Riviere; Valerio Schiavoni; Spyros Voulgaris;
PUBLICAÇÃO: 2017, FONTE: 13th European Dependable Computing Conference (EDCC) in 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017)

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 7

NO MEU:

ORCID |

DBLP

TÃTULO: Secure Multiparty Computation from SGX
AUTORES: Raad Bahmani; Manuel Barbosa ; Ferdinand Brasser; Bernardo Portela ; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLICAÇÃO: 2017, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef: 42

NO MEU:

ORCID |

DBLP

TÃTULO: A Tool-Chain for High-Assurance Cryptographic Software
AUTORES: Jose Almeida ; Manuel Barbosa ; Hugo Pacheco ; Vitor Pereira;
PUBLICAÇÃO: 2016, FONTE: ERCIM NEWS, VOLUME: 2016, NÚMERO: 106

INDEXADO EM:

WOS

DBLP

NO MEU:

ORCID |

DBLP

TÃTULO: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTORES: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLICAÇÃO: 2016, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2016

INDEXADO EM:

DBLP

NO MEU:

ORCID |

DBLP