Jan Tobias Mühlberg

According to our database, Jan Tobias Mühlberg authored at least 49 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

Efficient and Timely Revocation of V2X Credentials.

Gianluca Scopelliti, Christoph Baumann, Fritz Alder, Eddy Truyen, Jan Tobias Mühlberg

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

An Improved PUF-Based Privacy-Preserving IoT Protocol for Cloud Storage.

Cédrick De Pauw, Jan Tobias Mühlberg, Jean-Michel Dricot

Proceedings of the 10th International Conference on Information Systems Security and Privacy, 2024

Understanding Trust Relationships in Cloud-Based Confidential Computing.

Gianluca Scopelliti, Christoph Baumann, Jan Tobias Mühlberg

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2024

Secure Intermittent Computing with ARM TrustZone on the Cortex-M.

Pietro Chiavassa, Filippo Gandino, Renato Ferrero, Jan Tobias Mühlberg

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2024

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., August, 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

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, Bart Preneel

ACM Comput. Surv., 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

Proceedings of the 22nd Workshop on Privacy in the Electronic Society, 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

Proceedings of the IEEE Secure Development Conference, 2023

Exploring the Environmental Benefits of In-Process Isolation for Software Resilience.

Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Rewind & Discard: Improving Software Resilience using Isolated Domains.

Merve Gülmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

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

Proceedings of the 16th IEEE International Conference on Cloud Computing, 2023

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

Sustaining Security and Safety in ICT: A Quest for Terminology, Objectives, and Limits.

Jan Tobias Mühlberg

CoRR, 2022

Unlimited Lives: Secure In-Process Rollback with Isolated Domains.

Merve Turhan, Thomas Nyman, Christoph Baumann, Jan Tobias Mühlberg

CoRR, 2022

2021

Securing Interruptible Enclaved Execution on Small Microprocessors.

Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens

ACM Trans. Program. Lang. Syst., 2021

Robust authentication for automotive control networks through covert channels.

Stien Vanderhallen, Jo Van Bulck, Frank Piessens, Jan Tobias Mühlberg

Comput. Networks, 2021

Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks.

Hans Winderix, Jan Tobias Mühlberg, Frank Piessens

Proceedings of the IEEE European Symposium on Security and Privacy, 2021

Network Policies in Kubernetes: Performance Evaluation and Security Analysis.

Gerald Budigiri, Christoph Baumann, Jan Tobias Mühlberg, Eddy Truyen, Wouter Joosen

Proceedings of the Joint European Conference on Networks and Communications & 6G Summit, 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

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves.

Fritz Alder, Jo Van Bulck, Frank Piessens, Jan Tobias Mühlberg

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version.

Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens

CoRR, 2020

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors.

Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

Secure End-to-End Sensing in Supply Chains.

Jan Pennekamp, Fritz Alder, Roman Matzutt, Jan Tobias Mühlberg, Frank Piessens, Klaus Wehrle

Proceedings of the 8th IEEE Conference on Communications and Network Security, 2020

SCF^MSP: static detection of side channels in MSP430 programs.

Sepideh Pouyanrad, Jan Tobias Mühlberg, Wouter Joosen

Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020

2019

Automated Fuzzing of Automotive Control Units.

Timothy Werquin, Mathijs Hubrechtsen, Ashok Thangarajan, Frank Piessens, Jan Tobias Mühlberg

Proceedings of the 2019 International Workshop on Secure Internet of Things, 2019

2018

Reflections on Post-Meltdown Trusted Computing: A Case for Open Security Processors.

Jan Tobias Mühlberg, Jo Van Bulck

login Usenix Mag., 2018

Generating Inductive Shape Predicates for Runtime Checking and Formal Verification.

Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

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

Authentic Execution of Distributed Event-Driven Applications with a Small TCB.

Job Noorman, Jan Tobias Mühlberg, Frank Piessens

Proceedings of the Security and Trust Management - 13th International Workshop, 2017

VulCAN: Efficient Component Authentication and Software Isolation for Automotive Control Networks.

Jo Van Bulck, Jan Tobias Mühlberg, Frank Piessens

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

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

Proceedings of the Information Security Theory and Practice, 2016

Security Guarantees for the Execution Infrastructure of Software Applications.

Frank Piessens, Dominique Devriese, Jan Tobias Mühlberg, Raoul Strackx

Proceedings of the IEEE Cybersecurity Development, 2016

POSTER: Identifying Dynamic Data Structures in Malware.

Thomas Rupprecht, Xi Chen, David H. White, Jan Tobias Mühlberg, Herbert Bos, Gerald Lüttgen

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Towards availability and real-time guarantees for protected module architectures.

Jo Van Bulck, Job Noorman, Jan Tobias Mühlberg, Frank Piessens

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Secure Resource Sharing for Embedded Protected Module Architectures.

Jo Van Bulck, Job Noorman, Jan Tobias Mühlberg, Frank Piessens

Proceedings of the Information Security Theory and Practice, 2015

Learning Assertions to Verify Linked-List Programs.

Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Lightweight and Flexible Trust Assessment Modules for the Internet of Things.

Jan Tobias Mühlberg, Job Noorman, Frank Piessens

Proceedings of the Computer Security - ESORICS 2015, 2015

2014

Symbolic object code analysis.

Jan Tobias Mühlberg, Gerald Lüttgen

Int. J. Softw. Tools Technol. Transf., 2014

Software verification with VeriFast: Industrial case studies.

Pieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens

Sci. Comput. Program., 2014

2012

Verifying compiled file system code.

Jan Tobias Mühlberg, Gerald Lüttgen

Formal Aspects Comput., 2012

HyperForce: Hypervisor-enForced Execution of Security-Critical Code.

Francesco Gadaleta, Nick Nikiforakis, Jan Tobias Mühlberg, Wouter Joosen

Proceedings of the Information Security and Privacy Research, 2012

Sound Formal Verification of Linux's USB BP Keyboard Driver.

Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens

Proceedings of the NASA Formal Methods, 2012

2011

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

Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011

2009

Model checking pointer safety in compiled programs.

Jan Tobias Mühlberg

PhD thesis, 2009

Model-Checking the Linux Virtual File System.

Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu

Proceedings of the Verification, 2009

2006

Blasting Linux Code.

Jan Tobias Mühlberg, Gerald Lüttgen

Proceedings of the Formal Methods: Applications and Technology, 2006