< Back to previous page
Researcher
Tobias Mühlberg
- Disciplines:Distributed computing
Affiliations
- Distributed and Secure Software (DistriNet) (Division)
Member
From1 Aug 2020 → Today - Informatics Section (Division)
Member
From1 Mar 2011 → 4 Aug 2020
Projects
1 - 8 of 8
- Privacy Rating for Online Games: Feasibility of a Rights-based Risk Evaluation SystemFrom9 Aug 2022 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Privacy Rating for Online Games: Feasibility of a Rights-based Risk Evaluation System (PROGRRES)From1 Jan 2022 → TodayFunding: FWO research project (including WEAVE projects)
- Risk-Based EMC for Safer Autonomous Systems: Optimized Shielding MeasuresFrom16 Feb 2021 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Towards a trustworthy container platform and orchestration frameworkFrom16 Dec 2020 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- 5GhOSTS - Integrity assurance for multi-component services in 5G networksFrom3 Nov 2020 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- SAFETEE - Towards a computing platform for safe autonomous systemsFrom1 Oct 2020 → TodayFunding: IOF - technology concept exploration
- Security for safety-critical embedded systems and IOTFrom9 Jun 2020 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Data protection and privacy aspects of the implementation of NFV and SDN technologies in 5G networksFrom13 May 2020 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
Publications
21 - 30 of 32
- Towards safe enclaves(2016)
Authors: Neline van Ginkel, Raoul Strackx, Tobias Mühlberg, Frank Piessens
Pages: 1 - 16 - Implementation of a high assurance smart meter using protected module architectures(2016)
Authors: Tobias Mühlberg, Sara Cleemput, Jo Van Bulck, Bart Preneel, Frank Piessens
Pages: 53 - 69 - Towards availability and real-time guarantees for protected module architectures(2016)
Authors: Jo Van Bulck, Job Noorman, Tobias Mühlberg, Frank Piessens
Pages: 146 - 151 - Learning assertions to verify linked-list programs(2015)
Authors: Tobias Mühlberg, Frank Piessens
Pages: 37 - 52 - Lightweight and flexible trust assessment modules for the Internet of Things(2015)
Authors: Tobias Mühlberg, Job Noorman, Frank Piessens
Pages: 503 - 520 - Secure resource sharing for embedded protected module architectures(2015)
Authors: Jo Van Bulck, Job Noorman, Tobias Mühlberg, Frank Piessens
Pages: 71 - 87 - Software verification with VeriFast: Industrial case studies(2014)
Authors: Pieter Philippaerts, Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens
Pages: 77 - 97 - Symbolic object code analysis(2014)
Authors: Tobias Mühlberg
Pages: 81 - 102 - Hyperforce: hypervisor-enforced execution of security-critical code(2012)
Authors: Francesco Gadaleta, Nick Nikiforakis, Tobias Mühlberg, Wouter Joosen
Pages: 126 - 137Number of pages: 12 - Sound formal verification of Linux's USB BP keyboard driver(2012)
Authors: Willem Penninckx, Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens
Pages: 210 - 215