System Support for Automated Profiling and Optimization. - Xiaolan Zhang 001; Zheng Wang; Nicholas C. Gloy; J. Bradley Chen; Michael D. Smith 001 (SOSP, 1997)

The Case for Application-Specific Benchmarking. - Margo I. Seltzer; David Krinsky; Keith A. Smith; Xiaolan Zhang 001 (Workshop on Hot Topics in Operating Systems, 1999)

HBench: JGC-An Application-Specific Benchmark Suite for Evaluating JVM Garbage Collector Performance. - Xiaolan Zhang 001; Margo I. Seltzer (COOTS, 2001)

HBench: Java: An application-specific benchmarking framework for Java Virtual Machines. - Xiaolan Zhang 001; Margo I. Seltzer (Concurr. Comput. Pract. Exp., 2001)

Runtime verification of authorization hook placement for the linux security modules framework. - Antony Edwards; Trent Jaeger; Xiaolan Zhang 001 (CCS, 2002)

Managing access control policies using access control spaces. - Trent Jaeger; Antony Edwards; Xiaolan Zhang 001 (SACMAT, 2002)

Gaining and maintaining confidence in operating systems security. - Trent Jaeger; Antony Edwards; Xiaolan Zhang 001 (ACM SIGOPS European Workshop, 2002)

Secure coprocessor-based intrusion detection. - Xiaolan Zhang 001; Leendert van Doorn; Trent Jaeger; Ronald Perez; Reiner Sailer (ACM SIGOPS European Workshop, 2002)

Using CQUAL for Static Analysis of Authorization Hook Placement. - Xiaolan Zhang 001; Antony Edwards; Trent Jaeger (USENIX Security Symposium, 2002)

Analyzing Integrity Protection in the SELinux Example Policy. - Trent Jaeger; Reiner Sailer; Xiaolan Zhang 001 (USENIX Security Symposium, 2003)

Policy management using access control spaces. - Trent Jaeger; Xiaolan Zhang 001; Antony Edwards (ACM Trans. Inf. Syst. Secur., 2003)

Attestation-based policy enforcement for remote access. - Reiner Sailer; Trent Jaeger; Xiaolan Zhang 001; Leendert van Doorn (CCS, 2004)

Resolving constraint conflicts. - Trent Jaeger; Reiner Sailer; Xiaolan Zhang 001 (SACMAT, 2004)

Design and Implementation of a TCG-based Integrity Measurement Architecture. - Reiner Sailer; Xiaolan Zhang 001; Trent Jaeger; Leendert van Doorn (USENIX Security Symposium, 2004)

Consistency analysis of authorization hook placement in the Linux security modules framework. - Trent Jaeger; Antony Edwards; Xiaolan Zhang 001 (ACM Trans. Inf. Syst. Secur., 2004)

The case for analysis preserving language transformation. - Xiaolan Zhang 001; Larry Koved; Marco Pistoia; Sam Weber 001; Trent Jaeger; Guillaume Marceau; Liangzhao Zeng (ISSTA, 2006)

Leveraging IPsec for Mandatory Per-Packet Access Control. - Trent Jaeger; David H. King; Kevin R. B. Butler; Serge Hallyn; Joy Latten; Xiaolan Zhang 001 (SecureComm, 2006)

Automated Security Debugging Using Program Structural Constraints. - Chongkyung Kil; Emre Can Sezer; Peng Ning; Xiaolan Zhang 001 (ACSAC, 2007)

XenSocket: A High-Throughput Interdomain Transport for Virtual Machines. - Xiaolan Zhang 001; Suzanne McIntosh; Pankaj Rohatgi; John Linwood Griffin (Middleware, 2007)

Towards Trustworthy Kiosk Computing. - Scott Garriss; Romó Sailer; Stefan Berger; Reiner Sailer; Leendert van Doorn; Xiaolan Zhang 001 (HotMobile, 2007)

Trustworthy and personalized computing on public kiosks. - Scott Garriss; Ramón Cáceres; Stefan Berger; Reiner Sailer; Leendert van Doorn; Xiaolan Zhang 001 (MobiSys, 2008)

AutoISES: Automatically Inferring Security Specification and Detecting Violations. - Lin Tan 001; Xiaolan Zhang 001; Xiao Ma 014; Weiwei Xiong; Yuanyuan Zhou 001 (USENIX Security Symposium, 2008)

HIMA: A Hypervisor-Based Integrity Measurement Agent. - Ahmed M. Azab; Peng Ning; Emre Can Sezer; Xiaolan Zhang 001 (ACSAC, 2009)

Managing security of virtual machine images in a cloud environment. - Jinpeng Wei; Xiaolan Zhang 001; Glenn Ammons; Vasanth Bala; Peng Ning (CCSW, 2009)

Remote attestation to dynamic system properties: Towards providing complete system integrity evidence. - Chongkyung Kil; Emre Can Sezer; Ahmed M. Azab; Peng Ning; Xiaolan Zhang 001 (DSN, 2009)

Always up-to-date: scalable offline patching of VM images in a compute cloud. - Wu Zhou 001; Peng Ning; Xiaolan Zhang 001; Glenn Ammons; Ruowen Wang; Vasanth Bala (ACSAC, 2010)

HyperSentry: enabling stealthy in-context measurement of hypervisor integrity. - Ahmed M. Azab; Peng Ning; Zhi Wang 004; Xuxian Jiang; Xiaolan Zhang 001; Nathan C. Skalsky (CCS, 2010)

RC2 - A Living Lab for Cloud Computing. - Kyung Dong Ryu; Xiaolan Zhang 001; Glenn Ammons; Vasanth Bala; Stefan Berger; Dilma M. Da Silva; Jim Doran; Frank Franco; Alexei A. Karve; Herb Lee; James A. Lindeman; Ajay Mohindra; et al. (LISA, 2010)

SICE: a hardware-level strongly isolated computing environment for x86 multi-core platforms. - Ahmed M. Azab; Peng Ning; Xiaolan Zhang 001 (CCS, 2011)

Preface: Cloud Computing. - Kyung Dong Ryu; Xiaolan (Catherine) Zhang (IBM J. Res. Dev., 2011)

iHTTP: Efficient Authentication of Non-confidential HTTP Traffic. - Jason Gionta; Peng Ning; Xiaolan Zhang 001 (ACNS, 2012)

A Novel Service Composition Approach for Application Migration to Cloud. - Xianzhi Wang 001; Xuejun Zhuo; Bo Yang 013; Fan Jing Meng; Pu Jin; Woody Huang; Christopher C. Young; Catherine Zhang 001; Jing Min Xu; Michael Montinarelli (ICSOC, 2013)

What to discover before migrating to the cloud. - Kun Bai; Niyu Ge; Hani Jamjoom; Ea-Ee Jan; Lakshminarayanan Renganarayana; Xiaolan Zhang 001 (IM, 2013)

A statistical machine learning approach for ticket mining in IT service delivery. - Ea-Ee Jan; Jian Ni; Niyu Ge; Naga Ayachitula; Xiaolan Zhang 001 (IM, 2013)

SEER: practical memory virus scanning as a service. - Jason Gionta; Ahmed M. Azab; William Enck; Peng Ning; Xiaolan Zhang 001 (ACSAC, 2014)

EnCore: exploiting system environment and correlation information for misconfiguration detection. - Jiaqi Zhang; Lakshminarayanan Renganarayana; Xiaolan Zhang 001; Niyu Ge; Vasanth Bala; Tianyin Xu; Yuanyuan Zhou 001 (ASPLOS, 2014)

DACSA: A Decoupled Architecture for Cloud Security Analysis. - Jason Gionta; Ahmed M. Azab; William Enck; Peng Ning; Xiaolan Zhang 001 (CSET, 2014)