Publications (4)
How We Built Cedar: A Verification-Guided Approach
Craig Disselkoen, Aaron Eline, Shaobo He +10
This paper presents verification-guided development (VGD), a software engineering process we used to build Cedar, a new policy language for expressive, fast, safe, and analyzable a…
ct-fuzz: Fuzzing for Timing Leaks
Shaobo He, Michael Emmi, Gabriela Ciocarlie
Testing-based methodologies like fuzzing are able to analyze complex software which is not amenable to traditional formal approaches like verification, model checking, and abstract…
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline +12
Cedar is a new authorization policy language designed to be ergonomic, fast, safe, and analyzable. Rather than embed authorization logic in an application's code, developers can wr…
A study on dynamical complexity of noise induced blood flow
Bo Yan, Sayan Mukherjee, Shaobo He
In this article, the dynamics and complexity of a noise induced blood flow system have been investigated. Changes in the dynamics have been recognized by measuring the periodicity…