The System Security Foundations Lab (SSF-Lab) at UIUC conducts foundational research on the security, privacy, and trustworthiness of real-world systems. Our mission is to identify, reason about, and ...