2 papers
cs.AR2026
täkÅFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
Pranav Srinivasan, Manos Kapritsos, Yatin A. Manerkar
Accelerators provide large performance and energy-efficiency benefits, but can significantly change the hardware-software interface. The täkÅ programmable memory hierarchy accele…
cs.CR2024
SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
Microarchitectural security verification of software has seen the emergence of two broad classes of approaches. The first is based on semantic security properties (e.g., non-interf…