Publications

3 results for Yuanyuan Zhou

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