( en | de | ru )

 

Disambiguierung von "Mühlberg, Jan Tobias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-Checking the Linux Virtual File System.

, , , und . VMCAI, Volume 5403 von Lecture Notes in Computer Science, Seite 74-88. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bernhard Mühlberg

Manfred Mühlberg

Roselinde Mühlberg

Steffi Mühlberg

Heinz Mühlberg

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Fuzzing of Automotive Control Units., , , , und . CoRR, (2021)Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version., , , , , , und . CoRR, (2020)A Survey of Security and Privacy Issues in V2X Communication Systems., , , , , , und . CoRR, (2022)HyperForce: Hypervisor-enForced Execution of Security-Critical Code., , , und . CoRR, (2014)End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs., , , , , , und . ACM Trans. Priv. Secur., 26 (3): 39:1-39:46 (August 2023)Verifying Compiled File System Code., und . SBMF, Volume 5902 von Lecture Notes in Computer Science, Seite 306-320. Springer, (2009)Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust., , , und . SecDev, Seite 54-66. IEEE, (2023)An Implementation of a High Assurance Smart Meter Using Protected Module Architectures., , , , , und . WISTP, Volume 9895 von Lecture Notes in Computer Science, Seite 53-69. Springer, (2016)HyperForce: Hypervisor-enForced Execution of Security-Critical Code., , , und . SEC, Volume 376 von IFIP Advances in Information and Communication Technology, Seite 126-137. Springer, (2012)Informing Children about Privacy: A Review and Assessment of Age-Appropriate Information Designs in Kids-Oriented F2P Video Games., , und . Proc. ACM Hum. Comput. Interact., 7 (CHI): 425-463 (2023)