All Stories

  1. The microarchitectural leakage sanitizer MileSan

    Article • November 2025, ACM (Association for Computing Machinery)

    Katharina Ceesay-Seitz, Tobias Kovats

  2. muCFI: Formal Verification of Microarchitectural Control-flow Integrity

    Article • December 2024, ACM (Association for Computing Machinery)

    Katharina Ceesay-Seitz