Paulo Esteves-Veríssimo

Paulo Esteves-Veríssimo

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

Forschungsthemen Security, Dependability, Distributed Computing, Fault and Intrusion Tolerance, Real-Time and Embedded Systems
Fakultät oder Zentrum Interdisciplinary Centre for Security, Reliability and Trust
Forschungseinheit SNT / CSC
Postadresse Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Büroadresse MNO, E02 0235-090
E-Mail
Telefon (+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:

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: Montag, den 17. Dezember 2018

powered by
orbilu.uni.lu

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 detailRT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast
Kozhaya, David; Decouchant, Jérémie; Verissimo, Paulo

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

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 detailANCHOR: logically-centralized security for Software-Defined Networks
Kreutz, Diego; Yu, Jiangshan; Ramos, Fernando M. V.; Verissimo, Paulo

E-print/Working paper (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