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

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 0245-020
Telephone (+352) 46 66 44 5634
Fax (+352) 46 66 44 35634


I'm post doc and research associate in the CritiX team at SnT. Our research focuses on various kinds of systems, including clouds, embedded and cyber physical systems, and how to make them tolerant to attacks mounted by highly skilled and well equipped attackers. My specific focus is on the operating-system and run-time layer where I explore microkernel and microhypervisor technology to protect systems against attacks while preserving their real-time, security and privacy properties.

  Marcus Völp



Last updated on: Wednesday, 26 September 2018


Last updated on: 02 Feb 2016

powered by


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