Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 205



41
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
42
TITLE: Software-Defined Networking: A Comprehensive Survey
AUTHORS: Kreutz, D; Ramos, FMV ; Veríssimo, PE ; Rothenberg, CE; Azodolmolky, S; Uhlig, S;
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE IEEE, VOLUME: 103, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 3872
43
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
44
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: USENIX ATC
INDEXED IN: Scopus DBLP
45
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
46
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
47
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
48
TITLE: Benchmarking some Portuguese S&T system research units
AUTHORS: Francisco M Couto ; Daniel Faria; Bruno Tavares; Pedro Gonçalves; Paulo Veríssimo ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1302.0420
INDEXED IN: DBLP
49
TITLE: BFT-TO: Intrusion Tolerance with Less Replicas
AUTHORS: Correia, M ; Neves, NF ; Verissimo, P ;
PUBLISHED: 2013, SOURCE: COMPUTER JOURNAL, VOLUME: 56, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 21
50
TITLE: E-biobanking: What Have You Done to My Cell Samples?
AUTHORS: Verissimo, PE ; Bessani, A ;
PUBLISHED: 2013, SOURCE: IEEE SECURITY & PRIVACY, VOLUME: 11, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 11
Page 5 of 21. Total results: 205.

footer slogan

Useful Links

Get Help

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