| 2021 | SP | An I/O Separation Model for Formal Verification of Kernel Implementations. | Miao Yu, Virgil D. Gligor, Limin Jia |
| 2019 | CCS | Establishing and Maintaining Root of Trust on Commodity Computer Systems. | Virgil D. Gligor |
| 2019 | CCS | Winning Against any Adversary on Commodity Computer Systems. | Virgil D. Gligor |
| 2019 | NDSS | Establishing Software Root of Trust Unconditionally. | Virgil D. Gligor, Shan Leung Maverick Woo |
| 2017 | CCS | The Case for In-Network Replay Suppression. | Taeho Lee, Christos Pappas, Adrian Perrig, Virgil D. Gligor, Yih-Chun Hu |
| 2016 | NDSS | SPIFFY: Inducing Cost-Detectability Tradeoffs for Persistent Link-Flooding Attacks. | Min Suk Kang, Virgil D. Gligor, Vyas Sekar |
| 2015 | CCS | Trusted Display on Untrusted Commodity Platforms. | Miao Yu, Virgil D. Gligor, Zongwei Zhou |
| 2015 | ISIT | Optimal strategies for side-channel leakage in FCFS packet schedulers. | Saurabh Shintre, Virgil D. Gligor, Joo Barros |
| 2015 | WiOpt | Exact analysis of k-connectivity in secure sensor networks with unreliable links. | Jun Zhao, Osman Yagan, Virgil D. Gligor |
| 2014 | CCS | Routing Bottlenecks in the Internet: Causes, Exploits, and Countermeasures. | Min Suk Kang, Virgil D. Gligor |
| 2014 | ISIT | On topological properties of wireless sensor networks under the q-composite key predistribution scheme with on/off channels. | Jun Zhao, Osman Yagan, Virgil D. Gligor |
| 2014 | ISIT | On secure and reliable communications in wireless sensor networks: Towards k-connectivity under a random pairwise key predistribution scheme. | Faruk Yavuz, Jun Zhao, Osman Yagan, Virgil D. Gligor |
| 2014 | SP | Dancing with Giants: Wimpy Kernels for On-Demand Isolated I/O. | Zongwei Zhou, Miao Yu, Virgil D. Gligor |
| 2013 | CCS | STRIDE: sanctuary trail - refuge from internet DDoS entrapment. | Hsu-Chun Hsiao, Tiffany Hyun-Jin Kim, Sangjae Yoo, Xin Zhang, Soo Bum Lee, Virgil D. Gligor, Adrian Perrig |
| 2013 | CoNEXT | CoDef: collaborative defense against large-scale link-flooding attacks. | Soo Bum Lee, Min Suk Kang, Virgil D. Gligor |
| 2013 | FC | Soulmate or Acquaintance? Visualizing Tie Strength for Trust Inference. | Tiffany Hyun-Jin Kim, Virgil D. Gligor, Jorge Guajardo, Jason I. Hong, Adrian Perrig |
| 2013 | FC | RelationGram: Tie-Strength Visualization for User-Controlled Online Identity Authentication. | Tiffany Hyun-Jin Kim, Akira Yamada, Virgil D. Gligor, Jason I. Hong, Adrian Perrig |
| 2013 | ISIT | Secure k-connectivity in wireless sensor networks under an on/off channel model. | Jun Zhao, Osman Yagan, Virgil D. Gligor |
| 2013 | WWW | Accountable key infrastructure (AKI): a proposal for a public-key validation infrastructure. | Tiffany Hyun-Jin Kim, Lin-Shung Huang, Adrian Perrig, Collin Jackson, Virgil D. Gligor |
| 2013 | SP | The Crossfire Attack. | Min Suk Kang, Soo Bum Lee, Virgil D. Gligor |
| 2012 | CCS | On the foundations of trust in networks of humans and computers. | Virgil D. Gligor |
| 2012 | CCS | Discovering records of private VoIP calls without wiretapping. | Chang-Han Jong, Virgil D. Gligor |
| 2012 | SP | Building Verifiable Trusted Path on Commodity x86 Computers. | Zongwei Zhou, Virgil D. Gligor, James Newsome, Jonathan M. McCune |
| 2011 | ICCCN | A Picture is Worth a Thousand Words: Improving Usability and Robustness of Online Recommendation Systems. | Tiffany Hyun-Jin Kim, Virgil D. Gligor, Adrian Perrig |
| 2011 | ICNP | Network fault localization with small TCB. | Xin Zhang, Zongwei Zhou, Geoffrey Hasker, Adrian Perrig, Virgil D. Gligor |
| 2010 | DSN | Dependable connection setup for network capabilities. | Soo Bum Lee, Virgil D. Gligor, Adrian Perrig |
| 2010 | ICDCS | FLoc : Dependable Link Access for Legitimate Traffic in Flooding Attacks. | Soo Bum Lee, Virgil D. Gligor |
| 2010 | SP | TrustVisor: Efficient TCB Reduction and Attestation. | Jonathan M. McCune, Yanlin Li, Ning Qu, Zongwei Zhou, Anupam Datta, Virgil D. Gligor, Adrian Perrig |
| 2010 | SACMAT | Architectures for practical security. | Virgil D. Gligor |
| 2009 | CANS | Privacy-Preserving Relationship Path Discovery in Social Networks. | Ghita Mezzour, Adrian Perrig, Virgil D. Gligor, Panos Papadimitratos |
| 2008 | COMPSAC | Position Statement: On the Evolution of Adversary Models in Computer Systems and Networks. | Virgil D. Gligor |
| 2008 | ESORICS | Efficient Handling of Adversary Attacks in Aggregation Applications. | Gelareh Taban, Virgil D. Gligor |
| 2008 | INFOCOM | On Data-Centric Trust Establishment in Ephemeral Ad Hoc Networks. | Maxim Raya, Panagiotis Papadimitratos, Virgil D. Gligor, Jean-Pierre Hubaux |
| 2008 | NDSS | A New Privacy-Enhanced Matchmaking Protocol. | Ji Sun Shin, Virgil D. Gligor |
| 2007 | CCS | On the evolution of adversary models in security protocols: from the beginning to sensor networks. | Virgil D. Gligor |
| 2006 | CCS | Emergent properties in ad-hoc networks: a security perspective. | Virgil D. Gligor |
| 2005 | ACNS | Two-Server Password-Only Authenticated Key Exchange. | Jonathan Katz, Philip D. MacKenzie, Gelareh Taban, Virgil D. Gligor |
| 2005 | SP | Distributed Detection of Node Replication Attacks in Sensor Networks. | Bryan Parno, Adrian Perrig, Virgil D. Gligor |
| 2004 | WETICE | A Model for Access Negotiations in Dynamic Coalitions. | Himanshu Khurana, Virgil D. Gligor |
| 2003 | CRYPTO | Weak Key Authenticity and the Computational Completeness of Formal Encryption. | Omer Horvitz, Virgil D. Gligor |
| 2003 | GLOBECOM | Bootstrapping security associations for routing in mobile ad-hoc networks. | Rakeshbabu Bobba, Laurent Eschenauer, Virgil D. Gligor, William A. Arbaugh |
| 2002 | CCS | A key-management scheme for distributed sensor networks. | Laurent Eschenauer, Virgil D. Gligor |
| 2002 | ICDCS | Reasoning about Joint Administration of Access Policies for Coalition Resources. | Himanshu Khurana, Virgil D. Gligor, John Linn |
| 2001 | FSE | Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes. | Virgil D. Gligor, Pompiliu Donescu |
| 1999 | SP | 20 Years of Operating Systems Security. | Virgil D. Gligor |
| 1998 | SP | On the Formal Definition of Separation-of-Duty Policies and their Composition. | Virgil D. Gligor, Serban I. Gavrila, David F. Ferraiolo |
| 1993 | SP | Protocol design for integrity protection. | Stuart G. Stubblebine, Virgil D. Gligor |
| 1992 | ACSAC | Trusted RUBIX architecture and policy model interpretation. | C. J. Testa, B. D. Wilner, Virgil D. Gligor |
| 1992 | ESORICS | Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code. | Jingsha He, Virgil D. Gligor |
| 1992 | SP | On inter-realm authentication in large distributed systems. | Virgil D. Gligor, Shyh-Wei Luan, Joseph N. Pato |
| 1992 | SP | On message integrity in cryptographic protocols. | Stuart G. Stubblebine, Virgil D. Gligor |
| 1991 | SP | A Pattern-Oriented Intrusion-Detection Model and Its Applications. | Shiuh-Pyng Shieh, Virgil D. Gligor |
| 1990 | ICDCS | On Replay Detection in Distributed Systems. | Shyh-Wei Luan, Virgil D. Gligor |
| 1990 | SP | On the Formal Specification and Verification of a Multiparty Session Protocol. | Pau-Chen Cheng, Virgil D. Gligor |
| 1990 | SP | Auditing the Use of Covert Storage Channels in Secure Systems. | Shiuh-Pyng Shieh, Virgil D. Gligor |
| 1988 | SP | A bandwidth computation model for covert storage channels and its applications. | Chii-Ren Tsai, Virgil D. Gligor |
| 1988 | SP | A formal specification and verification method for the prevention of denial of service. | Che-Fu Yu, Virgil D. Gligor |
| 1988 | SRDS | A Fault-Tolerant Protocol for Atomic Broadcast. | Shyh-Wei Luan, Virgil D. Gligor |
| 1987 | ICDCS | A Comparative Analysis of Multiprocessor Scheduling Algorithms. | Shau-Ping Lo, Virgil D. Gligor |
| 1987 | ICPP | Properties of Multiprocessor Scheduling Algorithms. | Shau-Ping Lo, Virgil D. Gligor |
| 1987 | SP | A Formal Method for the Identification of Covert Storage Channels in Source Code. | Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran |
| 1986 | ICDE | On Denial-of-Service in Computer Networks. | Virgil D. Gligor |
| 1986 | SP | On the Design and the Implementation of Secure Xenix Workstations. | Virgil D. Gligor, E. L. Burch, C. Sekar Chandersekaran, Robert S. Chapman, Leslie J. Dotterer, Matthew S. Hecht, Wen-Der Jiang, Gary L. Luckenbaugh, N. Vasudevan |
| 1986 | SP | A New Security Testing Method and Its Application to the Secure Xenix Kernel. | Virgil D. Gligor, C. Sekar Chandersekaran, W. Cheng, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, L. Edward Reich |
| 1985 | SP | Analysis of the Hardware Verification of the Honeywell SCOMP. | Virgil D. Gligor |
| 1983 | SP | A Note on the Denial-of-Service Problem. | Virgil D. Gligor |
| 1979 | ISCA | Architectural Implementations of Abstract Data Type Implementation. | Virgil D. Gligor |