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)
|
||||
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:
- My favourite research book of style
- LinkedIn profile
- My former research group at the University of Lisbon, Portugal
- Google Scholar Citations profile
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: jeudi 13 août 2020
2021
DyPS: Dynamic, Private and Secure GWAS (Summary) - GenoPri'21 Talk; ; ;
Presentation (2021, September 22)
2020
Exploring the Monero Peer-to-Peer Network; ; ; ;
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)
Behind the Last Line of Defense -- Surviving SoC Faults and Intrusions; ;
E-print/Working paper (2020)
2019
P3LS : Plausible Deniability for Practical Privacy-Preserving Live Streaming; ; ;
Scientific Conference (2019, October)
DNA-SeAl: Sensitivity Levels to Optimize the Performance of Privacy-Preserving DNA Alignment; ; ; ;
in IEEE Journal of Biomedical and Health Informatics (2019)
RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast; ;
in IEEE Transactions on Computers (2019), 68(3),
ANCHOR: logically-centralized security for Software-Defined Networks; ; ;
E-print/Working paper (2019)
Deconstructing Blockchains: A Comprehensive Survey on Consensus, Membership and Structure; ; ;
E-print/Working paper (2019)
Sustainable Security and Safety: Challenges and Opportunities; ; ; ; ; ; ; ;
in OpenAccess Series in Informatics (OASIcs) (2019), 73
Asphalion: Trustworthy Shielding Against Byzantine Faults; ;
in Vukotic, Ivana; Rahli, Vincent; Verissimo, Paulo (Eds.) Asphalion: Trustworthy Shielding Against Byzantine Faults (2019)
2018
Accurate filtering of privacy-sensitive information in raw genomic data; ; ; ;
in Journal of Biomedical Informatics (2018)
The KISS principle in Software-Defined Networking: a framework for secure communications; ; ; ;
in IEEE Security & Privacy Magazine (2018), 16(05), 60-70
Probabilistic Formal Methods Applied to Blockchain’s Consensus Protocol; ; ;
Scientific Conference (2018)
Intrusion-Tolerant Autonomous Driving;
in Proceedings of 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC) (2018, May 29)
2017
How can photo sharing inspire sharing genomes?; ; ; ; ;
in 11th International Conference on Practical Applications of Computational Biology & Bioinformatics 2017 (2017)
A Perspective of Security for Mobile Service Robots; ; ; ; ; ;
in Iberian Robotics Conference, Seville, Spain, 2017 (2017, November 22)
Cloud-Assisted Read Alignment and Privacy; ; ;
in 11th International Conference on Practical Applications of Computational Biology & Bioinformatics 2017 (2017)
Meeting the Challenges of Critical and Extreme Dependability and Security; ; ;
in Proceedings of the 22nd Pacific Rim International Symposium on Dependable Computing (2017)
Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information; ; ; ;
Scientific Conference (2017, October)
Facing the Safety-Security Gap in RTES: the Challenge of Timeliness; ;
Scientific Conference (2017, December)
Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come; ; ; ;
in Twenty-fifth International Workshop on Security Protocols (2017)
2016
JITeR: Just-in-time application-layer routing; ; ; ; ; ; ;
in Computer Networks (2016), (104), 122-136
Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems; ; ;
in Proceedings of the Second ACM Workshop on Cyber-Physical Systems Security and PrivaCy (2016, October)
The big data deluge in biomedicine: addressing the privacy vs. sharing dilemma;
Scientific Conference (2016, March 16)
Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control; ; ; ; ;
Scientific Conference (2016, December 12)
2015
A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data; ; ;
in Proceedings of the 14th ACM Workshop on Privacy in the Electronic Society (2015)
Software-Defined Networking: A Comprehensive Survey; ; ; ; ;
in Proceedings of the IEEE (2015), 103(1), 14-76
