Shaobo He
- Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
2024/03/07 by Joseph W. Cutler, Craig Disselkoen, Cutler, Joseph W. +28 · 3 voices · 7 citations
Computer Science · Social Sciences · #Access Control and Trust #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- SEIR modeling of the COVID-19 and its dynamics
2020/06/18 by Shaobo He, Yuexi Peng, Kehui Sun · 11 citations
Economics, Econometrics and Finance · Mathematics · #COVID-19 Pandemic Impacts #COVID-19 epidemiological studies
- ct-fuzz: Fuzzing for Timing Leaks
2019/04/15 by Shaobo He, Michael Emmi, He, Shaobo +3 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering (cs.SE) #Web Application Security Vulnerabilities
- 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