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