Fraser Brown

Fraser Brown is a Courtesy Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, affiliated with the College of Engineering. His research focuses on the intersection of systems, programming languages, and security, with particular emphasis on verified compilers, cryptographic applications, and finding vulnerabilities in real systems. He holds a position at the university's Pittsburgh campus located at 5000 Forbes Avenue.

His research interests include compiler optimization verification, cryptographic protocol compilation, and secure execution environments. Notable projects involve verified components of browser JIT compilers and compilation infrastructure for cryptographic use cases. He has contributed to frameworks like WaVe (verifiably secure WebAssembly runtime) and Icarus (trustworthy JIT compilers).

Recent publications (2021–2025) explore topics such as zero-knowledge proof compilers, secure MPC protocols, and microarchitectural vulnerability mitigation. His work frequently combines formal verification techniques with practical system implementations to enhance software and hardware security.

Fraser has collaborated on grants like the SaTC-funded project on verified secure sandboxed systems. While no formal advisees are listed, his research contributions reflect collaborative efforts in academic and industrial contexts. His work is disseminated through venues like programming language and security workshops (e.g., PLAS 2023) and peer-reviewed journals/conferences.