Matching Distributions Under Structural Constraints. - Aaron Bies; Holger Hermanns; Maximilian A. Köhl; Andreas Schmidt 003 (QEST, 2023)

Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities. - Zheyuan Wu; Haoyi Zeng; Aaron Bies (SPLASH Companion, 2024)