APA (7th ed.) Citation

Godbole, A., Manerkar, Y. A., & Seshia, S. A. (2024). SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns.

Chicago Style (17th ed.) Citation

Godbole, Adwait, Yatin A. Manerkar, and Sanjit A. Seshia. SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns. 2024.

MLA (9th ed.) Citation

Godbole, Adwait, et al. SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns. 2024.

Warning: These citations may not always be 100% accurate.