HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading. - Konrad Hohentanner; Florian Kasten; Lukas Auer (SOAP@PLDI, 2023)

Integrating Static Analyses for High-Precision Control-Flow Integrity. - Florian Kasten; Philipp Zieris; Julian Horsch (RAID, 2024)