David Schrammel

Dipl.-Ing. BSc

Secure Systems, PhD Candidate

David Schrammel is a PhD candidate under the supervision of Prof. Stefan Mangard in the Secure Systems (SESYS) group. He graduated to Dipl.Ing. (MSc) from the University of Technology Graz in 2019. His master's thesis is about an efficient hardware implementation of a lattice-based encryption scheme which was supervised by Stefan Mangard and Peter Pessl.
David Schrammel

Publications

Memory Tagging using Cryptographic Integrity on Commodity x86 CPUs

Schrammel D., Unterguggenberger M., Lamster L., Sultana S., Grewal K., LeMay M., Durham D., Mangard S.
EuroS&P 2024, 9th IEEE European Symposium on Security and Privacy

Voodoo: Memory Tagging, Authenticated Encryption, and Error Correction through MAGIC

Lamster L., Unterguggenberger M., Schrammel D., Mangard S.
Voodoo: Memory Tagging, Authenticated Encryption, and Error Correction through MAGIC, 33rd USENIX Security Symposium: USENIX Security 2024

Cryptographically Enforced Memory Safety

Unterguggenberger M., Schrammel D., Lamster L., Nasahl P., Mangard S.
CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 30th ACM Conference on Computer and Communications Security, 889-903, (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security)

Multi-Tag: A Hardware-Software Co-Design for Memory Safety based on Multi-Granular Memory Tagging

Unterguggenberger M., Schrammel D., Nasahl P., Schilling R., Lamster L., Mangard S.
ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023 ACM ASIA Conference on Computer and Communications Security, 177-189, (Proceedings of the ACM Conference on Computer and Communications Security)

SPEAR-V: Secure and Practical Enclave Architecture for RISC-V

Schrammel D., Waser M., Lamster L., Unterguggenberger M., Mangard S.
ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023 ACM ASIA Conference on Computer and Communications Security, 457-468, (Proceedings of the ACM Conference on Computer and Communications Security)

More Publications