Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 216



41
TITLE: Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems
AUTHORS: Antonio Lima; Francisco Rocha; Marcus Völp; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2016, SOURCE: Proceedings of the 2nd ACM Workshop on Cyber-Physical Systems Security and Privacy, CPS-SPC@CCS 2016, Vienna, Austria, October 28, 2016
INDEXED IN: DBLP
IN MY: DBLP
42
TITLE: A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data
AUTHORS: Vinicius V Cogo ; Alysson Bessani ; Francisco M Couto ; Paulo Veríssimo ;
PUBLISHED: 2015, SOURCE: ACM 14th Workshop on Privacy in the Electronic Society, WPES 2015 in Proceedings of the 14th ACM Workshop on Privacy in the Electronic Society, WPES 2015, Denver, Colorado, USA, October 12, 2015
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
43
TITLE: MB4CP 2015 Keynote II: Resilience of Cyber-Physical Energy Systems
AUTHORS: Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015
INDEXED IN: DBLP
IN MY: DBLP
44
TITLE: Software-Defined Networking: A Comprehensive Survey
AUTHORS: Diego Kreutz; Fernando M V Ramos ; Paulo Esteves Verissimo ; Christian Esteve Rothenberg; Siamak Azodolmolky; Steve Uhlig;
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE IEEE, VOLUME: 103, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
45
TITLE: SSIV 2015 Keynote II: From Embedded Systems to Autonomous Cooperating Objects
AUTHORS: Paulo Veríssimo ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015
INDEXED IN: DBLP CrossRef
IN MY: DBLP
46
TITLE: SCFS: A Shared Cloud-backed File System
AUTHORS: Alysson Neves Bessani ; Ricardo Mendes; Tiago Oliveira; Nuno Ferreira Neves ; Miguel Correia ; Marcelo Pasin; Paulo Veríssimo ;
PUBLISHED: 2014, SOURCE: 2014 USENIX Annual Technical Conference, USENIX ATC 2014 in 2014 USENIX Annual Technical Conference, USENIX ATC '14, Philadelphia, PA, USA, June 19-20, 2014.
INDEXED IN: Scopus DBLP
IN MY: DBLP
47
TITLE: Security made, not perfect, but automatic
AUTHORS: Verissimo, P ;
PUBLISHED: 2014, SOURCE: 18th International Workshop Security Protocols in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7061
INDEXED IN: Scopus
48
TITLE: Security made, not perfect, but automatic (transcript of discussion)
AUTHORS: Verissimo, P ;
PUBLISHED: 2014, SOURCE: 18th International Workshop Security Protocols in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7061
INDEXED IN: Scopus
49
50
TITLE: Assumptions: The trojan horses of secure protocols
AUTHORS: Verissimo, P ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Human-Computer Interaction, HCI International 2013 in Communications in Computer and Information Science, VOLUME: 374, ISSUE: PART II
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 5 of 22. Total results: 216.

A place for researchers and their institutions

Useful Links

Get Help

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