Publications

27 results for Xiaolan Zhang

Trustworthy and personalized computing on public kiosks
- - Scott Garriss
  - Reiner Sailer
  - et al.
- 2008
- MobiSys 2008
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
Towards trustworthy kiosk computing
- - Scott Garriss
  - Ramón Cáceres
  - et al.
- 2007
- HotMobile 2007
Leveraging IPsec for mandatory per-packet access control
- - Trent Jaeger
  - David H. King
  - et al.
- 2006
- SecureComm 2006
The case for analysis preserving language transformation
- - Xiaolan Zhang
  - Larry Koved
  - et al.
- 2006
- ISSTA 2006
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
Resolving constraint conflicts
- - Trent Jaeger
  - Reiner Sailer
  - et al.
- 2004
- SACMAT 2004
Consistency analysis of authorization hook placement in the Linux security modules framework
- - Trent Jaeger
  - Antony Edwards
  - et al.
- 2004
- ACM TISSEC