Skip to Content
Menu
Research
Education
Partnerships
News
Events
About
Directory
Give to CyLab
CIC resources
Partners’ Portal
Security & privacy demos
Hiring
Public policy work
Search
Search
Search
Home
Directory
Fraser Brown
Assistant Professor,
Software and Societal Systems Department
Email
fraserb@andrew.cmu.edu
Research Interests
blockchain
Formal methods
formal methods for security
language-based security
software security
systems security
verification
web security
Update your page