Trustworthy and personalized computing on public kiosks
- Scott Garriss
- Reiner Sailer
- et al.
- 2008
- MobiSys 2008
Publications
Date
Featured collections
Popular topics
27 results for Xiaolan Zhang
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