Blasting Linux Code. - Jan Tobias Mühlberg; Gerald Lüttgen (FMICS/PDMC, 2006)

Model-Checking the Linux Virtual File System. - Andy Galloway; Gerald Lüttgen; Jan Tobias Mühlberg; Radu Siminiceanu (VMCAI, 2009)

Model checking pointer safety in compiled programs. - Jan Tobias Mühlberg (2009)

Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). - 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 (ServiceWave, 2011)

Sound Formal Verification of Linux's USB BP Keyboard Driver. - Willem Penninckx; Jan Tobias Mühlberg; Jan Smans; Bart Jacobs 002; Frank Piessens (NASA Formal Methods, 2012)

HyperForce: Hypervisor-enForced Execution of Security-Critical Code. - Francesco Gadaleta; Nick Nikiforakis; Jan Tobias Mühlberg; Wouter Joosen (SEC, 2012)

Verifying compiled file system code. - Jan Tobias Mühlberg; Gerald Lüttgen (Formal Aspects Comput., 2012)

Software verification with VeriFast: Industrial case studies. - Pieter Philippaerts; Jan Tobias Mühlberg; Willem Penninckx; Jan Smans; Bart Jacobs 002; Frank Piessens (Sci. Comput. Program., 2014)

Symbolic object code analysis. - Jan Tobias Mühlberg; Gerald Lüttgen (Int. J. Softw. Tools Technol. Transf., 2014)

Lightweight and Flexible Trust Assessment Modules for the Internet of Things. - Jan Tobias Mühlberg; Job Noorman; Frank Piessens (ESORICS (1), 2015)

Learning Assertions to Verify Linked-List Programs. - Jan Tobias Mühlberg; David H. White 001; Mike Dodds; Gerald Lüttgen; Frank Piessens (SEFM, 2015)

Secure Resource Sharing for Embedded Protected Module Architectures. - Jo Van Bulck; Job Noorman; Jan Tobias Mühlberg; Frank Piessens (WISTP, 2015)

Towards availability and real-time guarantees for protected module architectures. - Jo Van Bulck; Job Noorman; Jan Tobias Mühlberg; Frank Piessens (MODULARITY (Companion), 2016)

POSTER: Identifying Dynamic Data Structures in Malware. - Thomas Rupprecht; Xi Chen 038; David H. White 001; Jan Tobias Mühlberg; Herbert Bos; Gerald Lüttgen (CCS, 2016)

Security Guarantees for the Execution Infrastructure of Software Applications. - Frank Piessens; Dominique Devriese; Jan Tobias Mühlberg; Raoul Strackx (SecDev, 2016)

An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. - Jan Tobias Mühlberg; Sara Cleemput; Mustafa A. Mustafa; Jo Van Bulck; Bart Preneel; Frank Piessens (WISTP, 2016)

VulCAN: Efficient Component Authentication and Software Isolation for Automotive Control Networks. - Jo Van Bulck; Jan Tobias Mühlberg; Frank Piessens (ACSAC, 2017)

Authentic Execution of Distributed Event-Driven Applications with a Small TCB. - Job Noorman; Jan Tobias Mühlberg; Frank Piessens (STM, 2017)

Sancus 2.0: A Low-Cost Security Architecture for IoT Devices. - 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 (ACM Trans. Priv. Secur., 2017)

Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. - Jan H. Boockmann; Gerald Lüttgen; Jan Tobias Mühlberg (ISoLA (2), 2018)

Reflections on Post-Meltdown Trusted Computing: A Case for Open Security Processors. - Jan Tobias Mühlberg; Jo Van Bulck (login Usenix Mag., 2018)

Automated Fuzzing of Automotive Control Units. - Timothy Werquin; Mathijs Hubrechtsen; Ashok Thangarajan; Frank Piessens; Jan Tobias Mühlberg (SIoT, 2019)

SCFMSP: static detection of side channels in MSP430 programs. - Sepideh Pouyanrad; Jan Tobias Mühlberg; Wouter Joosen (ARES, 2020)

Secure End-to-End Sensing in Supply Chains. - Jan Pennekamp; Fritz Alder; Roman Matzutt; Jan Tobias Mühlberg; Frank Piessens; Klaus Wehrle (CNS, 2020)

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. - Matteo Busi 001; Job Noorman; Jo Van Bulck; Letterio Galletta; Pierpaolo Degano; Jan Tobias Mühlberg; Frank Piessens (CSF, 2020)

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version. - Matteo Busi 001; Job Noorman; Jo Van Bulck; Letterio Galletta; Pierpaolo Degano; Jan Tobias Mühlberg; Frank Piessens (CoRR, 2020)

Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves. - Fritz Alder; Jo Van Bulck; Frank Piessens; Jan Tobias Mühlberg (CCS, 2021)

POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications. - Gianluca Scopelliti; Sepideh Pouyanrad; Job Noorman; Fritz Alder; Frank Piessens; Jan Tobias Mühlberg (CCS, 2021)

Network Policies in Kubernetes: Performance Evaluation and Security Analysis. - Gerald Budigiri; Christoph Baumann; Jan Tobias Mühlberg; Eddy Truyen; Wouter Joosen (EuCNC/6G Summit, 2021)

Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks. - Hans Winderix; Jan Tobias Mühlberg; Frank Piessens (EuroS&P, 2021)

Robust authentication for automotive control networks through covert channels. - Stien Vanderhallen; Jo Van Bulck; Frank Piessens; Jan Tobias Mühlberg (Comput. Networks, 2021)

Securing Interruptible Enclaved Execution on Small Microprocessors. - Matteo Busi 001; Job Noorman; Jo Van Bulck; Letterio Galletta; Pierpaolo Degano; Jan Tobias Mühlberg; Frank Piessens (ACM Trans. Program. Lang. Syst., 2021)

Unlimited Lives: Secure In-Process Rollback with Isolated Domains. - Merve Turhan; Thomas Nyman; Christoph Baumann; Jan Tobias Mühlberg (CoRR, 2022)

Sustaining Security and Safety in ICT: A Quest for Terminology, Objectives, and Limits. - Jan Tobias Mühlberg (CoRR, 2022)

Upgrading the protection of children from manipulative and addictive strategies in online games: Legal and technical solutions beyond privacy regulation. - Tommaso Crepax; Jan Tobias Mühlberg (CoRR, 2022)

Zero-Cost In-Depth Enforcement of Network Policies for Low-Latency Cloud-Native Systems. - Gerald Budigiri; Christoph Baumann; Eddy Truyen; Jan Tobias Mühlberg; Wouter Joosen (CLOUD, 2023)

Rewind & Discard: Improving Software Resilience using Isolated Domains. - Merve Gülmez; Thomas Nyman; Christoph Baumann; Jan Tobias Mühlberg (DSN, 2023)

Exploring the Environmental Benefits of In-Process Isolation for Software Resilience. - Merve Gülmez; Thomas Nyman; Christoph Baumann; Jan Tobias Mühlberg (DSN-S, 2023)

Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust. - Merve Gülmez; Thomas Nyman; Christoph Baumann; Jan Tobias Mühlberg (SecDev, 2023)

From Privacy Policies to Privacy Threats: A Case Study in Policy-Based Threat Modeling. - Yana Dimova; Mrunmayee Kode; Shirin Kalantari; Kim Wuyts; Wouter Joosen; Jan Tobias Mühlberg (WPES@CCS, 2023)

A Survey of Security and Privacy Issues in V2X Communication Systems. - Takahito Yoshizawa; Dave Singelée; Jan Tobias Mühlberg; Stéphane Delbruel; Amir Taherkordi; Danny Hughes 001; Bart Preneel (ACM Comput. Surv., 2023)

Informing Children about Privacy: A Review and Assessment of Age-Appropriate Information Designs in Kids-Oriented F2P Video Games. - Martin Sas; Maarten Denoo; Jan Tobias Mühlberg (Proc. ACM Hum. Comput. Interact., 2023)

End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs. - Gianluca Scopelliti; Sepideh Pouyanrad; Job Noorman; Fritz Alder; Christoph Baumann; Frank Piessens; Jan Tobias Mühlberg (ACM Trans. Priv. Secur., 2023)

Automated Side-Channel Analysis of ARM TrustZone-M Programs. - Sepideh Pouyanrad; Fritz Alder; Jan Tobias Mühlberg (ESORICS Workshops (1), 2024)

Secure Intermittent Computing with ARM TrustZone on the Cortex-M. - Pietro Chiavassa; Filippo Gandino; Renato Ferrero; Jan Tobias Mühlberg (EuroS&P Workshops, 2024)

Understanding Trust Relationships in Cloud-Based Confidential Computing. - Gianluca Scopelliti; Christoph Baumann; Jan Tobias Mühlberg (EuroS&P Workshops, 2024)

An Improved PUF-Based Privacy-Preserving IoT Protocol for Cloud Storage. - Cédrick De Pauw; Jan Tobias Mühlberg; Jean-Michel Dricot (ICISSP, 2024)

Efficient and Timely Revocation of V2X Credentials. - Gianluca Scopelliti; Christoph Baumann; Fritz Alder; Eddy Truyen; Jan Tobias Mühlberg (NDSS, 2024)

Securing Sensing in Supply Chains: Opportunities, Building Blocks, and Designs. - Jan Pennekamp; Fritz Alder; Lennart Bader; Gianluca Scopelliti; Klaus Wehrle; Jan Tobias Mühlberg (IEEE Access, 2024)

Mon CHÈRI <3 Adapting Capability Hardware Enhanced RISC with Conditional Capabilities. - Merve Gülmez; Håkan Englund; Jan Tobias Mühlberg; Thomas Nyman (CoRR, 2024)

Exploring Privacy and Security as Drivers for Environmental Sustainability in Cloud-Based Office Solutions (Extended Abstract). - Jason Kayembe; Iness Ben Guirat; Jan Tobias Mühlberg (CoRR, 2024)

The belief in Moore's Law is undermining ICT climate action. - Adrian Friday; Christina Bremer; Oliver Bates; Christian Remy 001; Srinjoy Mitra; Jan Tobias Mühlberg (CoRR, 2024)

Do We Still Need Canaries in the Coal Mine? Measuring Shadow Stack Effectiveness in Countering Stack Smashing. - Hugo Depuydt; Merve Gülmez; Thomas Nyman; Jan Tobias Mühlberg (ARES (2), 2025)

Mon CHERI: Mitigating Uninitialized Memory Access with Conditional Capabilities. - Merve Gülmez; Håkan Englund; Jan Tobias Mühlberg; Thomas Nyman (SP, 2025)

Exploring Privacy and Security as Drivers for Environmental Sustainability in Cloud-Based Office Solutions. - Jason Kayembe; Iness Ben Guirat; Jan Tobias Mühlberg (CoRR, 2025)

Resistance Technologies: Moving Beyond Alternative Designs. - Iness Ben Guirat; Jan Tobias Mühlberg (CoRR, 2025)