AutoISES: Automatically inferring security specifications and detecting violations
- Lin Tan
- Xiaolan Zhang
- et al.
- 2008
- USENIX Security 2008
Publications
Date
Featured collections
Popular topics
3 results for Yuanyuan Zhou
EnCore: Exploiting system environment and correlation information for misconfiguration detection
- Jiaqi Zhang
- Lakshminarayanan Renganarayana
- et al.
- 2014
- ASPLOS 2014
HARD: Hardware-assisted lockset-based race detection
- Pin Zhou
- Radu Teodorescu
- et al.
- 2007
- HPCA 2007