Home // SnT // People // Marcus Völp

Prof. Dr. Marcus Völp

Associate professor/Chief scientist 2

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Department CritiX
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E02 0235-090
Telephone (+352) 46 66 44 5634

Me and my Research:

my name is Marcus Völp. I am an associate professor for Resilient Computing in Cyber-Physical and Embedded Systems and head of the CritiX – Critical and Extreme Security and Dependability Research Group @ SnT. My research interests include:

  • 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
  • “Partitioning Multi-/Many-Core SoCs to Tolerate Vulnerabilities, Faults, Attacks and Intrusions”, Intel academic talks seminar, May. 15, 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:

  1. 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
  2. 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
  3. 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
  4. 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.

Last updated on: Friday, 12 February 2021


Last updated on: 02 Feb 2016

Prof. Dr.-Ing. Marcus Völp is Chief Scientist II (Associate Professor) for Resilient Computing in Cyber-Physical and Embedded Systems on May 15, 2020. He received his PhD from TU Dresden, lead the ESF Young Researcher Group IMData and was research group leader in the cluster of excellence Center for Advancing Electronics Dresden. His research interests include methods for constructing and verifying microkernel- and microhypervisor-based systems that simultaneously meet stringent security, safety, real-time and dependability guarantees. Recently, he started investigating the security of manycore architectures and how Intel SGX can be improved to deliver better security guarantees. He is author of 33 peer-refereed publications at international conferences and journals and inventor in 9 patents. See also: https://scholar.google.de/citations?user=yszaBO0AAAAJ&hl=de&oi=ao

Prof. Völp was visiting scholar at the Logical Systems Lab of the Carnegie Mellon University, headed by Prof. André Platzer. His teaching abilities are documented in several lectures on microkernel-based systems, real-time systems and reliability, including a course on the Construction and Verification of Cyber-Physical Systems, which he devised from scratch. He supervised several Master theses and was co-supervisor of six PhD students before he assumed supervisor responsibilities of Ms. Inês Pinto Gouveia and joint supervision of Ms. Kristin Krüger (TU Kaiserslautern) and Mr. Fritz Adler (KU Leuven). Past funding as PI includes the FNR Core Jr. project HyLIT, the H2020 – ICT 01-2019 – CPSoS project Admorph and the Cost Action CERCIRAS. In addition, Dr. Völp participates as Co-PI in the national and international projects GenoMask, ThreatAdapt, ICRI-CARS and the H2020-CyberSec projects Sparta and CyberSec4EU. Prof. Völp served as PC chair in the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020).

Last updated on: 30 Sep 2020

powered by

In press

Full Text
See detailSI‐AKAV: Secure integrated authentication and key agreement for cellular‐connected IoT devices in vehicular social networks
Esfahani, Alireza; Decouchant, Jérémie; Volp, Marcus; Mumtaz, Shahid; Konstantin Igorevich, Kostromitin

in Transactions on Emerging Telecommunications Technologies (in press)

Top of Page


Full Text
See detailEphemeriShield - Defence Against Cyber-Antisatellite Weapons
Graczyk, Rafal; Volp, Marcus

Scientific Conference (2021, October 14)

Full Text
See detailRandomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication
Krüger, Kristin; Vreman, Nils; Pates, Richard; Maggio, Martina; Volp, Marcus; Fohler, Gerhard

in LITES: Leibnitz Transactions on Embedded Systems (2021)

Full Text
See detailTo verify or tolerate, that’s the question
Pinto Gouveia, Ines; Sakr, Mouhammad; Graczyk, Rafal; Volp, Marcus

Scientific Conference (2021, December 06)

Full Text
See detailThreat Adaptive Byzantine Fault Tolerant State-Machine Replication
Simoes Silva, Douglas; Graczyk, Rafal; Decouchant, Jérémie; Volp, Marcus; Esteves-Verissimo, Paulo

Scientific Conference (2021, September)

Top of Page


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


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 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

Top of Page


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 detailVulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems
Krüger, Kristin; Volp, Marcus; Fohler, Gerhard

in LIPIcs-Leibniz International Proceedings in Informatics (2018), 106

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


Full Text
See detailFormally Verified Differential Dynamic Logic
Bohrer, Brandon; Rahli, Vincent; Vukotic, Ivana; Volp, Marcus; Platzer, Andre

in CPP 2017 (2017)

Full Text
See detailA Hardware/Software Stack for Heterogeneous Systems
Castrillon, Jeronimo; Lieber, Matthias; Klueppelholz, Sascha; Volp, Marcus; Asmussen, Nils; Assmann, Uwe; Baader, Franz; Baier, Christel; Fettweis, Gerhard; Froehlich, Jochen

in IEEE Transactions on Multi-Scale Computing Systems (2017), PP(99), 1

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 detailImproving Security for Time-Triggered Real-Time Systems against Timing Inference Based Attacks by Schedule Obfuscation
Krüger, Kristin; Fohler, Gerhard; Volp, Marcus

Scientific Conference (2017, June)

Full Text
See detailProbabilistic Analysis of Low-Criticality Execution
Küttler, Martin; Roitzsch, Michael; Hamann, Claude-Joachim; Volp, Marcus

Scientific Conference (2017, December)

Full Text
See detailExploiting Transistor-Level Reconfiguration to Optimize Combinational Circuits on the Example of a Conditional Sum Adder
Raitza, Michael; Kumar, Akash; Volp, Marcus; Walter, Dennis; Trommer, Jens; Mikolajick, Thomas; Weber, Walter M.

Scientific Conference (2017, March)

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


Full Text
See detailM3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores
Asmussen, Nils; Volp, Marcus; Nöthen, Benedikt; Härtig, Hermann; Fettweis, Gerhard

in Architectural Support for Programming Languages and Operating Systems (ASPLOS) (2016, April)

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 Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware
Volp, Marcus; Klüppelholz, Sascha; Castrillon, Jeronimo; Härtig, Hermann; Asmussen, Nils; Assmann, Uwe; Baader, Franz; Baier, Christel; Fettweis, Gerhard; Fröhlich, Jochen; Goens, Andrés; Haas, Sebastian; Habich, Dirk; Hasler, Mattis; Huismann, Immo; Karnagel, Tomas; Karol, Sven; Lehner, Wolfgang; Leuschner, Linda; Lieber, Matthias; Ling, Siqi; Märcker, Steffen; Mey, Johannes; Nagel, Wolfgang; Nöthen, Benedikt; Penaloza, Rafael; Raitza, Michael; Stiller, Jörg; Ungethüm, Annett; Voigt, Axel

Scientific Conference (2016, November 14)

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


Full Text
See detailTowards Dependable CPS Infrastructures: Architectural and Operating-System Challenges
Volp, Marcus; Asmussen, Nils; Härtig, Hermann; Nöthen, Benedikt; Fettweis, Gerhard

Scientific Conference (2015)

Top of Page