Home // SnT // People // Paulo Esteves-Veríssimo

Paulo Esteves-Veríssimo

Paulo Esteves-Veríssimo

Professor

Research Topics Security, Dependability, Distributed Computing, Fault and Intrusion Tolerance, Real-Time and Embedded Systems
Faculty or Centre Faculté des Sciences, de la Technologie et de la Communication
Research Unit SNT / CSC
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E02 0235-090
Email
Telephone (+352) 46 66 44 5245
Fax (+352) 46 66 44 35245
Video Prof. Paulo Esteves-Verissimo (SnT)
Prof. Paulo Esteves-Verissimo (SnT)
 
Prof. Paulo Esteves-Verissimo (SnT)

Academic Areas:

  • Security
  • Dependability
  • Distributed Computing
  • Fault and Intrusion Tolerance
  • Real-Time and Embedded Systems

Research Topics:

Secure and dependable distributed architectures, middleware and algorithms for:

  • resilience of large-scale systems and critical information infrastructures --- such as cloud, telco, or energy;
  • privacy and integrity of highly sensitive data --- such as e-biobanking ecosystems and other personal or business data;
  • adaptability and safety of real-time networked embedded systems --- such as connected and autonomous cars or planes

CritiX - Critical and Extreme Security and Dependability Research Group @SnT

Professional & Social Media Pages:

Inaugural Lecture - 15 October 2014, 14:30, B001

Some press:

Some personal links:

Short CV:

Paulo Esteves-Veríssimo is a Professor and FNR PEARL Chair at the University of Luxembourg Faculty of Science, Technology and Communication (FSTC), since fall 2014, and head of the CritiX lab (Critical and Extreme Security and Dependability) at SnT, the Interdisciplinary Centre for Security, Reliability and Trust at the same University (https://wwwen.uni.lu/snt). He is adjunct Professor of the ECE Dept., Carnegie Mellon University. Previously, he has been a Professor of the Univ. of Lisbon, member of the Board of the same university and Director of LaSIGE (http://lasige.di.fc.ul.pt). Veríssimo is Fellow of the IEEE and Fellow of the ACM, and he is associate editor of the IEEE Transactions on Computers (TC - 2015---). He is currently Chair of the IFIP WG 10.4 on Dependable Computing and Fault-Tolerance and vice-Chair of the Steering Committee of the IEEE/IFIP DSN conference. He is currently interested in secure and dependable distributed architectures, middleware and algorithms for: resilience of large-scale systems and critical infrastructures, privacy and integrity of highly sensitive data, and adaptability and safety of real-time networked embedded systems. He is author of over 180 peer-refereed publications and co-author of 5 books.  Google Scholar Citations profile

Last updated on: Thursday, 09 February 2017

The career of Paulo Veríssimo (PJV) has started within the universe of the Technical University of Lisbon IST and of INESC, until 1995/96, when he left for another chapter, developed since at the University of Lisbon Faculty of Sciences (FCUL), and LaSIGE (1996-2014). He was a Professor of the Department of Computer Science and Engineering (Dpt. de Informática - DI). His teaching and research subjects have comprised distributed systems, security and dependability, real-time, system configuration and management.

Whilst at FCUL, PJV organized and led the participation of the University of Lisbon in the Carnegie Mellon University - Portugal partnership (2007-12), a 56Meuro program where FCUL led the security and dependability initiative, gaining an important insight into the key factors of success of the organisation of dual PhD and MSc programmes in alliance with cooperative research. He is adjunct Professor of the ECE Dept., Carnegie Mellon University.
His older page at the University of Lisbon Faculty of Sciences. (www.di.fc.ul.pt/~pjv)

Veríssimo started, in the fall of 2014, a new phase in his career. He is currently a Professor of the University of Luxembourg Faculty of Science, Technology and Communication (FSTC) (https://wwwen.uni.lu/snt/people/paulo_verissimo), and holder of an Excellence Award for Research in Luxembourg (PEARL) Chair from the National Science foundation of Luxembourg (FNR), for his proposed 5M€ strategic research program on Information Infrastructure Security and Dependability at the University of Luxembourg (2014). He heads the CritiX group (Critical and Extreme Security and Dependability) at SnT, the Interdisciplinary Centre for Security, Reliability and Trust at the same University (https://wwwen.uni.lu/snt).



Last updated on: 09 Feb 2017

Paulo Esteves Veríssimo (PJV) has a PhD (1990) in Electrical and Computer Engineering from the Technical University of Lisbon IST. He is a Professor of the University of Luxembourg Faculty of Science, Technology and Communication (FSTC) (https://wwwen.uni.lu/snt/people/paulo_verissimo), since fall 2014 and head of the CritiX group (Critical and Extreme Security and Dependability) at SnT, the Interdisciplinary Centre for Security, Reliability and Trust at the same University

He is adjunct Professor of the ECE Dept., Carnegie Mellon University. Previously, he has been a Professor of the Univ. of Lisbon, member of the Board of the same university and Director of LaSIGE where he also led the Navigators research group (http://www.navigators.di.fc.ul.pt/). He is currently Chair of the IFIP WG 10.4 on Dependable Computing and Fault-Tolerance and vice-Chair of the Steering Committee of the IEEE/IFIP DSN conference (2013---).

He is Fellow of the IEEE and Fellow of the ACM. He was in the finals of the Descartes European Science Prize 2004, leading a FCUL team integrated in the MAFTIA project, and has been senior researcher to two winners of the IBM Portugal Scientific Award (2004 and 2007). He is past Chair of the IEEE Technical Committee on Fault-Tolerant Computing (2003-04) and of the Steering Committee of DSN. He belonged to the European Security & Dependability Advisory Board and has been for several years now consultant to the European Commission in Information Science and Technology. He belonged to the Executive Board of the CaberNet European Network of Excellence. He coordinated the CORTEX IST/FET project (http://cortex.di.fc.ul.pt). He is a member of IEEE, ACM, Ordem dos Engenheiros.

PJV is associate editor of the IEEE Transactions on Computers (TC - 2015---), and past associate editor of the Elsevier Int’l Journal on Critical Infrastructure Protection (IJCIP - 2008-2015), and of the IEEE Tacs. on Dependable and Secure Computing (TDSC - 2004-08). He served as international program co-chair of the IEEE/IFIP Dependable Systems and Networks DSN-2001 conference, General Chair of DSN-2009, and has also served on the programme committees of many other conferences. He is or was member of evaluation panels for a number of reputed institutions, amongst which: IEEE Computer Society Fellows Evaluation Committee (INT), European Research Council (EU). He is often solicited as evaluator for awards, hiring, promotions and degrees in top US and European universities.

He is currently interested in secure and dependable distributed architectures, middleware and algorithms for: resilience of large-scale systems and critical infrastructures, privacy and integrity of highly sensitive data, and adaptability and safety of real-time networked embedded systems. He is author or co-author of over 170 peer-refereed publications in international scientific conferences and journals. His work is featured in known authors’ books, such as, Birman, Chow, Coulouris, Kopetz, Jalote, Raynal, and Tanenbaum. His ERDÖS Number is 3. PJV is also co-author of 5 international books and has given over 150 talks in several parts of the world, more than 30 of which were keynote speeches at reputed venues. Google Scholar Citations profile (inclusive of self-citations).

Veríssimo also has a solid systems and engineering track record, attested for example by his contribution to the design of several industrial prototypes of fault-tolerant, secure and real-time systems, and critical security audits and risk mitigation projects for governments and companies. He is frequently featured on national media to comment on situations related with computer security and crime. 

A CV overview and discussion can be found here.



Last updated on: 06 Mar 2017

Present and future:

Past:



Last updated on: 06 Nov 2014

Publications (pdf file)

See also Google Scholar Citations profile which indexes  most publications



Last updated on: 17 Oct 2014

Involvement as team leader except where noted otherwise

Univ. Luxembourg (Ongoing)

IIS&D - Information Infrastructure Security and Dependability. Sponsoring body: FNR Luxembourg (PEARL grant)

FCUL and IST (Past)

SEGRID - Security for smart Electricity GRIDs. Sponsoring body: EU (FP7-SEC STREP project)

BioBankCloud - Scalable, Secure Storage of Biobank. Sponsoring body: EU (FP7-ICT STREP project)

SECFUNET - Security for Future Networks. Sponsoring body: EU (FP7-ICT EU-Brazil Coordinated call project)

KARYON - Kernel-Based ARchitecture for safetY-critical cONtrol. Sponsoring body: EU (FP7-ICT STREP project)

TCLOUDS - Trustworthy Clouds: Privacy and Resilience for Internet-scale Critical Infrastructure. Sponsoring body: EU (FP7-ICT Integrated project)

MASSIF - MAnagement of Security information and events in Service Infrastructures. Sponsoring body: EU (FP7-ICT Integrated project)

CMU-Portugal partnership– Information and Communication Technologies Institute. Sponsoring body: Portuguese Government

TRONE - Trustworthy and Resilient Operations in a Network Environment. Sponsoring body: FCT

DIVERSE - Diversity for Intrusion-Tolerant Systems. Sponsoring body: FCT

CloudFIT - Fault and Intrusion Tolerance for Cloud Computing. Sponsoring body: FCT

AIR-II - ARINC 653 In Space RTOS - Industrial Initiative. Sponsoring body: European Space Agency

CRUTIAL - CRitical UTility InfrastructurAL resilience. Sponsoring body: EU (FP5)

HIDENETS - HIghly DEpendable ip-based NETworks and Services. Sponsoring body: EU (FP5)

RESIST - Resilience for Survivability in IST, Network of Excellence. Sponsoring body: EU

ESFORS - European Security Forum for Web Services, Software and Systems. Sponsoring body: EU - Coordination Action

AJECT - Attack Injection on Software Components. Sponsoring body: FCT

RITAS - Randomized Intrusion Tolerance for Asynchronous Systems. Sponsoring body: FCT

TACID - Timely ACID Transactions in DBMS. Sponsoring body: FCT

DARIO - Distributed Agency for Reliable Input/Output. Sponsoring body: FCT

SecureIST - ICT Security & Dependability Taskforce. Sponsoring body: EU-Coordination Action

MAFTIA - Malicious- and Accidental-Fault Tolerance for Internet Applications. Sponsoring body: EU (FP5)

CORTEX - CO-operating Real-time senTient objects: architecture and EXperimental evaluation. Sponsoring body: EU

ARTIST - Network of Excellence in Advanced Real-Time Systems. Sponsoring body: EU

COPE - Secure and Reliable Parallel Processing. Sponsoring body: FCT

MICRA - A Model for the Development of Mission Critical Applications. Sponsoring body: FCT

DEAR-COTS - Distributed Embedded Architectures using Commercial Off-The-Shelf Components. Sponsoring body: FCT

DEFEATS - Sponsoring body: FCT

CaberNet - European Network of Excellence in Distributed Computing Systems Architectures. Sponsoring body: EU- ESPRIT

BROADCAST Working Group - Sponsoring body: EU- ESPRIT

 DELTA-4 - Definition and Design of an Open Dependable Distributed Computer System Architecture. Sponsoring body: EU- ESPRIT

DINAS - Sponsoring body: EU- ESPRIT

CoDiCom - Sponsoring body: STRIDE-JNICT

BROADCAST project - Sponsoring body: EU- ESPRIT

GODC - Group-Oriented Distributed Computing project, Sponsoring body: ESPRIT-NSF

ELENA – National Electronic Office. Sponsoring body: Portuguese government



Last updated on: 14 Oct 2014

powered by
orbilu.uni.lu

2017

Full Text
See detailPermanent Reencryption: How to Survive Generations of Cryptanalysts to Come
Volp, Marcus; Rocha, Francisco; Decouchant, Jérémie; Yu, Jiangshan; Verissimo, Paulo

in Twenty-fifth International Workshop on Security Protocols (2017)

Top of Page

2016

Full Text
See detailJITeR: Just-in-time application-layer routing
Bessani, Alysson; Neves, Nuno F.; Verissimo, Paulo; Wagner, Dantas; Fonseca, Alexandre; Rui, Silva; Luz, Pedro; Correia, Miguel

in Computer Networks (2016), (104), 122-136

Full Text
See detailTowards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems
Caldeira Lima, Antonio; Rocha, Francisco; Volp, Marcus; Verissimo, Paulo

in Proceedings of the Second ACM Workshop on Cyber-Physical Systems Security and PrivaCy (2016, October)

Full Text
See detailThe big data deluge in biomedicine: addressing the privacy vs. sharing dilemma
Verissimo, Paulo; Decouchant, Jérémie

Scientific Conference (2016, March 16)

Full Text
See detailAvoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control
Volp, Marcus; Lackorzynski, Adam; Decouchant, Jérémie; Rahli, Vincent; Rocha, Francisco; Verissimo, Paulo

Scientific Conference (2016, December 12)

Top of Page

2015

Full Text
See detailA High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data
Cogo, Vinicius Vielmo; Bessani, Alysson; Couto, Francisco M.; Verissimo, Paulo

in Proceedings of the 14th ACM Workshop on Privacy in the Electronic Society (2015)

Full Text
See detailSoftware-Defined Networking: A Comprehensive Survey
Kreutz, Diego; Ramos, F. M. V.; Verissimo, Paulo; Rothenberg, C. E.; Azodolmolky, S.; Uhlig, S.

in Proceedings of the IEEE (2015), 103(1), 14-76

See detailOn the Road to the Softwarization of Networking
Ramos, Fernando M. V.; Kreutz, Diego; Verissimo, Paulo

in Cutter IT Journal (2015), 28

Top of Page