SICE: A hardware-level strongly isolated computing environment for x86 multi-core platforms
- Ahmed M. Azab
- Peng Ning
- et al.
- 2011
- CCS 2011
Publications
Date
Featured collections
Popular topics
27 results for Xiaolan Zhang
Always up-to-date - Scalable offline patching of VM images in a compute cloud
- Wu Zhou
- Peng Ning
- et al.
- 2010
- ACSAC 2010
HIMA: A hypervisor-based integrity measurement agent
- Ahmed M. Azab
- Peng Ning
- et al.
- 2009
- ACSAC 2009
AutoISES: Automatically inferring security specifications and detecting violations
- Lin Tan
- Xiaolan Zhang
- et al.
- 2008
- USENIX Security 2008
Automated security debugging using program structural constraints
- Chongkyung Kil
- Emre Can Sezer
- et al.
- 2007
- ACSAC 2007
Attestation-based policy enforcement for remote access
- Reiner Sailer
- Trent Jaeger
- et al.
- 2004
- CCS 2004
Design and implementation of a TCG-based integrity measurement architecture
- Reiner Sailer
- Xiaolan Zhang
- et al.
- 2004
- USENIX Security 2004
Analyzing integrity protection in the SELinux example policy
- Trent Jaeger
- Reiner Sailer
- et al.
- 2003
- USENIX Security 2003
Runtime verification of authorization hook placement for the Linux Security Modules framework
- Antony Edwards
- Trent Jaeger
- et al.
- 2002
- CCS 2002
Using CQUAL for static analysis of authorization hook placement
- Xiaolan Zhang
- Antony Edwards
- et al.
- 2002
- USENIX Security 2002