Jan Tobias Mühlberg

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 39

Top Venues

CoRR

CCS

SecDev

ACM Trans. Priv. Secur.

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Cédrick De Pauw, Jan Tobias Mühlberg, Jean-Michel Dricot
An Improved PUF-Based Privacy-Preserving IoT Protocol for Cloud Storage. ICISSP (2024)
Merve Gülmez, Håkan Englund, Jan Tobias Mühlberg, Thomas Nyman
Mon CHÈRI <3 Adapting Capability Hardware Enhanced RISC with Conditional Capabilities. CoRR (2024)
Jan Pennekamp, Fritz Alder, Lennart Bader, Gianluca Scopelliti, Klaus Wehrle, Jan Tobias Mühlberg
Securing Sensing in Supply Chains: Opportunities, Building Blocks, and Designs. IEEE Access 12 (2024)
Gerald Budigiri, Christoph Baumann, Eddy Truyen, Jan Tobias Mühlberg, Wouter Joosen
Zero-Cost In-Depth Enforcement of Network Policies for Low-Latency Cloud-Native Systems. CLOUD (2023)
Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Christoph Baumann, Frank Piessens, Jan Tobias Mühlberg
End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs. ACM Trans. Priv. Secur. 26 (3) (2023)
Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust. CoRR (2023)
Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
Exploring the Environmental Benefits of In-Process Isolation for Software Resilience. DSN-S (2023)
Martin Sas, Maarten Denoo, Jan Tobias Mühlberg
Informing Children about Privacy: A Review and Assessment of Age-Appropriate Information Designs in Kids-Oriented F2P Video Games. Proc. ACM Hum. Comput. Interact. 7 (CHI) (2023)
Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
Exploring the Environmental Benefits of In-Process Isolation for Software Resilience. CoRR (2023)
Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust. SecDev (2023)
Yana Dimova, Mrunmayee Kode, Shirin Kalantari, Kim Wuyts, Wouter Joosen, Jan Tobias Mühlberg
From Privacy Policies to Privacy Threats: A Case Study in Policy-Based Threat Modeling. WPES@CCS (2023)
Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
Rewind & Discard: Improving Software Resilience using Isolated Domains. DSN (2023)
Takahito Yoshizawa, Dave Singelée, Jan Tobias Mühlberg, Stéphane Delbruel, Amir Taherkordi, Danny Hughes, Bart Preneel
A Survey of Security and Privacy Issues in V2X Communication Systems. ACM Comput. Surv. 55 (9) (2023)
Takahito Yoshizawa, Dave Singelée, Jan Tobias Mühlberg, Stéphane Delbruel, Amir Taherkordi, Danny Hughes, Bart Preneel
A Survey of Security and Privacy Issues in V2X Communication Systems. CoRR (2022)
Merve Turhan, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg
Unlimited Lives: Secure In-Process Rollback with Isolated Domains. CoRR (2022)
Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Christoph Baumann, Frank Piessens, Jan Tobias Mühlberg
End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs. CoRR (2022)
Tommaso Crepax, Jan Tobias Mühlberg
Upgrading the protection of children from manipulative and addictive strategies in online games: Legal and technical solutions beyond privacy regulation. CoRR (2022)
Jan Tobias Mühlberg
Sustaining Security and Safety in ICT: A Quest for Terminology, Objectives, and Limits. CoRR (2022)
Fritz Alder, Jo Van Bulck, Frank Piessens, Jan Tobias Mühlberg
Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves. CCS (2021)
Stien Vanderhallen, Jo Van Bulck, Frank Piessens, Jan Tobias Mühlberg
Robust authentication for automotive control networks through covert channels. Comput. Networks 193 (2021)
Hans Winderix, Jan Tobias Mühlberg, Frank Piessens
Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks. EuroS&P (2021)
Timothy Werquin, Mathijs Hubrechtsen, Ashok Thangarajan, Frank Piessens, Jan Tobias Mühlberg
Automated Fuzzing of Automotive Control Units. CoRR (2021)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Securing Interruptible Enclaved Execution on Small Microprocessors. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
Gerald Budigiri, Christoph Baumann, Jan Tobias Mühlberg, Eddy Truyen, Wouter Joosen
Network Policies in Kubernetes: Performance Evaluation and Security Analysis. EuCNC/6G Summit (2021)
Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Frank Piessens, Jan Tobias Mühlberg
POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications. CCS (2021)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version. CoRR (2020)
Sepideh Pouyanrad, Jan Tobias Mühlberg, Wouter Joosen
: static detection of side channels in MSP430 programs. ARES (2020)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. CSF (2020)
Jan Pennekamp, Fritz Alder, Roman Matzutt, Jan Tobias Mühlberg, Frank Piessens, Klaus Wehrle
Secure End-to-End Sensing in Supply Chains. CNS (2020)
Timothy Werquin, Mathijs Hubrechtsen, Ashok Thangarajan, Frank Piessens, Jan Tobias Mühlberg
Automated Fuzzing of Automotive Control Units. SIoT (2019)
Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. ISoLA (2) (2018)
Jan Tobias Mühlberg, Jo Van Bulck
Reflections on Post-Meltdown Trusted Computing: A Case for Open Security Processors. login Usenix Mag. 43 (3) (2018)
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
Sancus 2.0: A Low-Cost Security Architecture for IoT Devices. ACM Trans. Priv. Secur. 20 (3) (2017)
Job Noorman, Jan Tobias Mühlberg, Frank Piessens
Authentic Execution of Distributed Event-Driven Applications with a Small TCB. STM (2017)
Jo Van Bulck, Jan Tobias Mühlberg, Frank Piessens
VulCAN: Efficient Component Authentication and Software Isolation for Automotive Control Networks. ACSAC (2017)
Thomas Rupprecht, Xi Chen, David H. White, Jan Tobias Mühlberg, Herbert Bos, Gerald Lüttgen
POSTER: Identifying Dynamic Data Structures in Malware. CCS (2016)
Frank Piessens, Dominique Devriese, Jan Tobias Mühlberg, Raoul Strackx
Security Guarantees for the Execution Infrastructure of Software Applications. SecDev (2016)
Jan Tobias Mühlberg, Sara Cleemput, Mustafa A. Mustafa, Jo Van Bulck, Bart Preneel, Frank Piessens
An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. WISTP (2016)
Jo Van Bulck, Job Noorman, Jan Tobias Mühlberg, Frank Piessens
Towards availability and real-time guarantees for protected module architectures. MODULARITY (Companion) (2016)
Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens
Learning Assertions to Verify Linked-List Programs. SEFM (2015)
Jan Tobias Mühlberg, Job Noorman, Frank Piessens
Lightweight and Flexible Trust Assessment Modules for the Internet of Things. ESORICS (1) (2015)
Jo Van Bulck, Job Noorman, Jan Tobias Mühlberg, Frank Piessens
Secure Resource Sharing for Embedded Protected Module Architectures. WISTP (2015)
Jan Tobias Mühlberg, Gerald Lüttgen
Symbolic object code analysis. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
Pieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens
Software verification with VeriFast: Industrial case studies. Sci. Comput. Program. 82 (2014)
Francesco Gadaleta, Nick Nikiforakis, Jan Tobias Mühlberg, Wouter Joosen
HyperForce: Hypervisor-enForced Execution of Security-Critical Code. CoRR (2014)
Francesco Gadaleta, Nick Nikiforakis, Jan Tobias Mühlberg, Wouter Joosen
HyperForce: Hypervisor-enForced Execution of Security-Critical Code. SEC (2012)
Jan Tobias Mühlberg, Gerald Lüttgen
Verifying compiled file system code. Formal Aspects Comput. 24 (3) (2012)
Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens
Sound Formal Verification of Linux's USB BP Keyboard Driver. NASA Formal Methods (2012)
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
Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). ServiceWave (2011)
Jan Tobias Mühlberg, Gerald Lüttgen
Symbolic Object Code Analysis. SPIN (2010)
Jan Tobias Mühlberg, Gerald Lüttgen
Verifying Compiled File System Code. SBMF (2009)
Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu
Model-Checking the Linux Virtual File System. VMCAI (2009)
Jan Tobias Mühlberg, Gerald Lüttgen
Blasting Linux Code. FMICS/PDMC (2006)

Jan Tobias Mühlberg.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Tobias Mühlberg