About
Riad S. Wahby is affiliated with Stanford University, USA, and contributes to research in secure compilation, cryptography, and programming languages. His work focuses on formal verification of secure systems and domain-specific languages for timing-sensitive computation.
Research Interests: His fields of interest include secure compilation, universal composability, high-assurance cryptography, domain-specific languages (DSL), and systems security. His work bridges theoretical formal methods with practical applications in low-latency and high-concurrency environments.
Publications: He has authored key papers at top-tier conferences like POPL and PLDI, addressing robust compilation, cryptographic verification, and DSL design for secure systems. These works span 2019–2025, emphasizing formal methods and systems security.
