Profil

VÖLP Marcus

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > CritiX

ORCID
0000-0002-8020-4446
Main Referenced Co-authors
ESTEVES-VERISSIMO, Paulo  (16)
GRACZYK, Rafal  (11)
DECOUCHANT, Jérémie  (10)
Asmussen, Nils (4)
FERNANDES, Maria  (4)
Main Referenced Keywords
resilience (4); security (4); fault and intrusion tolerance (2); Interdependent privacy (2); Privacy (2);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Critical and Extreme Security and Dependability Research Group (CritiX) (5)
Center for Advancing Electronics Dresden (cfaed) — Technische Universit ¨ at Dresden, Germany; SnT-CritiX — University of Luxembourg; KRDB Research Centre — Free University of Bozen-Bolzano (1)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Automation & Robotics Research Group (1)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > CritiX - Critical and Extreme Security and Dependability (1)
Operating Systems Group - Department of Computer Science - Technische Universität Dresden (1)
Main Referenced Disciplines
Computer science (46)
Aerospace & aeronautics engineering (2)
Electrical & electronics engineering (1)

Publications (total 46)

The most downloaded
1830 downloads
Caldeira Lima, A., Rocha, F., Volp, M., & Verissimo, P. (2016). Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems. In Proceedings of the Second ACM Workshop on Cyber-Physical Systems Security and PrivaCy. doi:10.1145/2994487.2994489 https://hdl.handle.net/10993/28773

The most cited

43 citations (Scopus®)

Bohrer, B., Rahli, V., Vukotic, I., Volp, M., & Platzer, A. (2017). Formally Verified Differential Dynamic Logic. In CPP 2017. doi:10.1145/3018610.3018616 https://hdl.handle.net/10993/29216

YAHYAOUI, W., Joachim Bruneau-Queyreix, VÖLP, M., & Jérémie Decouchant. (2024). Tolerating Disasters with Hierarchical Consensus. In Tolerating Disasters with Hierarchical Consensus (pp. 10). Vancouver, Canada: IEEE.
Peer reviewed

Matovic, A., Graczyk, R., Lucchetti, F., & Volp, M. (13 July 2023). Consensual Resilient Control: (Don’t let the hackers spill your coffee) - Demo Poster [Poster presentation]. 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Vienna, Austria.

Pascoal, T., Decouchant, J., Boutet, A., & Volp, M. (2023). I-GWAS: Privacy-Preserving Interdependent Genome-Wide Association Studies. Proceedings on Privacy Enhancing Technologies. doi:10.56553/popets-2023-0026
Peer reviewed

Rodrigues de Mendonça Neto, J., Machida, F., & Volp, M. (2023). Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation. In J. Rodrigues de Mendonça Neto, F. Machida, ... M. Volp, Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation. IEEE.
Peer reviewed

Lucchetti, F., Graczyk, R., & Volp, M. (11 April 2023). Toward resilient autonomous driving—An experience report on integrating resilience mechanisms into the Apollo autonomous driving software stack. Frontiers in Computer Science, 5. doi:10.3389/fcomp.2023.1125055
Peer Reviewed verified by ORBi

Shoker, A., ESTEVES-VERISSIMO, P., & VÖLP, M. (2023). The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. In Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2023. Institute of Electrical and Electronics Engineers Inc. doi:10.1109/DSN-S58398.2023.00043
Peer reviewed

A. Pimentel, C. G. L. M. D. S. M. V. F. L. A. M. M. M. N. V. S. A. F. H. A. C. J. C. G. J. A. E. S. S. J. K. G. D. L. J. A. H. B. M. B. S. W. P. N., VÖLP, M., LUCCHETTI, F., & MATOVIC, A. (2023). The ADMORPH approach for Adaptively Morphing Embedded Systems. Ada User Journal, 1 (1).
Peer Reviewed verified by ORBi

Pinto-Gouveia, I., Volp, M., & Esteves-Verissimo, P. (December 2022). Behind the last line of defense: Surviving SoC faults and intrusions. Computers and Security, 123. doi:10.1016/j.cose.2022.102920
Peer reviewed

Rodrigues de Mendonça Neto, J., Kim, M., Graczyk, R., Volp, M., & Kim, D. S. (2022). Security Modeling and Analysis of Moving Target Defense in Software Defined Networks. In Security Modeling and Analysis of Moving Target Defense in Software Defined Networks.
Peer reviewed

Alkoudsi, M. I., Fohler, G., & Volp, M. (21 November 2022). Tolerating Resource Exhaustion Attacks in the Time-Triggered Architecture [Paper presentation]. Brazilian Symposium on Computing Systems Engineering (SBESC). doi:10.1109/SBESC56799.2022.9964703

Pascoal, T., Decouchant, J., & Volp, M. (2022). Secure and Distributed Assessment of Privacy-Preserving Releases of GWAS. ACM/IFIP International Middleware Conference. doi:10.1145/3528535.3565253
Peer reviewed

Jacobs, S., Sakr, M., & Volp, M. (2022). Automatic Repair and Deadlock Detection for Parameterized Systems. In Automatic Repair and Deadlock Detection for Parameterized Systems.
Peer reviewed

Graczyk, R., Memon, M. S., & Volp, M. (2022). Methods for increasing the dependability of High-performance, Many-core, System-on-Chips. In R. Graczyk, M. S. Memon, ... M. Volp, IAC 2022 congress proceedings, 73rd International Astronautical Congress (IAC).
Peer reviewed

Pascoal, T., Decouchant, J., & Volp, M. (11 July 2022). Towards practical Genome-Wide Association Studies: Overview and Challenges [Paper presentation]. PETS'22 Workshop on Interdependent and Multi-party Privacy, Sydney, Australia.

Graczyk, R., Bujwan, W., Darmetko, M., Dziezyc, M., Galano, D., Grochowski, K., Kurowski, M., Juchnikowski, G., Morawski, M., Mosdorf, M., Orleanski, P., Thizy, C., & Volp, M. (2022). From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering. In R. Graczyk, W. Bujwan, M. Darmetko, M. Dziezyc, D. Galano, K. Grochowski, M. Kurowski, G. Juchnikowski, M. Morawski, M. Mosdorf, P. Orleanski, C. Thizy, ... M. Volp, From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering. Springer. doi:10.1007/978-3-031-06653-5_9
Peer reviewed

Graczyk, R., Rodrigues de Mendonça Neto, J., & Volp, M. (02 March 2022). Consent To Shoot – Rethinking The Anti-satellite Weapon Versus Space Debris Dilemma [Paper presentation]. 8th annual Space Traffic Management conference, Austin, United States.

Pinto Gouveia, I., Sakr, M., Graczyk, R., & Volp, M. (06 December 2021). To verify or tolerate, that’s the question [Paper presentation]. Program Analysis and Verification on Trusted Platforms (PAVeTrust) Workshop (co-located with ACSAC21).

Graczyk, R., & Volp, M. (14 October 2021). EphemeriShield - Defence Against Cyber-Antisatellite Weapons [Paper presentation]. Research Specialists’ Meeting on Enabling Platform Technologies for Resilient Small Satellite Constellations for NATO Missions (AVT-336).

Simoes Silva, D., Graczyk, R., Decouchant, J., Volp, M., & Esteves-Verissimo, P. (September 2021). Threat Adaptive Byzantine Fault Tolerant State-Machine Replication [Paper presentation]. The 40th International Symposium on Reliable Distributed Systems.

Krüger, K., Vreman, N., Pates, R., Maggio, M., Volp, M., & Fohler, G. (2021). Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication. LITES. doi:10.4230/LITES.7.1.1
Peer reviewed

Esfahani, A., Decouchant, J., Volp, M., Mumtaz, S., & Konstantin Igorevich, K. (2021). SI‐AKAV: Secure integrated authentication and key agreement for cellular‐connected IoT devices in vehicular social networks. Transactions on Emerging Telecommunications Technologies. doi:10.1002/ett.4279
Peer Reviewed verified by ORBi

Pinto Gouveia, I., Graczyk, R., & Volp, M. (April 2021). Bridging the space systems performance-reliability gap for future deep space resources exploration and exploitation [Poster presentation]. Space Resources Week 2021.

Esteves-Verissimo, P., Decouchant, J., Volp, M., Esfahani, A., & Graczyk, R. (2020). PriLok:Citizen-protecting distributed epidemic tracing. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/43191.

Pinto Gouveia, I., Volp, M., & Esteves-Verissimo, P. (2020). Behind the Last Line of Defense -- Surviving SoC Faults and Intrusions. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/43197.

Fernandes, M., Decouchant, J., Volp, M., M. Couto, F., & Verissimo, P. (22 October 2019). Privacy-Preserving Processing of Filtered DNA Reads [Paper presentation]. ​​6th International Workshop on ​Genome Privacy and Security.

Fernandes, M., Decouchant, J., Volp, M., Couto, F., & Verissimo, P. (2019). DNA-SeAl: Sensitivity Levels to Optimize the Performance of Privacy-Preserving DNA Alignment. IEEE Journal of Biomedical and Health Informatics. doi:10.1109/JBHI.2019.2914952
Peer reviewed

Paverd, A., Volp, M., Brasser, F., Schunter, M., N Asokan, Sadeghi, A.-R., Verissimo, P., Steininger, A., & Holz, T. (2019). Sustainable Security and Safety: Challenges and Opportunities. OASIcs: OpenAccess Series in Informatics, 73. doi:10.4230/OASICS.CERTS.2019.4
Peer reviewed

Krüger, K., Volp, M., & Fohler, G. (June 2018). Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems. Leibniz International Proceedings in Informatics, 106, 22:1--22:17. doi:10.4230/LIPIcs.ECRTS.2018.22
Peer reviewed

Volp, M., & Verissimo, P. (2018). Intrusion-Tolerant Autonomous Driving. Proceedings of 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC). doi:10.1109/ISORC.2018.00026
Peer reviewed

Rahli, V., Vukotic, I., Volp, M., & Verissimo, P. (2018). Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. In ESOP 2018.
Peer reviewed

Decouchant, J., Fernandes, M., Volp, M., Couto, F. M., & Verissimo, P. (2018). Accurate filtering of privacy-sensitive information in raw genomic data. Journal of Biomedical Informatics. doi:10.1016/j.jbi.2018.04.006
Peer Reviewed verified by ORBi

Küttler, M., Roitzsch, M., Hamann, C.-J., & Volp, M. (December 2017). Probabilistic Analysis of Low-Criticality Execution [Paper presentation]. Workshop on Mixed Criticality Systems 2017 co-located with RTSS 2017.

Volp, M., Kozhaya, D., & Verissimo, P. (December 2017). Facing the Safety-Security Gap in RTES: the Challenge of Timeliness [Paper presentation]. 2nd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2017) co-located with RTSS 2017.

Cornelius, G. P., Hochgeschwender, N., Voos, H., Olivares Mendez, M. A., Caire, P., Volp, M., & Verissimo, P. (2017). A Perspective of Security for Mobile Service Robots. In Iberian Robotics Conference, Seville, Spain, 2017.
Peer reviewed

Castrillon, J., Lieber, M., Klueppelholz, S., Volp, M., Asmussen, N., Assmann, U., Baader, F., Baier, C., Fettweis, G., & Froehlich, J. (09 November 2017). A Hardware/Software Stack for Heterogeneous Systems. IEEE Transactions on Multi-Scale Computing Systems, PP (99), 1. doi:10.1109/TMSCS.2017.2771750
Peer reviewed

Volp, M., Decouchant, J., Lambert, C., Fernandes, M., & Verissimo, P. (October 2017). Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information [Paper presentation]. SysTEX 2017. doi:10.1145/3152701.3152707

Krüger, K., Fohler, G., & Volp, M. (June 2017). Improving Security for Time-Triggered Real-Time Systems against Timing Inference Based Attacks by Schedule Obfuscation [Paper presentation]. Work-in-Progress Proceedings ECRTS'17.

Raitza, M., Kumar, A., Volp, M., Walter, D., Trommer, J., Mikolajick, T., & Weber, W. M. (March 2017). Exploiting Transistor-Level Reconfiguration to Optimize Combinational Circuits on the Example of a Conditional Sum Adder [Paper presentation]. Design, Automation and Test in Europe (DATE 2017), Lausanne, Switzerland.

Bohrer, B., Rahli, V., Vukotic, I., Volp, M., & Platzer, A. (2017). Formally Verified Differential Dynamic Logic. In CPP 2017. doi:10.1145/3018610.3018616
Peer reviewed

Volp, M., Rocha, F., Decouchant, J., Yu, J., & Verissimo, P. (2017). Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come. In Twenty-fifth International Workshop on Security Protocols.
Peer reviewed

Verissimo, P., Volp, M., Decouchant, J., & Rocha, F. (2017). Meeting the Challenges of Critical and Extreme Dependability and Security. In Proceedings of the 22nd Pacific Rim International Symposium on Dependable Computing (pp. 92-97).
Peer reviewed

Volp, M., Lackorzynski, A., Decouchant, J., Rahli, V., Rocha, F., & Verissimo, P. (12 December 2016). Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control [Paper presentation]. 1st Workshop on System Software for Trusted Execution (SysTEX '16), Trento, Italy. doi:10.1145/3007788.3007794

Volp, M., Klüppelholz, S., Castrillon, J., Härtig, H., Asmussen, N., Assmann, U., Baader, F., Baier, C., Fettweis, G., Fröhlich, J., Goens, A., Haas, S., Habich, D., Hasler, M., Huismann, I., Karnagel, T., Karol, S., Lehner, W., Leuschner, L., ... Voigt, A. (14 November 2016). The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware [Paper presentation]. 1ST INTERNATIONAL WORKSHOP ON POST-MOORE’S ERA SUPERCOMPUTING (PMES), Salt Lake City, United States.

Caldeira Lima, A., Rocha, F., Volp, M., & Verissimo, P. (2016). Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems. In Proceedings of the Second ACM Workshop on Cyber-Physical Systems Security and PrivaCy. doi:10.1145/2994487.2994489
Peer reviewed

Asmussen, N., Volp, M., Nöthen, B., Härtig, H., & Fettweis, G. (2016). M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores. In Architectural Support for Programming Languages and Operating Systems (ASPLOS). doi:10.1145/2872362.2872371
Peer reviewed

Volp, M., Asmussen, N., Härtig, H., Nöthen, B., & Fettweis, G. (2015). Towards Dependable CPS Infrastructures: Architectural and Operating-System Challenges [Paper presentation]. Emerging Technologies and Factory Automation (ETFA) --- Special Session on Secure and Resilient Industrial Automation and Control Systems (invited paper). doi:10.1109/ETFA.2015.7301499

Contact ORBilu