Jan Tobias Mühlberg

Jan Tobias Mühlberg

I am a postdoc at the Department of Computer Science of K.U.Leuven. I am a member of the Security: Programming Languages task force of the DistriNet research group. Before joining DistriNet I worked as a researcher at the University of Bamberg (Germany, until 2011), obtained my Ph.D. from the University of York (UK, 2010) and worked as a researcher at the University of Applied Sciences in Brandenburg (Germany, until 2005), where I also obtained my Masters degree.

My current research interests are in formal software verification with an emphasis on abstraction techniques, model checking, decision procedures and tool engineering. I am also interested in the field of embedded systems design, focusing on synchronous languages, correctness proofs and the application of automated (formal) testing techniques.

Please check my homepage at beetzsee.de for further details and my list of publications.


Key publications:

  1. Jo Van Bulck, Tobias Mühlberg, Frank Piessens, VulCAN: Efficient component authentication and software isolation for automotive control networks, ACSAC'17, Proceedings of the 33th Annual Computer Security Applications Conference (ACSAC 2017), San Juan, Puerto Rico, USA, December 4-8, 2017 download0 593737bibtex
  2. Job Noorman, Jo Van Bulck, Tobias Mühlberg, Pieter Maene, Bart Preneel, Ingrid Verbauwhede, Johannes Götzfried, Tilo Müller, Felix Freiling, Sancus 2.0: A low-cost security architecture for IoT devices, ACM Transactions on Privacy and Security, volume 20, issue 3, pages 7:1-7:33, Association for Computing Machinery, September, 2017 download0 588194bibtex
  3. Frank Piessens, Dominique Devriese, Tobias Mühlberg, Raoul Strackx, Security guarantees for the execution infrastructure of software applications, IEEE Cybersecurity Development (SecDev 2016), pages 81-87, Boston, US, November 3-4, 2016 download0 557311bibtex
  4. Thomas Rupprecht, Xi Chen, David H. White, Tobias Mühlberg, Herbert Bos, Gerald Lüttgen, Poster: Identifying dynamic data structures in malware, CCS'16: PROCEEDINGS OF THE 2016 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, pages 1772-1774, Vienna, Austria, October 24-28, 2016 download0 549294bibtex
  5. Tobias Mühlberg, Securing distributed embedded computing with a minimal run-time TCB, 15th International Conference on Software QA and Testing on Embedded Systems (QA&Test), Bilbao, Spain, October 17-19, 2016 589322bibtex


Contact info

  • Office: 03.127
  • Address:
    Dept. Computer Science
    Celestijnenlaan 200A - bus 2402
    B-3001 Heverlee
  • Tel: +3216373993
  • Fax: +32 16 327996
  • Email: Jan Tobias Mühlberg