Me and my Research:
ultra-reliable operating systems
fault and intrusion tolerant real-time, embedded and cyber-physical systems
intransitive trust relationships, and
hierarchical hybridization
In particular, I’m interested how properties of distributed systems can be leveraged in the small to construct highly resilient and dependable distributed systems-on-a-chip and how findings at this small scale can help to build better systems in the large.
Academic Areas:
Security
Dependability
Resilience
Fault and Intrusion Tolerance
Operating Systems
Microkernel-based Systems
Real-time and Embedded Systems
Cyber-physical Systems
Selected Keynotes:
“Sustainable Safety and Security – Or how to survive your cooperative vehicles being hacked” , DistriNet Seminar, KU Leuven, Dec. 2, 2019
“Car hacks vs. HealthTech hacks – what both have in common and how to survive them!” , Luxinnovation – Cybersecurity for successful innovation: Challenges and tools, Oct. 23, 2019
“Hypervisor Security – From virtualization, over split applications, to intrusion tolerant microhypervisors” , Intel academic talks seminar, Nov. 21, 2018
“Münchhausen – Towards Hypervisor-Level Fault and Intrusion Tolerance”, DI seminar, FCUL, University of Lisboa, Oct. 4, 2018
“Safety and security of multi-/manycores in cyber-physical systems” , TU Kaiserslautern, Dec. 2017
“From tamed heterogeneous cores to system wide intrusion tolerance”, FAU Erlangen, Sept. 2016
“Why operating-system developers write barbaric code and how to verify it none the less.” , CMU-CSD-CMACS Seminar, Carnegie Mellon University, April 4, 2012
Selected Journal and Conference Publications:
Inês Pinto Gouveia, Marcus Völp, Paulo Esteves-Veríssimo, Behind the Last Line of Defense – Surviving SoC Faults and Intrusions, May, 2020, https://arxiv.org/abs/2005.04096
Ivana Vukotic, Vincent Rahli, Marcus Völp, Paulo Esteves-Veríssimo, Vellisarius: Towards an Ecosystem for Verifying Byzantine Fault-Tolerant Protocols , in preparation for the Journal of the ACM
Jeremie Decouchant, Maria Fernandes, Marcus Völp, Francisco Couto, Paulo Esteves-Veríssimo, Accurate filtering of privacy-preserving information in raw genomic data, in Elsevier’s Journal of Biomedical Informatics, avail. online https://www.sciencedirect.com/science/article/pii/S1532046418300704, April, 2018
Kristin Krüger, Gerhard Fohler, Marcus Völp, Vulnerability of Time-Triggered Systems against Directed Timing Interference Based Attacks, 30st Euromicro Conference on Real-Time Systems (ECRTS), Barcelona, Spain, July, 2018
Some personal links:
Short CV:
Marcus Völp is associate professor for Resilient Cyber-Physical Systems at the Interdisciplinary Center for Security, Reliability and Trust (SnT) of the University of Luxembourg and acting head of the CritiX lab, founded by Prof. Paulo Esteves-Veríssimo. Previously, he has been research group leader in the cluster of excellence Center for Advancing Electronics Dresden of the Technische Universität Dresden, where he received his PhD in 2011, and Short Term Scholar at the Logical Systems Lab of Prof. André Platzer at Carnegie Mellon University in 2013/14. His research interests include resilient computing, microhypervisor-based systems and secure and reliable cyber-physical systems. He is author of 52 publications and inventor in 9 patents.