Trustworthy and personalized computing on public kiosks
- Scott Garriss
- Reiner Sailer
- et al.
- 2008
- MobiSys 2008
Conference paper
Publications
27 results for Xiaolan Zhang
AutoISES: Automatically inferring security specifications and detecting violations
- Lin Tan
- Xiaolan Zhang
- et al.
- 2008
- USENIX Security 2008
Conference paperAutomated security debugging using program structural constraints
- Chongkyung Kil
- Emre Can Sezer
- et al.
- 2007
- ACSAC 2007
Conference paperTowards trustworthy kiosk computing
- Scott Garriss
- Ramón Cáceres
- et al.
- 2007
- HotMobile 2007
Conference paperLeveraging IPsec for mandatory per-packet access control
- Trent Jaeger
- David H. King
- et al.
- 2006
- SecureComm 2006
Conference paperThe case for analysis preserving language transformation
- Xiaolan Zhang
- Larry Koved
- et al.
- 2006
- ISSTA 2006
Conference paperAttestation-based policy enforcement for remote access
- Reiner Sailer
- Trent Jaeger
- et al.
- 2004
- CCS 2004
Conference paperDesign and implementation of a TCG-based integrity measurement architecture
- Reiner Sailer
- Xiaolan Zhang
- et al.
- 2004
- USENIX Security 2004
Conference paperResolving constraint conflicts
- Trent Jaeger
- Reiner Sailer
- et al.
- 2004
- SACMAT 2004
Conference paperConsistency analysis of authorization hook placement in the Linux security modules framework
- Trent Jaeger
- Antony Edwards
- et al.
- 2004
- ACM TISSEC
Paper