Grouping Queries with SV-Semantics in Preference SQL. - Markus Endres; Patrick Roocks; Manuel Huber 001; Werner Kießling (MPREF@AAAI, 2014)

A Lightweight Framework for Cold Boot Based Forensics on Mobile Devices. - Benjamin Taubmann; Manuel Huber 001; Sascha Wessel; Lukas Heim; Hans Peter Reiser; Georg Sigl (ARES, 2015)

A Secure Architecture for Operating System-Level Virtualization on Mobile Devices. - Manuel Huber 001; Julian Horsch; Michael Velten; Michael Weiß; Sascha Wessel (Inscrypt, 2015)

Applying Real-Time Programming to Legacy Embedded Control Software. - Stefan Resmerita; Andreas Naderlinger; Manuel Huber 001; Kenneth R. Butts; Wolfgang Pree (ISORC, 2015)

Improving mobile device security with operating system-level virtualization. - Sascha Wessel; Manuel Huber 001; Frederic Stumpf; Claudia Eckert 001 (Comput. Secur., 2015)

Cryptographically Enforced Four-Eyes Principle. - Arne Bilzhause; Manuel Huber 001; Henrich C. Pöhls; Kai Samelin (ARES, 2016)

A flexible framework for mobile device forensics based on cold boot attacks. - Manuel Huber 001; Benjamin Taubmann; Sascha Wessel; Hans P. Reiser; Georg Sigl (EURASIP J. Inf. Secur., 2016)

Protecting Suspended Devices from Memory Attacks. - Manuel Huber 001; Julian Horsch; Sascha Wessel (EUROSEC, 2017)

Freeze & Crypt: Linux Kernel Support for Main Memory Encryption. - Manuel Huber 001; Julian Horsch; Junaid Ali 002; Sascha Wessel (SECRYPT, 2017)

TransCrypt: Transparent Main Memory Encryption Using a Minimal ARM Hypervisor. - Julian Horsch; Manuel Huber 001; Sascha Wessel (TrustCom/BigDataSE/ICESS, 2017)

An Ecosystem and IoT Device Architecture for Building Trust in the Industrial Data Space. - Gerd Stefan Brost; Manuel Huber 001; Michael Weiß; Mykolai Protsenko; Julian Schütte; Sascha Wessel (CPSS@AsiaCCS, 2018)

SEVered: Subverting AMD's Virtual Machine Encryption. - Mathias Morbitzer; Manuel Huber 001; Julian Horsch; Sascha Wessel (EuroSec@EuroSys, 2018)

Extracting Secrets from Encrypted Virtual Machines. - Mathias Morbitzer; Manuel Huber 001; Julian Horsch (CODASPY, 2019)

Dominance as a New Trusted Computing Primitive for the Internet of Things. - Meng Xu 001; Manuel Huber 001; Zhichuang Sun; Paul England; Marcus Peinado; Sangho Lee 001; Andrey Marochko; Dennis Mattoon; Rob Spiger; Stefan Thom (IEEE Symposium on Security and Privacy, 2019)

Freeze and Crypt: Linux kernel support for main memory encryption. - Manuel Huber 001; Julian Horsch; Junaid Ali 002; Sascha Wessel (Comput. Secur., 2019)

Harzer Roller: Linker-Based Instrumentation for Enhanced Embedded Security Testing. - Katharina Bogad; Manuel Huber 001 (CoRR, 2019)

System Architectures for Data Confidentiality and Frameworks for Main Memory Extraction. - Manuel Huber 001 (2019)

The Lazarus Effect: Healing Compromised Devices in the Internet of Small Things. - Manuel Huber 001; Stefan Hristozov; Simon Ott; Vasil Sarafov; Marcus Peinado (AsiaCCS, 2020)

FridgeLock: Preventing Data Theft on Suspended Linux with Usable Memory Encryption. - Fabian Franzen; Manuel Andreas; Manuel Huber 001 (CODASPY, 2020)

Protecting RESTful IoT Devices from Battery Exhaustion DoS Attacks. - Stefan Hristozov; Manuel Huber 001; Georg Sigl (HOST, 2020)

The Cost of OSCORE and EDHOC for Constrained Devices. - Stefan Hristozov; Manuel Huber 001; Lei Xu; Jaro Fietz; Marco Liess; Georg Sigl (CODASPY, 2021)

A TOCTOU Attack on DICE Attestation. - Stefan Hristozov; Moritz Wettermann; Manuel Huber 001 (CODASPY, 2022)