AutoISES: Automatically inferring security specifications and detecting violations
- Lin Tan
- Xiaolan Zhang
- et al.
- 2008
- USENIX Security 2008
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
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