65 citations · 124 across the 5 of their papers we have counts for
5 papers
CryptSan: Leveraging ARM Pointer Authentication for Memory Safety in C/C++
Konrad Hohentanner, Philipp Zieris, Julian Horsch
Memory safety bugs remain in the top ranks of security vulnerabilities, even after decades of research on their detection and prevention. Various mitigations have been proposed for…
MESH: A Memory-Efficient Safe Heap for C/C++
Emanuel Q. Vintila, Philipp Zieris, Julian Horsch
While memory corruption bugs stemming from the use of unsafe programming languages are an old and well-researched problem, the resulting vulnerabilities still dominate real-world e…
Extracting Secrets from Encrypted Virtual Machines
Mathias Morbitzer, Manuel Huber, Julian Horsch
AMD SEV is a hardware extension for main memory encryption on multi-tenant systems. SEV uses an on-chip coprocessor, the AMD Secure Processor, to transparently encrypt virtual mach…
A Leak-Resilient Dual Stack Scheme for Backward-Edge Control-Flow Integrity
Philipp Zieris, Julian Horsch
Manipulations of return addresses on the stack are the basis for a variety of attacks on programs written in memory unsafe languages. Dual stack schemes for protecting return addre…
SEVered: Subverting AMD's Virtual Machine Encryption
Mathias Morbitzer, Manuel Huber, Julian Horsch +1
AMD SEV is a hardware feature designed for the secure encryption of virtual machines. SEV aims to protect virtual machine memory not only from other malicious guests and physical a…