Page d'accueil // SnT // People // Paulo Esteves-Veríssimo

Paulo Esteves-Veríssimo

Paulo Esteves-Veríssimo
Adresse postale Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
Video Prof. Paulo Esteves-Verissimo (SnT)
Prof. Paulo Esteves-Verissimo (SnT)
 
Prof. Paulo Esteves-Verissimo (SnT)

Academic Areas:

  • Security
  • Dependability
  • Resilience
  • 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 infrastructures --- such as cloud, telco, or energy;
  • privacy and integrity of highly sensitive data --- such as biomedical and blockchain data
  • long-range security and safety of cyber-physical systems --- such as autonomous and cooperative vehicles

My Research Lab: CritiX - Critical and Extreme Security and Dependability Research Group @SnT

Some Keynotes:

Some Press & Media coverage:

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 200 peer-refereed publications and co-author of 5 books.  Google Scholar Citations profile

Last updated on: lundi 17 décembre 2018

 

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), member of the Board of Governors of the University of Lisbon and Director of LaSIGE where he also led the Navigators research group,founded in 1985. 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 56Mio Euro 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. He is or was a member of evaluation panels for a number of reputed institutions, amongst which: IEEE Computer Society Fellows Evaluation Committee (INT), European Research Council (EU).

His older page at the University of Lisbon Faculty of Sciences.

At SnT, the Interdisciplinary Centre for Security, Reliability and Trust at the University of Luxembourg, he built from scratch a new research lab, CritiX (Critical and Extreme Security and Dependability - https://wwwen.uni.lu/snt/research/critix), having been granted an initial 5M€ (FNR- PEARL) for an ambitious research programme that aims at establishing the lab (in a 10-year horizon) as having a unique expertise in Resilient Modular and Distributed Computing, as a crucial paradigm to automatically counter advanced persistent threats against valuable targets, like critical information infrastructures (CII). Since 2015 the lab has been gaining reputation, with successes on several fronts: e-Health systems, featuring critical biomedical data processing and storage needs; financial operations featuring blockchain-based infrastructures; autonomous and cooperative vehicles and other CPS featuring SCADA/DCS; cloud data center architectures featuring critical hypervisor and SDN operation needs.

Veríssimo also has an extensive track record of collaboration with international companies and public administration, in research, systems engineering, and high-level security and risk mitigation audit/consulting. He is frequently featured on national media to comment on situations related with computer security and crime.



Last updated on: 17 déc 2018

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 200 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 200 talks in several parts of the world, more than 40 of which were keynote speeches at reputed venues. Google Scholar Citations profile (inclusive of self-citations).

Veríssimo also has an extensive track record of collaboration with international companies and public administration, in research, systems engineering, and high-level security and risk mitigation audit/consulting (e.g., Portuguese government, Portuguese Telco regulator, EDP- Electricidade de Portugal, or Brazil Fed. Government). 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: 17 déc 2018

Present and future:

Past:



Last updated on: 29 oct 2018

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