Torlak, Emina
- Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
2024/03/07 by Joseph W. Cutler, Cutler, Joseph W., Craig Disselkoen +28 · 3 voices · 7 citations
Computer Science · Social Sciences · #Access Control and Trust #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- Precise Attack Synthesis for Smart Contracts
2019/02/16 by Yu Feng, Feng, Yu, Emina Torlak +3 · 4 citations
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- How We Built Cedar: A Verification-Guided Approach
2024/07/01 by Craig Disselkoen, Disselkoen, Craig, Aaron Eline +22 · 1 citation
Engineering · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Tunneling and Rock Mechanics