  | DA COSTA, G. L., BHATTACHARYA, A., GRACZYK, R., Swakon Jan, Grzanka Leszek, kusyk Sebastian, & VÖLP, M. (In press). Assessment of Router Failures Under Proton Beam Radiation [Poster presentation]. RADECS 2024, Maspalomas, Spain.  Peer reviewed |
  | Baumeister, T., Eichler, P., Jacobs, S., SAKR, M., & VÖLP, M. (2025). Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. In A. Platzer (Ed.), Formal Methods - 26th International Symposium, FM 2024, Proceedings. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-71162-6_33 Peer reviewed |
 | Wen, Q., RODRIGUES DE MENDONÇA NETO, J., Machida, F., & VÖLP, M. (2024). Enhancing Autonomous Vehicle Safety through N-version Machine Learning Systems. In Proceedings of the Workshop on Artificial Intelligence Safety 2024 (AISafety 2024). CEUR Workshop Proceedings. Peer reviewed |
 | Baumeister, T., Jacobs, S., SAKR, M., & VÖLP, M. (2024). Automatic WSTS-based Repair and Deadlock Detection of Parameterized Systems. Formal Methods in System Design. doi:10.21203/rs.3.rs-4635496/v1 Peer Reviewed verified by ORBi |
 | RODRIGUES DE MENDONÇA NETO, J., BAYRAMI ASL, A., LUCCHETTI, F., & VÖLP, M. (June 2024). Confirmed-Location Group Membership for Intrusion-Resilient Cooperative Maneuvers [Paper presentation]. Vehicular Technology Conference (VTC-Spring), Singapore, Singapore. doi:10.1109/VTC2024-Spring62846.2024.10683184 Peer reviewed |
 | 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. doi:10.1109/INFOCOM52122.2024.10621371 Peer reviewed |
 | Akraminejad, R., KHALEDIAN, N., Nazari, A., & VÖLP, M. (2024). A multi-objective crow search algorithm for optimizing makespan and costs in scientific cloud workflows (CSAMOMC). Computing. doi:10.1007/s00607-024-01263-4 Peer Reviewed verified by ORBi |
 | Gouveia, I. P., GRACZYK, R., Esteves-Verissimo, P., & VÖLP, M. (2024). On-chip replication - Look what the others did. IEEE Access, 1-1. doi:10.1109/ACCESS.2024.3484013 Peer Reviewed verified by ORBi |
 | Horstmann, L. P., Frohlich, A. A., & VÖLP, M. (2024). On the Impacts of Shared-Resource Contention on Intrusion Detection Systems based on Performance Monitoring. In Proceedings - 2024 IEEE 27th International Symposium on Real-Time Distributed Computing, ISORC 2024. Institute of Electrical and Electronics Engineers Inc. doi:10.1109/ISORC61049.2024.10551363 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 verified by ORBi |
 | 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 |
 | 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 |
 | Mendonca, J., MacHida, F., & VÖLP, M. (2023). Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation. In Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. Institute of Electrical and Electronics Engineers Inc. doi:10.1109/DSN-W58399.2023.00044 Peer reviewed |
 | 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 |
 | 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 verified by ORBi |
 | 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 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC). Beijing, China: IEEE. doi:10.1109/PRDC55274.2022.00028 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. Leibniz Transactions on Embedded Systems. doi:10.4230/LITES.7.1.1 Peer Reviewed verified by ORBi |
 | 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 verified by ORBi |
 | 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 verified by ORBi |
 | 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 verified by ORBi |
 | 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. |
 | 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 |
 | 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 |
 | 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 |
