Samuel Kalbfleisch's research focuses on the intersection between applications and systems security in a low-level context. This includes the use of CPU emulation to create debuggers and tools for finding bugs and security vulnerabilities.
Publications:
– Samuel Kalbfleisch, Lukas Werling, and Frank Bellosa. "Vinter: Automatic Non-Volatile Memory Crash Consistency Testing for Full Systems." 2022 USENIX Annual Technical Conference (USENIX ATC '22). 2022. https://www.usenix.org/conference/atc22/presentation/werling