Representing Data Bases in Segmented Name Spaces. - Virgil D. Gligor; David Maier 001 (JCDKB, 1978)

Architectural Implementations of Abstract Data Type Implementation. - Virgil D. Gligor (ISCA, 1979)

Review and Revocation of Access Privileges Distributed Through Capabilities. - Virgil D. Gligor (IEEE Trans. Software Eng., 1979)

Object Migration and Authentication. - Virgil D. Gligor; Bruce G. Lindsay 001 (IEEE Trans. Software Eng., 1979)

On Deadlock Detection in Distributed Systems. - Virgil D. Gligor; Susan H. Shattuck (IEEE Trans. Software Eng., 1980)

Finding Augmented-Set Bases. - Virgil D. Gligor; David Maier 001 (SIAM J. Comput., 1982)

A Note on the Denial-of-Service Problem. - Virgil D. Gligor (S&P, 1983)

The verification of the protection mechanisms of high-level language machines. - Virgil D. Gligor (Int. J. Parallel Program., 1983)

Concurrency Control Issues in Distributed Heterogeneous Database Management Systems. - Virgil D. Gligor; Radu Popescu-Zeletin (DDSS, 1984)

Inteconnecting Heterogeneous Database Management Systems. - Virgil D. Gligor; Gary L. Luckenbaugh (Computer, 1984)

A Note on Denial-of-Service in Operating Systems. - Virgil D. Gligor (IEEE Trans. Software Eng., 1984)

Analysis of the Hardware Verification of the Honeywell SCOMP. - Virgil D. Gligor (S&P, 1985)

Foreword. - Virgil D. Gligor; Peter A. Ng (IEEE Trans. Software Eng., 1985)

On Denial-of-Service in Computer Networks. - Virgil D. Gligor (ICDE, 1986)

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 (S&P, 1986)

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 (S&P, 1986)

Transaction management in distributed heterogeneous database management systems. - Virgil D. Gligor; Radu Popescu-Zeletin (Inf. Syst., 1986)

A Comparative Analysis of Multiprocessor Scheduling Algorithms. - Shau-Ping Lo; Virgil D. Gligor (ICDCS, 1987)

Properties of Multiprocessor Scheduling Algorithms. - Shau-Ping Lo; Virgil D. Gligor (ICPP, 1987)

A Formal Method for the Identification of Covert Storage Channels in Source Code. - Chii-Ren Tsai; Virgil D. Gligor; C. Sekar Chandersekaran (S&P, 1987)

Design and Implementation of Secure Xenix. - Virgil D. Gligor; C. Sekar Chandersekaran; Robert S. Chapman; Leslie J. Dotterer; Matthew S. Hecht; Wen-Der Jiang; Abhai Johri; Gary L. Luckenbaugh; N. Vasudevan (IEEE Trans. Software Eng., 1987)

A New Security Testing Method and Its Application to the Secure Xenix Kernel. - Virgil D. Gligor; C. Sekar Chandersekaran; Wen-Der Jiang; Abhai Johri; Gary L. Luckenbaugh; L. Edward Reich (IEEE Trans. Software Eng., 1987)

A bandwidth computation model for covert storage channels and its applications. - Chii-Ren Tsai; Virgil D. Gligor (S&P, 1988)

A formal specification and verification method for the prevention of denial of service. - Che-Fu Yu; Virgil D. Gligor (S&P, 1988)

Information-Flow Analysis for Covert-Channel Identification in Multilevel Secure Operating Systems. - Jingsha He; Virgil D. Gligor (CSFW, 1990)

On Replay Detection in Distributed Systems. - Shyh-Wei Luan; Virgil D. Gligor (ICDCS, 1990)

On the Formal Specification and Verification of a Multiparty Session Protocol. - Pau-Chen Cheng; Virgil D. Gligor (S&P, 1990)

Auditing the Use of Covert Storage Channels in Secure Systems. - Shiuh-Pyng Shieh; Virgil D. Gligor (S&P, 1990)

A Fault-Tolerant Protocol for Atomic Broadcast. - Shyh-Wei Luan; Virgil D. Gligor (IEEE Trans. Parallel Distributed Syst., 1990)

On the Identification of Covert Storage Channels in Secure Systems. - Chii-Ren Tsai; Virgil D. Gligor; C. Sekar Chandersekaran (IEEE Trans. Software Eng., 1990)

A Specification and Verification Method for Preventing Denial of Service. - Che-Fn Yu; Virgil D. Gligor (IEEE Trans. Software Eng., 1990)

Logics for Cryptographic Protocols - Virtues and Limitations. - Virgil D. Gligor; Rajashekar Kailar; Stuart G. Stubblebine; Li Gong (CSFW, 1991)

On Belief Evolution in Authentication Protocols. - Rajashekar Kailar; Virgil D. Gligor (CSFW, 1991)

A Pattern-Oriented Intrusion-Detection Model and Its Applications. - Shiuh-Pyng Shieh; Virgil D. Gligor (S&P, 1991)

Trusted RUBIX architecture and policy model interpretation. - C. J. Testa; B. D. Wilner; Virgil D. Gligor (ACSAC, 1992)

Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code. - Jingsha He; Virgil D. Gligor (ESORICS, 1992)

On message integrity in cryptographic protocols. - Stuart G. Stubblebine; Virgil D. Gligor (S&P, 1992)

Towards a Theory of Penetration-Resistant Systems and its Applications. - Sarbari Gupta; Virgil D. Gligor (J. Comput. Secur., 1992)

Protocol design for integrity protection. - Stuart G. Stubblebine; Virgil D. Gligor (S&P, 1993)

On Inter-Realm Authentication in Large Distributed Systems. - Virgil D. Gligor; Shyh-Wei Luan; Joseph N. Pato (J. Comput. Secur., 1993)

Characteristics of role-based access control. - Virgil D. Gligor (ACM Workshop on Role-Based Access Control, 1995)

Detecting Illicit Leakage of Information in Operating Systems. - Shiuh-Pyng Shieh; Virgil D. Gligor (J. Comput. Secur., 1996)

On a Pattern-Oriented Model for Intrusion Detection. - Shiuh-Pyng Shieh; Virgil D. Gligor (IEEE Trans. Knowl. Data Eng., 1997)

On the Formal Definition of Separation-of-Duty Policies and their Composition. - Virgil D. Gligor; Serban I. Gavrila; David F. Ferraiolo (S&P, 1998)

Application-Oriented Security Policies and Their Composition (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 1998)

Application-Oriented Security Policies and Their Composition (Position Paper). - Virgil D. Gligor; Serban I. Gavrila (Security Protocols Workshop, 1998)

Discussion Session: Differences Between Academic and Commercial Security. - Virgil D. Gligor; Peter Landrock; T. Mark A. Lomas; Raphael Yahalom; John P. Warne (Security Protocols Workshop, 1998)

Panel Session - Future Directions. - Roger M. Needham; E. Stewart Lee; Joan Feigenbaum; Virgil D. Gligor; Bruce Christianson (Security Protocols Workshop, 1998)

20 Years of Operating Systems Security. - Virgil D. Gligor (S&P, 1999)

Integrity-Aware PCBC Encryption Schemes. - Virgil D. Gligor; Pompiliu Donescu (Security Protocols Workshop, 1999)

SubDomain: Parsimonious Server Security. - Crispin Cowan; Steve Beattie; Greg Kroah-Hartman; Calton Pu; Perry Wagle; Virgil D. Gligor (LISA, 2000)

Review and Revocation of Access Privileges Distributed with PKI Certificates (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2000)

Denial of Service - Panel Discussion. - Virgil D. Gligor; Matt Blaze; John Ioannidis (Security Protocols Workshop, 2000)

Review and Revocation of Access Privileges Distributed with PKI Certificates. - Himanshu Khurana; Virgil D. Gligor (Security Protocols Workshop, 2000)

Non-Interference: Who Needs It? - Peter Y. A. Ryan; John D. McLean; Jonathan K. Millen; Virgil D. Gligor (CSFW, 2001)

Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes. - Virgil D. Gligor; Pompiliu Donescu (FSE, 2001)

Negotiation of Access Control Policies (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2001)

On the Negotiation of Access Control Policies. - Virgil D. Gligor; Himanshu Khurana; Radostina K. Koleva; Vijay G. Bharadwaj; John S. Baras (Security Protocols Workshop, 2001)

A key-management scheme for distributed sensor networks. - Laurent Eschenauer; Virgil D. Gligor (CCS, 2002)

Reasoning about Joint Administration of Access Policies for Coalition Resources. - Himanshu Khurana; Virgil D. Gligor; John Linn (ICDCS, 2002)

On Trust Establishment in Mobile Ad-Hoc Networks. - Laurent Eschenauer; Virgil D. Gligor; John S. Baras (Security Protocols Workshop, 2002)

Weak Key Authenticity and the Computational Completeness of Formal Encryption. - Omer Horvitz; Virgil D. Gligor (CRYPTO, 2003)

Integrated Security Services for Dynamic Coalitions. - Himanshu Khurana; Serban I. Gavrila; Rakeshbabu Bobba; Radostina K. Koleva; Anuja Sonalker; Emilian Dinu; Virgil D. Gligor; John S. Baras (DISCEX (2), 2003)

Bootstrapping security associations for routing in mobile ad-hoc networks. - Rakeshbabu Bobba; Laurent Eschenauer; Virgil D. Gligor; William A. Arbaugh (GLOBECOM, 2003)

Guaranteeing Access in Spite of Distributed Service-Flooding Attacks. - Virgil D. Gligor (Security Protocols Workshop, 2003)

Guaranteeing Access in Spite of Distributed Service-Flooding Attacks (Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2003)

Security of Emergent Properties in Ad-Hoc Networks (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2004)

A Model for Access Negotiations in Dynamic Coalitions. - Himanshu Khurana; Virgil D. Gligor (WETICE, 2004)

Administering Access Control in Dynamic Coalitions. - Rakeshbabu Bobba; Serban I. Gavrila; Virgil D. Gligor; Himanshu Khurana; Radostina K. Koleva (LISA, 2005)

Panel: Authentication in Constrained Environments. - Mike Burmester; Virgil D. Gligor; Evangelos Kranakis; J. D. Tygar; Yuliang Zheng 001 (MADNES, 2005)

Keynote: On the Security of Emergent Properties in Traditional and Ad-Hoc Networks. - Virgil D. Gligor (MADNES, 2005)

Advances in sensor and ad-hoc network security: perspective and status. - Virgil D. Gligor (SASN, 2005)

Distributed Detection of Node Replication Attacks in Sensor Networks. - Bryan Parno; Adrian Perrig; Virgil D. Gligor (S&P, 2005)

On the Evolution of Adversary Models in Security Protocols (or Know Your Friend and Foe Alike). - Virgil D. Gligor (Security Protocols Workshop, 2005)

On the Distribution and Revocation of Cryptographic Keys in Sensor Networks. - Haowen Chan; Virgil D. Gligor; Adrian Perrig; Gautam Muralidharan (IEEE Trans. Dependable Secur. Comput., 2005)

Emergent properties in ad-hoc networks: a security perspective. - Virgil D. Gligor (AsiaCCS, 2006)

Towards a secure and interoperable DRM architecture. - Gelareh Taban; Alvaro A. Cárdenas; Virgil D. Gligor (Digital Rights Management Workshop, 2006)

Information Assurance Technology Forecast 2005. - Virgil D. Gligor; Thomas Haigh; Dick Kemmerer; Carl E. Landwehr; Steven B. Lipner; John D. McLean (IEEE Secur. Priv., 2006)

On the evolution of adversary models in security protocols: from the beginning to sensor networks. - Virgil D. Gligor (AsiaCCS, 2007)

MiniSec: a secure sensor network communication architecture. - Mark Luk; Ghita Mezzour; Adrian Perrig; Virgil D. Gligor (IPSN, 2007)

Guest Editorial Vehicular Networks. - Farooq Anjum; Sunghyun Choi 001; Virgil D. Gligor; Ralf Guido Herrtwich; Jean-Pierre Hubaux; P. R. Kumar 001; Rajeev Shorey; Chin-Tau Lea (IEEE J. Sel. Areas Commun., 2007)

Position Statement: On the Evolution of Adversary Models in Computer Systems and Networks. - Virgil D. Gligor (COMPSAC, 2008)

Efficient Handling of Adversary Attacks in Aggregation Applications. - Gelareh Taban; Virgil D. Gligor (ESORICS, 2008)

On Data-Centric Trust Establishment in Ephemeral Ad Hoc Networks. - Maxim Raya; Panagiotis Papadimitratos; Virgil D. Gligor; Jean-Pierre Hubaux (INFOCOM, 2008)

Handling New Adversaries in Wireless Ad-Hoc Networks. - S. Farshad Bahari; Virgil D. Gligor (Security Protocols Workshop, 2008)

Handling New Adversaries in Wireless Ad-Hoc Networks (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2008)

Surviving Insider Attacks: A Call for System Experiments. - Virgil D. Gligor; C. Sekar Chandersekaran (Insider Attack and Cyber Security, 2008)

Privacy-Preserving Relationship Path Discovery in Social Networks. - Ghita Mezzour; Adrian Perrig; Virgil D. Gligor; Panos Papadimitratos (CANS, 2009)

Privacy-Preserving Integrity-Assured Data Aggregation in Sensor Networks. - Gelareh Taban; Virgil D. Gligor (CSE (3), 2009)

Brief Encounters with a Random Key Graph. - Virgil D. Gligor (Security Protocols Workshop, 2009)

Brief Encounters with a Random Key Graph. - Virgil D. Gligor; Adrian Perrig; Jun Zhao 007 (Security Protocols Workshop, 2009)

Secure wireless networking. - Adrian Perrig; Wade Trappe; Virgil D. Gligor; Radha Poovendran; Heejo Lee (J. Commun. Networks, 2009)

Dependable connection setup for network capabilities. - Soo Bum Lee; Virgil D. Gligor; Adrian Perrig (DSN, 2010)

FLoc : Dependable Link Access for Legitimate Traffic in Flooding Attacks. - Soo Bum Lee; Virgil D. Gligor (ICDCS, 2010)

Architectures for practical security. - Virgil D. Gligor (SACMAT, 2010)

TrustVisor: Efficient TCB Reduction and Attestation. - Jonathan M. McCune; Yanlin Li; Ning Qu; Zongwei Zhou; Anupam Datta; Virgil D. Gligor; Adrian Perrig (IEEE Symposium on Security and Privacy, 2010)

Security Limitations of Virtualization and How to Overcome Them. - Virgil D. Gligor (Security Protocols Workshop, 2010)

Security Limitations of Virtualization and How to Overcome Them (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2010)

Editorial. - Virgil D. Gligor (IEEE Trans. Dependable Secur. Comput., 2010)

A Picture is Worth a Thousand Words: Improving Usability and Robustness of Online Recommendation Systems. - Tiffany Hyun-Jin Kim; Virgil D. Gligor; Adrian Perrig (ICCCN, 2011)

Network fault localization with small TCB. - Xin Zhang 003; Zongwei Zhou; Geoffrey Hasker; Adrian Perrig; Virgil D. Gligor (ICNP, 2011)

Towards a Theory of Trust in Networks of Humans and Computers (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2011)

Towards a Theory of Trust in Networks of Humans and Computers. - Virgil D. Gligor; Jeannette M. Wing (Security Protocols Workshop, 2011)

On the foundations of trust in networks of humans and computers. - Virgil D. Gligor (CCS, 2012)

Discovering records of private VoIP calls without wiretapping. - Chang-Han Jong; Virgil D. Gligor (AsiaCCS, 2012)

GeoPKI: Converting Spatial Trust into Certificate Trust. - Tiffany Hyun-Jin Kim; Virgil D. Gligor; Adrian Perrig (EuroPKI, 2012)

Building Verifiable Trusted Path on Commodity x86 Computers. - Zongwei Zhou; Virgil D. Gligor; James Newsome; Jonathan M. McCune (IEEE Symposium on Security and Privacy, 2012)

Street-Level Trust Semantics for Attribute Authentication (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2012)

Street-Level Trust Semantics for Attribute Authentication. - Tiffany Hyun-Jin Kim; Virgil D. Gligor; Adrian Perrig (Security Protocols Workshop, 2012)

Lockdown: Towards a Safe and Practical Architecture for Security Applications on Commodity Platforms. - Amit Vasudevan; Bryan Parno; Ning Qu; Virgil D. Gligor; Adrian Perrig (TRUST, 2012)

Private communication detection: a stochastic approach. - Chang-Han Jong; Virgil D. Gligor (WISEC, 2012)

Analysis of complex contagions in random multiplex networks - Osman Yagan; Virgil D. Gligor (CoRR, 2012)

k-Connectivity in Secure Wireless Sensor Networks with Physical Link Constraints - The On/Off Channel Model - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (CoRR, 2012)

Two-server password-only authenticated key exchange. - Jonathan Katz; Philip D. MacKenzie; Gelareh Taban; Virgil D. Gligor (J. Comput. Syst. Sci., 2012)

STRIDE: sanctuary trail - refuge from internet DDoS entrapment. - Hsu-Chun Hsiao; Tiffany Hyun-Jin Kim; Sangjae Yoo; Xin Zhang 003; Soo Bum Lee; Virgil D. Gligor; Adrian Perrig (AsiaCCS, 2013)

CoDef: collaborative defense against large-scale link-flooding attacks. - Soo Bum Lee; Min Suk Kang; Virgil D. Gligor (CoNEXT, 2013)

Soulmate or Acquaintance? Visualizing Tie Strength for Trust Inference. - Tiffany Hyun-Jin Kim; Virgil D. Gligor; Jorge Guajardo; Jason I. Hong; Adrian Perrig (Financial Cryptography Workshops, 2013)

RelationGram: Tie-Strength Visualization for User-Controlled Online Identity Authentication. - Tiffany Hyun-Jin Kim; Akira Yamada 001; Virgil D. Gligor; Jason I. Hong; Adrian Perrig (Financial Cryptography, 2013)

Secure k-connectivity in wireless sensor networks under an on/off channel model. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (ISIT, 2013)

The Crossfire Attack. - Min Suk Kang; Soo Bum Lee; Virgil D. Gligor (IEEE Symposium on Security and Privacy, 2013)

ReDABLS: Revisiting Device Attestation with Bounded Leakage of Secrets (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2013)

ReDABLS: Revisiting Device Attestation with Bounded Leakage of Secrets. - Jun Zhao 007; Virgil D. Gligor; Adrian Perrig; James Newsome (Security Protocols Workshop, 2013)

KISS: "Key It Simple and Secure" Corporate Key Management. - Zongwei Zhou; Jun Han 001; Yue-Hsun Lin; Adrian Perrig; Virgil D. Gligor (TRUST, 2013)

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 (WWW, 2013)

A New Privacy-Enhanced Matchmaking Protocol. - Ji Sun Shin; Virgil D. Gligor (IEICE Trans. Commun., 2013)

Connectivity in secure wireless sensor networks under transmission constraints. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (Allerton, 2014)

Routing Bottlenecks in the Internet: Causes, Exploits, and Countermeasures. - Min Suk Kang; Virgil D. Gligor (CCS, 2014)

On the strengths of connectivity and robustness in general random intersection graphs. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (CDC, 2014)

On topological properties of wireless sensor networks under the q-composite key predistribution scheme with on/off channels. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (ISIT, 2014)

On secure and reliable communications in wireless sensor networks: Towards k-connectivity under a random pairwise key predistribution scheme. - Faruk Yavuz; Jun Zhao 007; Osman Yagan; Virgil D. Gligor (ISIT, 2014)

Dancing with Giants: Wimpy Kernels for On-Demand Isolated I/O. - Zongwei Zhou; Miao Yu; Virgil D. Gligor (IEEE Symposium on Security and Privacy, 2014)

Dancing with the Adversary: A Tale of Wimps and Giants. - Virgil D. Gligor (Security Protocols Workshop, 2014)

Dancing with the Adversary: A Tale of Wimps and Giants (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2014)

On $k$-connectivity and minimum vertex degree in random $s$-intersection graphs. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (CoRR, 2014)

Towards $k$-connectivity of the random graph induced by a pairwise key predistribution scheme with unreliable links. - Faruk Yavuz; Jun Zhao 007; Osman Yagan; Virgil D. Gligor (CoRR, 2014)

On asymptotically exact probability of $k$-connectivity in random key graphs intersecting Erdős-Rényi graphs. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (CoRR, 2014)

On k-Connectivity and Minimum Vertex Degree in Random s-Intersection Graphs. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (ANALCO, 2015)

Trusted Display on Untrusted Commodity Platforms. - Miao Yu; Virgil D. Gligor; Zongwei Zhou (CCS, 2015)

Designing secure and reliable wireless sensor networks under a pairwise key predistribution scheme. - Faruk Yavuz; Jun Zhao 007; Osman Yagan; Virgil D. Gligor (ICC, 2015)

Optimal strategies for side-channel leakage in FCFS packet schedulers. - Saurabh Shintre; Virgil D. Gligor; João Barros (ISIT, 2015)

Establishing Software-Only Root of Trust on Embedded Systems: Facts and Fiction (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2015)

Establishing Software-Only Root of Trust on Embedded Systems: Facts and Fiction. - Yanlin Li; Yueqiang Cheng; Virgil D. Gligor; Adrian Perrig (Security Protocols Workshop, 2015)

Exact analysis of k-connectivity in secure sensor networks with unreliable links. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (WiOpt, 2015)

Threshold Functions in Random s-Intersection Graphs. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (CoRR, 2015)

k-Connectivity of Random Key Graphs. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (CoRR, 2015)

Monotone Increasing Properties and Their Phase Transitions in Uniform Random Intersection Graphs. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (CoRR, 2015)

Random intersection graphs and their applications in security, wireless communication, and social networks. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (CoRR, 2015)

Dancing with Giants: Wimpy Kernels for On-Demand I/O Isolation. - Zongwei Zhou; Miao Yu; Virgil D. Gligor (IEEE Secur. Priv., 2015)

Network Adversary Attacks against Secure Encryption Schemes. - Virgil D. Gligor; Bryan Parno; Ji Sun Shin (IEICE Trans. Commun., 2015)

k-Connectivity in Random Key Graphs With Unreliable Links. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (IEEE Trans. Inf. Theory, 2015)

Toward k-Connectivity of the Random Graph Induced by a Pairwise Key Predistribution Scheme With Unreliable Links. - Faruk Yavuz; Jun Zhao 007; Osman Yagan; Virgil D. Gligor (IEEE Trans. Inf. Theory, 2015)

SPIFFY: Inducing Cost-Detectability Tradeoffs for Persistent Link-Flooding Attacks. - Min Suk Kang; Virgil D. Gligor; Vyas Sekar (NDSS, 2016)

Defending Against Evolving DDoS Attacks: A Case Study Using Link Flooding Incidents (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2016)

Defending Against Evolving DDoS Attacks: A Case Study Using Link Flooding Incidents. - Min Suk Kang; Virgil D. Gligor; Vyas Sekar (Security Protocols Workshop, 2016)

The Case for In-Network Replay Suppression. - Taeho Lee 003; Christos Pappas; Adrian Perrig; Virgil D. Gligor; Yih-Chun Hu (AsiaCCS, 2017)

Assuring the Safety of Asymmetric Social Protocols. - Virgil D. Gligor; Frank Stajano (Security Protocols Workshop, 2017)

PrivateRide: A Privacy-Enhanced Ride-Hailing Service. - Anh Pham; Italo Dacosta; Bastien Jacot-Guillarmod; Kévin Huguenin; Taha Hajar; Florian Tramèr; Virgil D. Gligor; Jean-Pierre Hubaux (Proc. Priv. Enhancing Technol., 2017)

On Connectivity and Robustness in Random Intersection Graphs. - Jun Zhao 007; Osman Yagan; Virgil D. Gligor (IEEE Trans. Autom. Control., 2017)

k-Connectivity in Random K-Out Graphs Intersecting Erdős-Rényi Graphs. - Faruk Yavuz; Jun Zhao 007; Osman Yagan; Virgil D. Gligor (IEEE Trans. Inf. Theory, 2017)

Requirements for Root of Trust Establishment (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2018)

Requirements for Root of Trust Establishment. - Virgil D. Gligor; Maverick Woo (Security Protocols Workshop, 2018)

Anonymity Leakage in Private VoIP Networks. - Saurabh Shintre; Virgil D. Gligor; João Barros (IEEE Trans. Dependable Secur. Comput., 2018)

Establishing and Maintaining Root of Trust on Commodity Computer Systems. - Virgil D. Gligor (AsiaCCS, 2019)

Winning Against any Adversary on Commodity Computer Systems. - Virgil D. Gligor (CYSARM@CCS, 2019)

Establishing Software Root of Trust Unconditionally. - Virgil D. Gligor; Shan Leung Maverick Woo (NDSS, 2019)

A Rest Stop on the Unending Road to Provable Security. - Virgil D. Gligor (Security Protocols Workshop, 2019)

A Rest Stop on the Unending Road to Provable Security (Transcript of Discussion). - Virgil D. Gligor (Security Protocols Workshop, 2019)

An I/O Separation Model for Formal Verification of Kernel Implementations. - Miao Yu; Virgil D. Gligor; Limin Jia 001 (SP, 2021)

Determining an Economic Value of High Assurance for Commodity Software Security. - Virgil D. Gligor; Adrian Perrig; David A. Basin (Security Protocols Workshop, 2023)