Jan Tobias Mühlberg

69 papers A* 5A 4B 4C 3Misc 1Journal 28Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Computer Security. ESORICS 2025 International Workshops - AutonomousCyber 2025, CPS4CIP 2025, DisA 2025, HS3 2025, MIST 2025, Toulouse, France, September 25-26, 2025, Revised Selected Papers, Part III ESORICS Workshops (3) Romain Laborde, Joaquín García-Alfaro, Abbas Yazdinejad, Gregory Epiphaniou, Habtamu Abie, Silvio Ranise, Michal Choras, Michal Wozniak, Yuko Hara, Jan Tobias Mühlberg, Claudia Greco, Kim-Kwang Raymond Choo
2026	—	`conf`	Keystone with Linux PREEMPT_RT: Real-Time Enclaves on RISC-V? SysTEX@EuroSys Oscar Van Slijpe, Jean-Michel Dricot, Jan Tobias Mühlberg
2025	—	`conf`	Do We Still Need Canaries in the Coal Mine? Measuring Shadow Stack Effectiveness in Countering Stack Smashing. ARES (2) Hugo Depuydt, Merve Gülmez, Thomas Nyman, Jan Tobias Mühlberg
2025	J	`jnl`	Exploring Privacy and Security as Drivers for Environmental Sustainability in Cloud-Based Office Solutions. CoRR Jason Kayembe, Iness Ben Guirat, Jan Tobias Mühlberg
2025	A*	`conf`	Mon CHERI: Mitigating Uninitialized Memory Access with Conditional Capabilities. SP Merve Gülmez, Håkan Englund, Jan Tobias Mühlberg, Thomas Nyman
2025	J	`jnl`	Resistance Technologies: Moving Beyond Alternative Designs. CoRR Iness Ben Guirat, Jan Tobias Mühlberg
2025	—	`conf`	Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors. ESORICS (3) Cédrick Austa, Jan Tobias Mühlberg, Jean-Michel Dricot
2025	J	`jnl`	Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors. CoRR Cédrick Austa, Jan Tobias Mühlberg, Jean-Michel Dricot
2024	C	`conf`	An Improved PUF-Based Privacy-Preserving IoT Protocol for Cloud Storage. ICISSP Cédrick De Pauw, Jan Tobias Mühlberg, Jean-Michel Dricot
2024	—	`conf`	Automated Side-Channel Analysis of ARM TrustZone-M Programs. ESORICS Workshops (1) Sepideh Pouyanrad, Fritz Alder, Jan Tobias Mühlberg
2024	J	`jnl`	Do we still need canaries in the coal mine? Measuring shadow stack effectiveness in countering stack smashing. CoRR Hugo Depuydt, Merve Gülmez, Thomas Nyman, Jan Tobias Mühlberg
2024	A*	`conf`	Efficient and Timely Revocation of V2X Credentials. NDSS Gianluca Scopelliti, Christoph Baumann, Fritz Alder, Eddy Truyen, Jan Tobias Mühlberg
2024	J	`jnl`	Exploring Privacy and Security as Drivers for Environmental Sustainability in Cloud-Based Office Solutions (Extended Abstract). CoRR Jason Kayembe, Iness Ben Guirat, Jan Tobias Mühlberg
2024	J	`jnl`	Mon CHÈRI <3 Adapting Capability Hardware Enhanced RISC with Conditional Capabilities. CoRR Merve Gülmez, Håkan Englund, Jan Tobias Mühlberg, Thomas Nyman
2024	—	`conf`	Secure Intermittent Computing with ARM TrustZone on the Cortex-M. EuroS&P Workshops Pietro Chiavassa, Filippo Gandino, Renato Ferrero, Jan Tobias Mühlberg
2024	J	`jnl`	Securing Sensing in Supply Chains: Opportunities, Building Blocks, and Designs. IEEE Access Jan Pennekamp, Fritz Alder, Lennart Bader, Gianluca Scopelliti, Klaus Wehrle, Jan Tobias Mühlberg
2024	J	`jnl`	The belief in Moore's Law is undermining ICT climate action. CoRR Adrian Friday, Christina Bremer, Oliver Bates, Christian Remy, Srinjoy Mitra, Jan Tobias Mühlberg
2024	—	`conf`	Understanding Trust Relationships in Cloud-Based Confidential Computing. EuroS&P Workshops Gianluca Scopelliti, Christoph Baumann, Jan Tobias Mühlberg
2023	J	`jnl`	A Survey of Security and Privacy Issues in V2X Communication Systems. ACM Comput. Surv. Takahito Yoshizawa, Dave Singelée, Jan Tobias Mühlberg, Stéphane Delbruel, Amir Taherkordi, Danny Hughes, Bart Preneel
2023	J	`jnl`	End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs. ACM Trans. Priv. Secur. Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Christoph Baumann, Frank Piessens, Jan Tobias Mühlberg
2023	—	`conf`	Exploring the Environmental Benefits of In-Process Isolation for Software Resilience. DSN-S Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2023	J	`jnl`	Exploring the Environmental Benefits of In-Process Isolation for Software Resilience. CoRR Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2023	—	`conf`	Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust. SecDev Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2023	J	`jnl`	Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust. CoRR Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2023	—	`conf`	From Privacy Policies to Privacy Threats: A Case Study in Policy-Based Threat Modeling. WPES@CCS Yana Dimova, Mrunmayee Kode, Shirin Kalantari, Kim Wuyts, Wouter Joosen, Jan Tobias Mühlberg
2023	J	`jnl`	Informing Children about Privacy: A Review and Assessment of Age-Appropriate Information Designs in Kids-Oriented F2P Video Games. Proc. ACM Hum. Comput. Interact. Martin Sas, Maarten Denoo, Jan Tobias Mühlberg
2023	A	`conf`	Rewind & Discard: Improving Software Resilience using Isolated Domains. DSN Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2023	B	`conf`	Zero-Cost In-Depth Enforcement of Network Policies for Low-Latency Cloud-Native Systems. CLOUD Gerald Budigiri, Christoph Baumann, Eddy Truyen, Jan Tobias Mühlberg, Wouter Joosen
2022	J	`jnl`	A Survey of Security and Privacy Issues in V2X Communication Systems. CoRR Takahito Yoshizawa, Dave Singelée, Jan Tobias Mühlberg, Stéphane Delbruel, Amir Taherkordi, Danny Hughes, Bart Preneel
2022	J	`jnl`	End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs. CoRR Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Christoph Baumann, Frank Piessens, Jan Tobias Mühlberg
2022	J	`jnl`	Sustaining Security and Safety in ICT: A Quest for Terminology, Objectives, and Limits. CoRR Jan Tobias Mühlberg
2022	J	`jnl`	Unlimited Lives: Secure In-Process Rollback with Isolated Domains. CoRR Merve Turhan, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
2022	J	`jnl`	Upgrading the protection of children from manipulative and addictive strategies in online games: Legal and technical solutions beyond privacy regulation. CoRR Tommaso Crepax, Jan Tobias Mühlberg
2021	A*	`conf`	Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves. CCS Fritz Alder, Jo Van Bulck, Frank Piessens, Jan Tobias Mühlberg
2021	J	`jnl`	Automated Fuzzing of Automotive Control Units. CoRR Timothy Werquin, Mathijs Hubrechtsen, Ashok Thangarajan, Frank Piessens, Jan Tobias Mühlberg
2021	A	`conf`	Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks. EuroS&P Hans Winderix, Jan Tobias Mühlberg, Frank Piessens
2021	—	`conf`	Network Policies in Kubernetes: Performance Evaluation and Security Analysis. EuCNC/6G Summit Gerald Budigiri, Christoph Baumann, Jan Tobias Mühlberg, Eddy Truyen, Wouter Joosen
2021	A*	`conf`	POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications. CCS Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Frank Piessens, Jan Tobias Mühlberg
2021	J	`jnl`	Robust authentication for automotive control networks through covert channels. Comput. Networks Stien Vanderhallen, Jo Van Bulck, Frank Piessens, Jan Tobias Mühlberg
2021	J	`jnl`	Securing Interruptible Enclaved Execution on Small Microprocessors. ACM Trans. Program. Lang. Syst. Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020	A	`conf`	Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. CSF Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020	J	`jnl`	Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version. CoRR Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
2020	B	`conf`	SCF ARES Sepideh Pouyanrad, Jan Tobias Mühlberg, Wouter Joosen
2020	—	`conf`	Secure End-to-End Sensing in Supply Chains. CNS Jan Pennekamp, Fritz Alder, Roman Matzutt, Jan Tobias Mühlberg, Frank Piessens, Klaus Wehrle
2019	—	`conf`	Automated Fuzzing of Automotive Control Units. SIoT Timothy Werquin, Mathijs Hubrechtsen, Ashok Thangarajan, Frank Piessens, Jan Tobias Mühlberg
2018	—	`conf`	Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. ISoLA (2) Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg
2018	J	`jnl`	Reflections on Post-Meltdown Trusted Computing: A Case for Open Security Processors. login Usenix Mag. Jan Tobias Mühlberg, Jo Van Bulck
2017	—	`conf`	Authentic Execution of Distributed Event-Driven Applications with a Small TCB. STM Job Noorman, Jan Tobias Mühlberg, Frank Piessens
2017	J	`jnl`	Sancus 2.0: A Low-Cost Security Architecture for IoT Devices. ACM Trans. Priv. Secur. Job Noorman, Jo Van Bulck, Jan Tobias Mühlberg, Frank Piessens, Pieter Maene, Bart Preneel, Ingrid Verbauwhede, Johannes Götzfried, Tilo Müller, Felix C. Freiling
2017	A	`conf`	VulCAN: Efficient Component Authentication and Software Isolation for Automotive Control Networks. ACSAC Jo Van Bulck, Jan Tobias Mühlberg, Frank Piessens
2016	C	`conf`	An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. WISTP Jan Tobias Mühlberg, Sara Cleemput, Mustafa A. Mustafa, Jo Van Bulck, Bart Preneel, Frank Piessens
2016	A*	`conf`	POSTER: Identifying Dynamic Data Structures in Malware. CCS Thomas Rupprecht, Xi Chen, David H. White, Jan Tobias Mühlberg, Herbert Bos, Gerald Lüttgen
2016	—	`conf`	Security Guarantees for the Execution Infrastructure of Software Applications. SecDev Frank Piessens, Dominique Devriese, Jan Tobias Mühlberg, Raoul Strackx
2016	—	`conf`	Towards availability and real-time guarantees for protected module architectures. MODULARITY (Companion) Jo Van Bulck, Job Noorman, Jan Tobias Mühlberg, Frank Piessens
2015	B	`conf`	Learning Assertions to Verify Linked-List Programs. SEFM Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens
2015	—	`conf`	Lightweight and Flexible Trust Assessment Modules for the Internet of Things. ESORICS (1) Jan Tobias Mühlberg, Job Noorman, Frank Piessens
2015	C	`conf`	Secure Resource Sharing for Embedded Protected Module Architectures. WISTP Jo Van Bulck, Job Noorman, Jan Tobias Mühlberg, Frank Piessens
2014	J	`jnl`	HyperForce: Hypervisor-enForced Execution of Security-Critical Code. CoRR Francesco Gadaleta, Nick Nikiforakis, Jan Tobias Mühlberg, Wouter Joosen
2014	J	`jnl`	Software verification with VeriFast: Industrial case studies. Sci. Comput. Program. Pieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens
2014	J	`jnl`	Symbolic object code analysis. Int. J. Softw. Tools Technol. Transf. Jan Tobias Mühlberg, Gerald Lüttgen
2012	Misc	`conf`	HyperForce: Hypervisor-enForced Execution of Security-Critical Code. SEC Francesco Gadaleta, Nick Nikiforakis, Jan Tobias Mühlberg, Wouter Joosen
2012	—	`conf`	Sound Formal Verification of Linux's USB BP Keyboard Driver. NASA Formal Methods Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens
2012	J	`jnl`	Verifying compiled file system code. Formal Aspects Comput. Jan Tobias Mühlberg, Gerald Lüttgen
2011	—	`conf`	Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). ServiceWave Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jürjens, Mass Soldal Lund, Sébastien Madelénat, Jan Tobias Mühlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjørnar Solhaug, Sven Wenzel
2010	—	`conf`	Symbolic Object Code Analysis. SPIN Jan Tobias Mühlberg, Gerald Lüttgen
2009	—	`—`	Model checking pointer safety in compiled programs. Jan Tobias Mühlberg
2009	B	`conf`	Model-Checking the Linux Virtual File System. VMCAI Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu
2009	—	`conf`	Verifying Compiled File System Code. SBMF Jan Tobias Mühlberg, Gerald Lüttgen
2006	—	`conf`	Blasting Linux Code. FMICS/PDMC Jan Tobias Mühlberg, Gerald Lüttgen