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

Prof. Dr. Paulo Esteves-Veríssimo

Paulo Esteves-Veríssimo

Full professor in "Research Program on Information Infrastructure Security and Dependability" – FNR PEARL Chair

Sujets de recherche Security, Dependability, Resilient Distributed Computing, Fault and Intrusion Tolerance, Real-Time and Embedded Systems
Faculté ou Centre Faculté des Sciences, des Technologies et de Médecine
Department Département Informatique
Adresse postale Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Bureau sur le campus MNO, E02 0235-090
E-mail
Téléphone (+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
  • 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:

  • 'Space, meet Cyberspace!': on the Safety-Security gap in Spacecrafts, Talk at GOVSATCOM conference for EU Defence and Security, Luxembourg-LU, February 2020.
  • Distinguished Lecture, What do Resilient Computing and Digital Health have in common?, Dean’s Seminar Series at Monash University, Melbourne-AUS, December 2019. 
  • Keynote Speech. Blockchain Resilience: when System Dependability meets Data Security or...vice-versa, Distinguished Seminar, IC Colloquium Series EPFL, Lausanne-CH, September 2019 and KAUST CEMSE Dean's Distinguished Lecture Series, Thuwal-KSA, October 2019.
  • Making Safety-Critical Systems withstand Attacks Automatically.  ICRI-CARS,  Intel CRI for Collaborative Autonomous & Resilient Systems. Annual Workshop  – Intel.  Hillsboro-US, May 2018
  • Distinguished Lecture. Grand Research Challenges for Cybersecurity of Critical Information and Infrastructures. T.U. Darmstadt, Darmstadt (DE), May 2018, and Univ. Illinois Urbana-Champaign (US), April 2017.
  • Keynote Speech. Prospecting threats and opportunities of the Cyberspace, address to the Brazilian Federal Gov., Brasília (BR), Sept. 2016.
  • Keynote Speech. Ciberespaço, Soberania, Risco Social: desafios para Portugal (slides in English: Cyberspace, Sovereignty, Social Risk: challenges for Portugal), 10th Int'l Symp. on the National Information Strategy (EIN 2016), Portuguese Military Academy, Amadora (PT), April 2016.
  • Keynote Speech. Computing and Communications Resilience: the keystone of modern global applications. 33rd IEEE Symp. on Reliable Distributed Systems (SRDS), Nara (JP), October 2014.
  • Inaugural Lecture. Information Infrastructure Security and Dependability. Univ. of Luxembourg, October 2014.   

Some Press & Media coverage:

  • Luxemburger Wort - Gebündeltes Wissen 
  • FNR PEARL Chair Professor Paulo Esteves-Veríssimo on YouTube
  • Contacto - Um dia com ... Paulo Veríssimo - 9 May 2018
  • Contacto - Bitcoin, a nova febre do ouro - 18 February 2014
  • Woxx – CYBERSÉCURITÉ, « L'homme qui valait cinq millions » - 2 October 2014
  • PaperJam – «Mon programme: plus de securité informatique» - 19 September 2014
  • Contacto - «O Luxemburgo é um alvo apetitoso» - 17 September 2014
  • uni-protokolle.de - Unsere Informations-Infrastruktur muss sicherer werden! - 5-Mio. - Grant für neue Professur am SnT 

Some personal links:

Short CV:

Paulo Esteves-Veríssimo (PJV) is a professor and FNR PEARL Chair at the University of Luxembourg FSTM and SnT, and Head of the CritiX lab. He is adjunct Professor of the ECE Dept., Carnegie Mellon University. Previously, he has been a professor of the Univ. of Lisbon (PT). He is the representative of UNILU-SnT in ECSO, the European Cyber Security Organisation, and member of its Scientific & Technical Committee (STC). He was 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 Fellow of the IEEE and Fellow of the ACM, and associate editor of IEEE Trans. on Emerging Topics in Computing (TETC). He is currently interested in architectures, middleware and algorithms for resilient modular and distributed computing, in areas like SDN-based infrastructures; autonomous vehicles from earth to space; digital health and genomics; or blockchain and cryptocurrencies. He is author or co-author of over 200 peer-refereed international publications and co-author of 5 books. Check him on GSC: Google Scholar Citations profile

Last updated on: lundi 06 juillet 2020

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 aiming at establishing the lab (in a 10-year horizon) as having 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).

The evolution of the lab since 2015 was significant, achieving reputation and 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 centre architectures featuring critical hypervisor and SDN operation needs. More detail can be found here. After consolidating the team and the research avenues, the effort was directed to consolidate the lab economically, through competitive funding. As of January 2020, the Lab had additionally secured more than 7MEuro from several funding sources, which for example guarantee its full sustainability to a horizon of end 2023.

 



Last updated on: 04 juin 2020

Paulo Esteves-Veríssimo (PJV) has a PhD (1990) in Electrical and Computer Engineering from the Technical University of Lisbon IST (PT). He is Professor and FNR PEARL Chair at the University of Luxembourg Faculty of Science, Technology and Medicine (UNILU-FSTM) (https://wwwen.uni.lu/snt/people/paulo_verissimo), 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) where he also led the Navigators research group (http://www.navigators.di.fc.ul.pt/).

He is the representative of UNILU-SnT in ECSO, the European Cyber Security Organisation, and member of its Scientific & Technical Committee (STC). He is also the representative of UNILU-SnT in two of the four hubs of the H2020 European Competence Network of Cybersecurity Centres of Excellence: SPARTA and CyberSec4Europe. He belongs to the Advisory Board of the National Cybersecurity Centre Observatory, Portugal. He was 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 a member of the Portuguese Diaspora Council.

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. He is/was member of evaluation panels for a number of reputed institutions, e.g.: IEEE Computer Society Fellows Evaluation Committee (INT), European Research Council (ERC-EU). PJV is/was associate editor of several journals, e.g.: IEEE Trans. on Emerging Topics in Computing (TETC) (2019----); IEEE Trans. on Computers (TC); IEEE Trans. on Dependable and Secure Computing. He served as international PC co-chair of the IEEE/IFIP DSN 2001 conference; and international PC vice-chair of the IEEE ICDCS 2020 conference. He has also served on the programme committees of more than 170 editions of other conferences. He is often solicited as an evaluator for awards, hiring, promotions and degrees in top US and European universities.

He is currently interested in architectures, middleware and algorithms for resilient modular and distributed computing, and their application for combined system security and dependability of areas like SDN-based infrastructures; autonomous vehicles from earth to space; digital health and genomics; or blockchain and cryptocurrencies. 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, Tanenbaum and Kurose. 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 70 of which were keynote speeches or distinguished lectures at reputed venues. Google Scholar Citations profile:  http://scholar.google.com/citations?user=aMHx8aUAAAAJ

Veríssimo was also involved as key lead in numerous high-level cybersecurity and dependability audit and consulting projects, as well as an advanced training, for large corporations (ex., Electricidade de Portugal, Portugal Telecom, ZON, Logica), and governmental public administration bodies and agencies. Examples of the latter: the audit of the Portuguese government’s computer network (CEGER), the risk assessment of the Portuguese system of telecommunications and network providers (ANACOM), or a study on Cyber Policies and cyberspace for the Brazil Federal Government. PJV also has a solid systems and engineering track record, having contributed to the design and engineering of several industrial prototypes of distributed, fault-tolerant, secure and real-time systems. He is frequently featured on national media to comment on situations related to computer security and crime.

A CV overview and discussion can be found here.



Last updated on: 04 juin 2020

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

Univ. Luxembourg (Ongoing)

  • ByzRT - Intrusion resilient real-time communication and computation in autonomous systems. Sponsoring body: FNR Luxembourg (CORE Inter). Project /UniLux funding:  1.240.000€ / 980.000,00€. Coordinator: University of Luxembourg (LU). Start Date: June 2020. Duration: 3 years.  
  • Admorph: Towards Adaptively Morphing Embedded Systems. Sponsoring body: European Commission – H2020. Project / UniLux funding: 4.500.000 € / 690.000,00 €. Coordinator: Universiteit van Amsterdam. Start date: Jan 2020. Duration 3 years.  Team member.
  • ThreatAdapt - Adaptive Byzantine Fault and Intrusion Tolerance. Sponsoring body: FNR Luxembourg (CORE Inter). Project /UniLux funding:  967.000,00€. Coordinator: University of Luxembourg (LU). Start Date: Feb 2019. Duration: 3 years.
  • SPARTA hub --- European Competence Network of Cybersecurity Centres of Excellence --- Strategic Programs for Advanced Research and Technology in Europe (https://www.sparta.eu/). Sponsoring body: European Commission (H2020). Project / SnT funding: 16.000.000,00 € / 365.000,00 €. Coordinator: LIST-CEA (FR). Start Date: Feb 2019. Duration: 3 years.
  • CyberSec4Europe hub--- European Competence Network of Cybersecurity Centres of Excellence –--- Cyber Security for Europe (https://cybersec4europe.eu/). Sponsoring body: European Commission (H2020). Project / SnT funding: 15.000.000,00 € / 155.000,00 €. Coordinator: Goethe Univ. Frankfurt (DE). Start Date: Feb 2019. Duration: 3 years.
  • GenoMask - PoC - Early stage read filtering and masking of genomic information. Sponsoring body: FNR Luxembourg (JUMP Proof-of-Concept). Project /UniLux funding: 232.240,00 €. Coordinator: University of Luxembourg (LU). Start Date: Feb 2019. Duration: 2 years. Team member.
  • HyLIT - Architectural Support for Intrusion Tolerant Operating-System Kernels. Sponsoring body: FNR Luxembourg (CORE). Project /UniLux funding: 858.000,00 €. Coordinator: University of Luxembourg (LU). Start Date: Nov 2018. Duration: 3 years. Team member.
  • CARS - Architectural Support for Automatic Resilience of Autonomous Cooperative Systems. Sponsoring body: Intel Corporation. Project /UniLux funding: 600.000,00 €. Coordinator: Intel Collaborative Research Institute for Collaborative Autonomous & Resilient Systems (ICRI-CARS). Start date: Oct 2017. Duration 3 years.
  • IIS&D PEARL - Information Infrastructure Security and Dependability. Sponsoring body: FNR Luxembourg (PEARL grant). Project /UniLux funding: 4.750.000,00 €. Coordinator: University of Luxembourg (LU). Start Date: Jan 2015. Duration: 5+2 years.

 



Last updated on: 04 juin 2020

powered by
orbilu.uni.lu

2020

Full Text
See detailExploring the Monero Peer-to-Peer Network
Cao, Tong; Yu, Jiangshan; Decouchant, Jérémie; Luo, Xiapu; Verissimo, Paulo

in Cao, Tong; Yu, Jiangshan; Decouchant, Jérémie; Luo, Xiapu; Verissimo, Paulo (Eds.) Financial Cryptography and Data Security 2020, Sabah, 10-14 February 2020 (2020, February)

Full Text
See detailPriLok:Citizen-protecting distributed epidemic tracing
Esteves-Verissimo, Paulo; Decouchant, Jérémie; Volp, Marcus; Esfahani, Alireza; Graczyk, Rafal

E-print/Working paper (2020)

Full Text
See detailBehind the Last Line of Defense -- Surviving SoC Faults and Intrusions
Pinto Gouveia, Ines; Volp, Marcus; Esteves-Verissimo, Paulo

E-print/Working paper (2020)

Top of Page

2019

Full Text
See detailP3LS : Plausible Deniability for Practical Privacy-Preserving Live Streaming
Decouchant, Jérémie; Boutet, Antoine; Yu, Jiangshan; Verissimo, Paulo

Scientific Conference (2019, October)

Full Text
See detailDNA-SeAl: Sensitivity Levels to Optimize the Performance of Privacy-Preserving DNA Alignment
Fernandes, Maria; Decouchant, Jérémie; Volp, Marcus; Couto, Francisco; Verissimo, Paulo

in IEEE Journal of Biomedical and Health Informatics (2019)

Full Text
See detailPrivacy-Preserving Processing of Filtered DNA Reads
Fernandes, Maria; Decouchant, Jérémie; Volp, Marcus; M. Couto, Francisco; Verissimo, Paulo

Scientific Conference (2019, October 22)

Full Text
See detailRT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast
Kozhaya, David; Decouchant, Jérémie; Verissimo, Paulo

in IEEE Transactions on Computers (2019), 68(3),

Full Text
See detailANCHOR: logically-centralized security for Software-Defined Networks
Kreutz, Diego; Yu, Jiangshan; Ramos, Fernando M. V.; Verissimo, Paulo

E-print/Working paper (2019)

Full Text
See detailDeconstructing Blockchains: A Comprehensive Survey on Consensus, Membership and Structure
Natoli, Christopher; Yu, Jiangshan; Gramoli, Vincent; Verissimo, Paulo

E-print/Working paper (2019)

Full Text
See detailSustainable Security and Safety: Challenges and Opportunities
Paverd, Andrew; Volp, Marcus; Brasser, Ferdinand; Schunter, Matthias; N Asokan; Sadeghi, Ahmad-Reza; Verissimo, Paulo; Steininger, Andreas; Holz, Thorsten

in OpenAccess Series in Informatics (OASIcs) (2019), 73

Full Text
See detailAsphalion: Trustworthy Shielding Against Byzantine Faults
Vukotic, Ivana; Rahli, Vincent; Verissimo, Paulo

in Vukotic, Ivana; Rahli, Vincent; Verissimo, Paulo (Eds.) Asphalion: Trustworthy Shielding Against Byzantine Faults (2019)

See detailRe-thinking untraceability in the CryptoNote-style blockchain
Yu, Jiangshan; Au, Man Ho Allen; Verissimo, Paulo

Scientific Conference (2019, June)

Full Text
See detailRepuCoin: Your Reputation is Your Power
Yu, Jiangshan; Kozhaya, David; Decouchant, Jérémie; Verissimo, Paulo

in IEEE Transactions on Computers (2019)

Top of Page

2018

Full Text
See detailRevisiting Network-Level Attacks on Blockchain Network
Cao, Tong; Yu, Jiangshan; Decouchant, Jérémie; Verissimo, Paulo

Scientific Conference (2018, June 25)

Full Text
See detailAccurate filtering of privacy-sensitive information in raw genomic data
Decouchant, Jérémie; Fernandes, Maria; Volp, Marcus; Couto, Francisco M.; Verissimo, Paulo

in Journal of Biomedical Informatics (2018)

Full Text
See detailByzantine Resilient Protocol for the IoT
Fröhlich, Antônio Augusto; Scheffel, M.Roberto; Kozhaya, David; Verissimo, Paulo

in IEEE Internet of Things Journal (2018)

Full Text
See detailThe KISS principle in Software-Defined Networking: a framework for secure communications
Kreutz, Diego; Yu, Jiangshan; Verissimo, Paulo; Ramos, Fernando; Magalhaes, Catia

in IEEE Security & Privacy Magazine (2018), 16(05), 60-70

Full Text
See detailMaskAl: Privacy Preserving Masked Reads Alignment using Intel SGX
Lambert, Christoph; Fernandes, Maria; Decouchant, Jérémie; Verissimo, Paulo

Scientific Conference (2018)

Full Text
See detailProbabilistic Formal Methods Applied to Blockchain’s Consensus Protocol
Mirto, Cristian; Yu, Jiangshan; Rahli, Vincent; Verissimo, Paulo

Scientific Conference (2018)

Full Text
See detailVelisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
Rahli, Vincent; Vukotic, Ivana; Volp, Marcus; Verissimo, Paulo

in ESOP 2018 (2018, April)

Full Text
See detailIntrusion-Tolerant Autonomous Driving
Volp, Marcus; Verissimo, Paulo

in Proceedings of 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC) (2018, May 29)

Top of Page

2017

Full Text
See detailHow can photo sharing inspire sharing genomes?
Cogo, Vinicius Vielmo; Bessani, Alysson; Couto, Francisco M.; Gama-Carvalho, Margarida; Fernandes, Maria; Verissimo, Paulo

in 11th International Conference on Practical Applications of Computational Biology & Bioinformatics 2017 (2017)

Full Text
See detailA Perspective of Security for Mobile Service Robots
Cornelius, Gary Philippe; Hochgeschwender, Nico; Voos, Holger; Olivares Mendez, Miguel Angel; Caire, Patrice; Volp, Marcus; Verissimo, Paulo

in Iberian Robotics Conference, Seville, Spain, 2017 (2017, November 22)

Full Text
See detailCloud-Assisted Read Alignment and Privacy
Fernandes, Maria; Decouchant, Jérémie; Couto, Francisco M.; Verissimo, Paulo

in 11th International Conference on Practical Applications of Computational Biology & Bioinformatics 2017 (2017)

Full Text
See detailThe KISS principle in Software-Defined Networking: An architecture for Keeping It Simple and Secure
Kreutz, Diego; Verissimo, Paulo; Magalhaes, Catia; Ramos, Fernando M. V.

Report (2017)

Full Text
See detailMeeting the Challenges of Critical and Extreme Dependability and Security
Verissimo, Paulo; Volp, Marcus; Decouchant, Jérémie; Rocha, Francisco

in Proceedings of the 22nd Pacific Rim International Symposium on Dependable Computing (2017)

Full Text
See detailEnclave-Based Privacy-Preserving Alignment of Raw Genomic Information
Volp, Marcus; Decouchant, Jérémie; Lambert, Christoph; Fernandes, Maria; Verissimo, Paulo

Scientific Conference (2017, October)

Full Text
See detailFacing the Safety-Security Gap in RTES: the Challenge of Timeliness
Volp, Marcus; Kozhaya, David; Verissimo, Paulo

Scientific Conference (2017, December)

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