Virgil D. Gligor

186 papers A* 20A 16B 13C 3Journal 46Unranked 84
YearRankTypeTitle / Venue / Authors
2023 — conf
Determining an Economic Value of High Assurance for Commodity Software Security.
Security Protocols Workshop
Virgil D. Gligor, Adrian Perrig, David A. Basin
2021 A* conf
An I/O Separation Model for Formal Verification of Kernel Implementations.
SP
Miao Yu, Virgil D. Gligor, Limin Jia
2019 — conf
A Rest Stop on the Unending Road to Provable Security (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2019 — conf
A Rest Stop on the Unending Road to Provable Security.
Security Protocols Workshop
Virgil D. Gligor
2019 A* conf
Establishing Software Root of Trust Unconditionally.
NDSS
Virgil D. Gligor, Shan Leung Maverick Woo
2019 A conf
Establishing and Maintaining Root of Trust on Commodity Computer Systems.
AsiaCCS
Virgil D. Gligor
2019 J jnl
On Connectivity and Robustness in Random Intersection Graphs.
CoRR
Jun Zhao, Osman Yagan, Virgil D. Gligor
2019 — conf
Winning Against any Adversary on Commodity Computer Systems.
CYSARM@CCS
Virgil D. Gligor
2018 J jnl
Anonymity Leakage in Private VoIP Networks.
IEEE Trans. Dependable Secur. Comput.
Saurabh Shintre, Virgil D. Gligor, João Barros
2018 — conf
Requirements for Root of Trust Establishment (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2018 — conf
Requirements for Root of Trust Establishment.
Security Protocols Workshop
Virgil D. Gligor, Maverick Woo
2017 — conf
Assuring the Safety of Asymmetric Social Protocols.
Security Protocols Workshop
Virgil D. Gligor, Frank Stajano
2017 J jnl
On Connectivity and Robustness in Random Intersection Graphs.
IEEE Trans. Autom. Control.
Jun Zhao, Osman Yagan, Virgil D. Gligor
2017 J jnl
PrivateRide: A Privacy-Enhanced Ride-Hailing Service.
Proc. Priv. Enhancing Technol.
Anh Pham, Italo Dacosta, Bastien Jacot-Guillarmod, Kévin Huguenin, Taha Hajar, Florian Tramèr, Virgil D. Gligor, Jean-Pierre Hubaux
2017 A conf
The Case for In-Network Replay Suppression.
AsiaCCS
Taeho Lee, Christos Pappas, Adrian Perrig, Virgil D. Gligor, Yih-Chun Hu
2017 J jnl
k-Connectivity in Random K-Out Graphs Intersecting Erdős-Rényi Graphs.
IEEE Trans. Inf. Theory
Faruk Yavuz, Jun Zhao, Osman Yagan, Virgil D. Gligor
2016 — conf
Defending Against Evolving DDoS Attacks: A Case Study Using Link Flooding Incidents (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2016 — conf
Defending Against Evolving DDoS Attacks: A Case Study Using Link Flooding Incidents.
Security Protocols Workshop
Min Suk Kang, Virgil D. Gligor, Vyas Sekar
2016 A* conf
SPIFFY: Inducing Cost-Detectability Tradeoffs for Persistent Link-Flooding Attacks.
NDSS
Min Suk Kang, Virgil D. Gligor, Vyas Sekar
2015 J jnl
Connectivity in Secure Wireless Sensor Networks under Transmission Constraints.
CoRR
Jun Zhao, Osman Yagan, Virgil D. Gligor
2015 J jnl
Dancing with Giants: Wimpy Kernels for On-Demand I/O Isolation.
IEEE Secur. Priv.
Zongwei Zhou, Miao Yu, Virgil D. Gligor
2015 — conf
Designing secure and reliable wireless sensor networks under a pairwise key predistribution scheme.
ICC
Faruk Yavuz, Jun Zhao, Osman Yagan, Virgil D. Gligor
2015 — conf
Establishing Software-Only Root of Trust on Embedded Systems: Facts and Fiction (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2015 — conf
Establishing Software-Only Root of Trust on Embedded Systems: Facts and Fiction.
Security Protocols Workshop
Yanlin Li, Yueqiang Cheng, Virgil D. Gligor, Adrian Perrig
2015 B conf
Exact analysis of k-connectivity in secure sensor networks with unreliable links.
WiOpt
Jun Zhao, Osman Yagan, Virgil D. Gligor
2015 J jnl
Monotone Increasing Properties and Their Phase Transitions in Uniform Random Intersection Graphs.
CoRR
Jun Zhao, Osman Yagan, Virgil D. Gligor
2015 J jnl
Network Adversary Attacks against Secure Encryption Schemes.
IEICE Trans. Commun.
Virgil D. Gligor, Bryan Parno, Ji Sun Shin
2015 — conf
On
ANALCO
Jun Zhao, Osman Yagan, Virgil D. Gligor
2015 B conf
Optimal strategies for side-channel leakage in FCFS packet schedulers.
ISIT
Saurabh Shintre, Virgil D. Gligor, João Barros
2015 J jnl
Random intersection graphs and their applications in security, wireless communication, and social networks.
CoRR
Jun Zhao, Osman Yagan, Virgil D. Gligor
2015 J jnl
Threshold Functions in Random s-Intersection Graphs.
CoRR
Jun Zhao, Osman Yagan, Virgil D. Gligor
2015 J jnl
Toward k-Connectivity of the Random Graph Induced by a Pairwise Key Predistribution Scheme With Unreliable Links.
IEEE Trans. Inf. Theory
Faruk Yavuz, Jun Zhao, Osman Yagan, Virgil D. Gligor
2015 A* conf
Trusted Display on Untrusted Commodity Platforms.
CCS
Miao Yu, Virgil D. Gligor, Zongwei Zhou
2015 J jnl
k-Connectivity in Random Key Graphs With Unreliable Links.
IEEE Trans. Inf. Theory
Jun Zhao, Osman Yagan, Virgil D. Gligor
2015 J jnl
k-Connectivity of Random Key Graphs.
CoRR
Jun Zhao, Osman Yagan, Virgil D. Gligor
2014 — conf
Connectivity in secure wireless sensor networks under transmission constraints.
Allerton
Jun Zhao, Osman Yagan, Virgil D. Gligor
2014 A* conf
Dancing with Giants: Wimpy Kernels for On-Demand Isolated I/O.
IEEE Symposium on Security and Privacy
Zongwei Zhou, Miao Yu, Virgil D. Gligor
2014 — conf
Dancing with the Adversary: A Tale of Wimps and Giants (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2014 — conf
Dancing with the Adversary: A Tale of Wimps and Giants.
Security Protocols Workshop
Virgil D. Gligor
2014 J jnl
On $k$-connectivity and minimum vertex degree in random $s$-intersection graphs.
CoRR
Jun Zhao, Osman Yagan, Virgil D. Gligor
2014 J jnl
On Topological Properties of Wireless Sensor Networks under the q-Composite Key Predistribution Scheme with On/Off Channels.
CoRR
Jun Zhao, Osman Yagan, Virgil D. Gligor
2014 J jnl
On asymptotically exact probability of $k$-connectivity in random key graphs intersecting Erdős-Rényi graphs.
CoRR
Jun Zhao, Osman Yagan, Virgil D. Gligor
2014 B conf
On secure and reliable communications in wireless sensor networks: Towards k-connectivity under a random pairwise key predistribution scheme.
ISIT
Faruk Yavuz, Jun Zhao, Osman Yagan, Virgil D. Gligor
2014 — conf
On the strengths of connectivity and robustness in general random intersection graphs.
CDC
Jun Zhao, Osman Yagan, Virgil D. Gligor
2014 J jnl
On the strengths of connectivity and robustness in general random intersection graphs.
CoRR
Jun Zhao, Osman Yagan, Virgil D. Gligor
2014 B conf
On topological properties of wireless sensor networks under the q-composite key predistribution scheme with on/off channels.
ISIT
Jun Zhao, Osman Yagan, Virgil D. Gligor
2014 A* conf
Routing Bottlenecks in the Internet: Causes, Exploits, and Countermeasures.
CCS
Min Suk Kang, Virgil D. Gligor
2014 J jnl
Towards $k$-connectivity of the random graph induced by a pairwise key predistribution scheme with unreliable links.
CoRR
Faruk Yavuz, Jun Zhao, Osman Yagan, Virgil D. Gligor
2013 A* ed.
2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013
CCS
Ahmad-Reza Sadeghi, Virgil D. Gligor, Moti Yung
2013 J jnl
A New Privacy-Enhanced Matchmaking Protocol.
IEICE Trans. Commun.
Ji Sun Shin, Virgil D. Gligor
2013 A* conf
Accountable key infrastructure (AKI): a proposal for a public-key validation infrastructure.
WWW
Tiffany Hyun-Jin Kim, Lin-Shung Huang, Adrian Perrig, Collin Jackson, Virgil D. Gligor
2013 A conf
CoDef: collaborative defense against large-scale link-flooding attacks.
CoNEXT
Soo Bum Lee, Min Suk Kang, Virgil D. Gligor
2013 — conf
KISS: "Key It Simple and Secure" Corporate Key Management.
TRUST
Zongwei Zhou, Jun Han, Yue-Hsun Lin, Adrian Perrig, Virgil D. Gligor
2013 — conf
ReDABLS: Revisiting Device Attestation with Bounded Leakage of Secrets (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2013 — conf
ReDABLS: Revisiting Device Attestation with Bounded Leakage of Secrets.
Security Protocols Workshop
Jun Zhao, Virgil D. Gligor, Adrian Perrig, James Newsome
2013 — conf
RelationGram: Tie-Strength Visualization for User-Controlled Online Identity Authentication.
Financial Cryptography
Tiffany Hyun-Jin Kim, Akira Yamada, Virgil D. Gligor, Jason I. Hong, Adrian Perrig
2013 A conf
STRIDE: sanctuary trail - refuge from internet DDoS entrapment.
AsiaCCS
Hsu-Chun Hsiao, Tiffany Hyun-Jin Kim, Sangjae Yoo, Xin Zhang, Soo Bum Lee, Virgil D. Gligor, Adrian Perrig
2013 B conf
Secure k-connectivity in wireless sensor networks under an on/off channel model.
ISIT
Jun Zhao, Osman Yagan, Virgil D. Gligor
2013 — conf
Soulmate or Acquaintance? Visualizing Tie Strength for Trust Inference.
Financial Cryptography Workshops
Tiffany Hyun-Jin Kim, Virgil D. Gligor, Jorge Guajardo, Jason I. Hong, Adrian Perrig
2013 A* conf
The Crossfire Attack.
IEEE Symposium on Security and Privacy
Min Suk Kang, Soo Bum Lee, Virgil D. Gligor
2012 J jnl
Analysis of complex contagions in random multiplex networks
CoRR
Osman Yagan, Virgil D. Gligor
2012 A* conf
Building Verifiable Trusted Path on Commodity x86 Computers.
IEEE Symposium on Security and Privacy
Zongwei Zhou, Virgil D. Gligor, James Newsome, Jonathan M. McCune
2012 A conf
Discovering records of private VoIP calls without wiretapping.
AsiaCCS
Chang-Han Jong, Virgil D. Gligor
2012 — conf
GeoPKI: Converting Spatial Trust into Certificate Trust.
EuroPKI
Tiffany Hyun-Jin Kim, Virgil D. Gligor, Adrian Perrig
2012 — conf
Lockdown: Towards a Safe and Practical Architecture for Security Applications on Commodity Platforms.
TRUST
Amit Vasudevan, Bryan Parno, Ning Qu, Virgil D. Gligor, Adrian Perrig
2012 A* conf
On the foundations of trust in networks of humans and computers.
CCS
Virgil D. Gligor
2012 — conf
Private communication detection: a stochastic approach.
WISEC
Chang-Han Jong, Virgil D. Gligor
2012 — conf
Street-Level Trust Semantics for Attribute Authentication (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2012 — conf
Street-Level Trust Semantics for Attribute Authentication.
Security Protocols Workshop
Tiffany Hyun-Jin Kim, Virgil D. Gligor, Adrian Perrig
2012 J jnl
Two-server password-only authenticated key exchange.
J. Comput. Syst. Sci.
Jonathan Katz, Philip D. MacKenzie, Gelareh Taban, Virgil D. Gligor
2012 J jnl
k-Connectivity in Secure Wireless Sensor Networks with Physical Link Constraints - The On/Off Channel Model
CoRR
Jun Zhao, Osman Yagan, Virgil D. Gligor
2012 A* ed.
the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012
CCS
Ting Yu, George Danezis, Virgil D. Gligor
2011 B conf
A Picture is Worth a Thousand Words: Improving Usability and Robustness of Online Recommendation Systems.
ICCCN
Tiffany Hyun-Jin Kim, Virgil D. Gligor, Adrian Perrig
2011 B conf
Network fault localization with small TCB.
ICNP
Xin Zhang, Zongwei Zhou, Geoffrey Hasker, Adrian Perrig, Virgil D. Gligor
2011 — conf
Towards a Theory of Trust in Networks of Humans and Computers (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2011 — conf
Towards a Theory of Trust in Networks of Humans and Computers.
Security Protocols Workshop
Virgil D. Gligor, Jeannette M. Wing
2010 C conf
Architectures for practical security.
SACMAT
Virgil D. Gligor
2010 A conf
Dependable connection setup for network capabilities.
DSN
Soo Bum Lee, Virgil D. Gligor, Adrian Perrig
2010 J jnl
Editorial.
IEEE Trans. Dependable Secur. Comput.
Virgil D. Gligor
2010 A conf
FLoc : Dependable Link Access for Legitimate Traffic in Flooding Attacks.
ICDCS
Soo Bum Lee, Virgil D. Gligor
2010 — conf
Security Limitations of Virtualization and How to Overcome Them (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2010 — conf
Security Limitations of Virtualization and How to Overcome Them.
Security Protocols Workshop
Virgil D. Gligor
2010 A* conf
TrustVisor: Efficient TCB Reduction and Attestation.
IEEE Symposium on Security and Privacy
Jonathan M. McCune, Yanlin Li, Ning Qu, Zongwei Zhou, Anupam Datta, Virgil D. Gligor, Adrian Perrig
2009 — conf
Brief Encounters with a Random Key Graph.
Security Protocols Workshop
Virgil D. Gligor
2009 — conf
Brief Encounters with a Random Key Graph.
Security Protocols Workshop
Virgil D. Gligor, Adrian Perrig, Jun Zhao
2009 — conf
Privacy-Preserving Integrity-Assured Data Aggregation in Sensor Networks.
CSE (3)
Gelareh Taban, Virgil D. Gligor
2009 B conf
Privacy-Preserving Relationship Path Discovery in Social Networks.
CANS
Ghita Mezzour, Adrian Perrig, Virgil D. Gligor, Panos Papadimitratos
2009 J jnl
Secure wireless networking.
J. Commun. Networks
Adrian Perrig, Wade Trappe, Virgil D. Gligor, Radha Poovendran, Heejo Lee
2008 A* conf
A New Privacy-Enhanced Matchmaking Protocol.
NDSS
Ji Sun Shin, Virgil D. Gligor
2008 A conf
Efficient Handling of Adversary Attacks in Aggregation Applications.
ESORICS
Gelareh Taban, Virgil D. Gligor
2008 — conf
Handling New Adversaries in Wireless Ad-Hoc Networks (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2008 — conf
Handling New Adversaries in Wireless Ad-Hoc Networks.
Security Protocols Workshop
S. Farshad Bahari, Virgil D. Gligor
2008 A* conf
On Data-Centric Trust Establishment in Ephemeral Ad Hoc Networks.
INFOCOM
Maxim Raya, Panagiotis Papadimitratos, Virgil D. Gligor, Jean-Pierre Hubaux
2008 B conf
Position Statement: On the Evolution of Adversary Models in Computer Systems and Networks.
COMPSAC
Virgil D. Gligor
2008 A ed.
Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008
AsiaCCS
Masayuki Abe, Virgil D. Gligor
2008 — ed.
Proceedings of the First ACM Conference on Wireless Network Security, WISEC 2008, Alexandria, VA, USA, March 31 - April 02, 2008
WISEC
Virgil D. Gligor, Jean-Pierre Hubaux, Radha Poovendran
2008 — ch.
Surviving Insider Attacks: A Call for System Experiments.
Insider Attack and Cyber Security
Virgil D. Gligor, C. Sekar Chandersekaran
2007 J jnl
Guest Editorial Vehicular Networks.
IEEE J. Sel. Areas Commun.
Farooq Anjum, Sunghyun Choi, Virgil D. Gligor, Ralf Guido Herrtwich, Jean-Pierre Hubaux, P. R. Kumar, Rajeev Shorey, Chin-Tau Lea
2007 — conf
MiniSec: a secure sensor network communication architecture.
IPSN
Mark Luk, Ghita Mezzour, Adrian Perrig, Virgil D. Gligor
2007 A conf
On the evolution of adversary models in security protocols: from the beginning to sensor networks.
AsiaCCS
Virgil D. Gligor
2007 — ed.
Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007
FMSE
Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel
2006 A conf
Emergent properties in ad-hoc networks: a security perspective.
AsiaCCS
Virgil D. Gligor
2006 J jnl
Information Assurance Technology Forecast 2005.
IEEE Secur. Priv.
Virgil D. Gligor, Thomas Haigh, Dick Kemmerer, Carl E. Landwehr, Steven B. Lipner, John D. McLean
2006 — ed.
Security and Privacy in Ad-Hoc and Sensor Networks, Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers
ESAS
Levente Buttyán, Virgil D. Gligor, Dirk Westhoff
2006 — conf
Towards a secure and interoperable DRM architecture.
Digital Rights Management Workshop
Gelareh Taban, Alvaro A. Cárdenas, Virgil D. Gligor
2005 — conf
Administering Access Control in Dynamic Coalitions.
LISA
Rakeshbabu Bobba, Serban I. Gavrila, Virgil D. Gligor, Himanshu Khurana, Radostina K. Koleva
2005 — conf
Advances in sensor and ad-hoc network security: perspective and status.
SASN
Virgil D. Gligor
2005 — conf
Distributed Detection of Node Replication Attacks in Sensor Networks.
S&P
Bryan Parno, Adrian Perrig, Virgil D. Gligor
2005 — conf
Emergent properties in ad-hoc networks: a security perspective.
Workshop on Wireless Security
Virgil D. Gligor
2005 — conf
Keynote: On the Security of Emergent Properties in Traditional and Ad-Hoc Networks.
MADNES
Virgil D. Gligor
2005 J jnl
On the Distribution and Revocation of Cryptographic Keys in Sensor Networks.
IEEE Trans. Dependable Secur. Comput.
Haowen Chan, Virgil D. Gligor, Adrian Perrig, Gautam Muralidharan
2005 — conf
On the Evolution of Adversary Models in Security Protocols (or Know Your Friend and Foe Alike).
Security Protocols Workshop
Virgil D. Gligor
2005 — conf
Panel: Authentication in Constrained Environments.
MADNES
Mike Burmester, Virgil D. Gligor, Evangelos Kranakis, J. D. Tygar, Yuliang Zheng
2005 B conf
Two-Server Password-Only Authenticated Key Exchange.
ACNS
Jonathan Katz, Philip D. MacKenzie, Gelareh Taban, Virgil D. Gligor
2004 C conf
A Model for Access Negotiations in Dynamic Coalitions.
WETICE
Himanshu Khurana, Virgil D. Gligor
2004 — conf
Security of Emergent Properties in Ad-Hoc Networks (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2003 B conf
Bootstrapping security associations for routing in mobile ad-hoc networks.
GLOBECOM
Rakeshbabu Bobba, Laurent Eschenauer, Virgil D. Gligor, William A. Arbaugh
2003 — conf
Guaranteeing Access in Spite of Distributed Service-Flooding Attacks (Discussion).
Security Protocols Workshop
Virgil D. Gligor
2003 — conf
Guaranteeing Access in Spite of Distributed Service-Flooding Attacks.
Security Protocols Workshop
Virgil D. Gligor
2003 — conf
Integrated Security Services for Dynamic Coalitions.
DISCEX (2)
Himanshu Khurana, Serban I. Gavrila, Rakeshbabu Bobba, Radostina K. Koleva, Anuja Sonalker, Emilian Dinu, Virgil D. Gligor, John S. Baras
2003 A* conf
Weak Key Authenticity and the Computational Completeness of Formal Encryption.
CRYPTO
Omer Horvitz, Virgil D. Gligor
2002 A* conf
A key-management scheme for distributed sensor networks.
CCS
Laurent Eschenauer, Virgil D. Gligor
2002 C ed.
Information Security, 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 - October 2, 2002, Proceedings
ISC
Agnes Hui Chan, Virgil D. Gligor
2002 — conf
On Trust Establishment in Mobile Ad-Hoc Networks.
Security Protocols Workshop
Laurent Eschenauer, Virgil D. Gligor, John S. Baras
2002 A conf
Reasoning about Joint Administration of Access Policies for Coalition Resources.
ICDCS
Himanshu Khurana, Virgil D. Gligor, John Linn
2001 A* conf
Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes.
FSE
Virgil D. Gligor, Pompiliu Donescu
2001 — conf
Negotiation of Access Control Policies (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2001 — conf
Non-Interference: Who Needs It?
CSFW
Peter Y. A. Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor
2001 — conf
On the Negotiation of Access Control Policies.
Security Protocols Workshop
Virgil D. Gligor, Himanshu Khurana, Radostina K. Koleva, Vijay G. Bharadwaj, John S. Baras
2000 — conf
Denial of Service - Panel Discussion.
Security Protocols Workshop
Virgil D. Gligor, Matt Blaze, John Ioannidis
2000 — conf
Review and Revocation of Access Privileges Distributed with PKI Certificates (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
2000 — conf
Review and Revocation of Access Privileges Distributed with PKI Certificates.
Security Protocols Workshop
Himanshu Khurana, Virgil D. Gligor
2000 — conf
SubDomain: Parsimonious Server Security.
LISA
Crispin Cowan, Steve Beattie, Greg Kroah-Hartman, Calton Pu, Perry Wagle, Virgil D. Gligor
1999 — conf
20 Years of Operating Systems Security.
S&P
Virgil D. Gligor
1999 — conf
Integrity-Aware PCBC Encryption Schemes.
Security Protocols Workshop
Virgil D. Gligor, Pompiliu Donescu
1998 — conf
Application-Oriented Security Policies and Their Composition (Position Paper).
Security Protocols Workshop
Virgil D. Gligor, Serban I. Gavrila
1998 — conf
Application-Oriented Security Policies and Their Composition (Transcript of Discussion).
Security Protocols Workshop
Virgil D. Gligor
1998 — conf
Discussion Session: Differences Between Academic and Commercial Security.
Security Protocols Workshop
Virgil D. Gligor, Peter Landrock, T. Mark A. Lomas, Raphael Yahalom, John P. Warne
1998 — conf
On the Formal Definition of Separation-of-Duty Policies and their Composition.
S&P
Virgil D. Gligor, Serban I. Gavrila, David F. Ferraiolo
1998 — conf
Panel Session - Future Directions.
Security Protocols Workshop
Roger M. Needham, E. Stewart Lee, Joan Feigenbaum, Virgil D. Gligor, Bruce Christianson
1997 J jnl
On a Pattern-Oriented Model for Intrusion Detection.
IEEE Trans. Knowl. Data Eng.
Shiuh-Pyng Shieh, Virgil D. Gligor
1996 J jnl
Detecting Illicit Leakage of Information in Operating Systems.
J. Comput. Secur.
Shiuh-Pyng Shieh, Virgil D. Gligor
1995 — conf
Characteristics of role-based access control.
ACM Workshop on Role-Based Access Control
Virgil D. Gligor
1993 J jnl
On Inter-Realm Authentication in Large Distributed Systems.
J. Comput. Secur.
Virgil D. Gligor, Shyh-Wei Luan, Joseph N. Pato
1993 — conf
Protocol design for integrity protection.
S&P
Stuart G. Stubblebine, Virgil D. Gligor
1992 A conf
Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code.
ESORICS
Jingsha He, Virgil D. Gligor
1992 — conf
On inter-realm authentication in large distributed systems.
S&P
Virgil D. Gligor, Shyh-Wei Luan, Joseph N. Pato
1992 — conf
On message integrity in cryptographic protocols.
S&P
Stuart G. Stubblebine, Virgil D. Gligor
1992 J jnl
Towards a Theory of Penetration-Resistant Systems and its Applications.
J. Comput. Secur.
Sarbari Gupta, Virgil D. Gligor
1992 A conf
Trusted RUBIX architecture and policy model interpretation.
ACSAC
C. J. Testa, B. D. Wilner, Virgil D. Gligor
1991 — conf
A Pattern-Oriented Intrusion-Detection Model and Its Applications.
S&P
Shiuh-Pyng Shieh, Virgil D. Gligor
1991 — conf
Logics for Cryptographic Protocols - Virtues and Limitations.
CSFW
Virgil D. Gligor, Rajashekar Kailar, Stuart G. Stubblebine, Li Gong
1991 — conf
On Belief Evolution in Authentication Protocols.
CSFW
Rajashekar Kailar, Virgil D. Gligor
1991 — conf
Towards a Theory of Penetration-Resistant Systems and its Applications.
CSFW
Sarbari Gupta, Virgil D. Gligor
1990 J jnl
A Fault-Tolerant Protocol for Atomic Broadcast.
IEEE Trans. Parallel Distributed Syst.
Shyh-Wei Luan, Virgil D. Gligor
1990 J jnl
A Specification and Verification Method for Preventing Denial of Service.
IEEE Trans. Software Eng.
Che-Fn Yu, Virgil D. Gligor
1990 — conf
Auditing the Use of Covert Storage Channels in Secure Systems.
S&P
Shiuh-Pyng Shieh, Virgil D. Gligor
1990 — conf
Information-Flow Analysis for Covert-Channel Identification in Multilevel Secure Operating Systems.
CSFW
Jingsha He, Virgil D. Gligor
1990 A conf
On Replay Detection in Distributed Systems.
ICDCS
Shyh-Wei Luan, Virgil D. Gligor
1990 — conf
On the Formal Specification and Verification of a Multiparty Session Protocol.
S&P
Pau-Chen Cheng, Virgil D. Gligor
1990 J jnl
On the Identification of Covert Storage Channels in Secure Systems.
IEEE Trans. Software Eng.
Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran
1988 B conf
A Fault-Tolerant Protocol for Atomic Broadcast.
SRDS
Shyh-Wei Luan, Virgil D. Gligor
1988 — conf
A bandwidth computation model for covert storage channels and its applications.
S&P
Chii-Ren Tsai, Virgil D. Gligor
1988 — conf
A formal specification and verification method for the prevention of denial of service.
S&P
Che-Fu Yu, Virgil D. Gligor
1987 A conf
A Comparative Analysis of Multiprocessor Scheduling Algorithms.
ICDCS
Shau-Ping Lo, Virgil D. Gligor
1987 — conf
A Formal Method for the Identification of Covert Storage Channels in Source Code.
S&P
Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran
1987 J jnl
A New Security Testing Method and Its Application to the Secure Xenix Kernel.
IEEE Trans. Software Eng.
Virgil D. Gligor, C. Sekar Chandersekaran, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, L. Edward Reich
1987 J jnl
Design and Implementation of Secure Xenix.
IEEE Trans. Software Eng.
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
1987 B conf
Properties of Multiprocessor Scheduling Algorithms.
ICPP
Shau-Ping Lo, Virgil D. Gligor
1986 — conf
A New Security Testing Method and Its Application to the Secure Xenix Kernel.
S&P
Virgil D. Gligor, C. Sekar Chandersekaran, W. Cheng, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, L. Edward Reich
1986 A* conf
On Denial-of-Service in Computer Networks.
ICDE
Virgil D. Gligor
1986 — conf
On the Design and the Implementation of Secure Xenix Workstations.
S&P
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 J jnl
Transaction management in distributed heterogeneous database management systems.
Inf. Syst.
Virgil D. Gligor, Radu Popescu-Zeletin
1985 — conf
Analysis of the Hardware Verification of the Honeywell SCOMP.
S&P
Virgil D. Gligor
1985 J jnl
Foreword.
IEEE Trans. Software Eng.
Virgil D. Gligor, Peter A. Ng
1984 J jnl
A Note on Denial-of-Service in Operating Systems.
IEEE Trans. Software Eng.
Virgil D. Gligor
1984 — conf
Concurrency Control Issues in Distributed Heterogeneous Database Management Systems.
DDSS
Virgil D. Gligor, Radu Popescu-Zeletin
1984 J jnl
Inteconnecting Heterogeneous Database Management Systems.
Computer
Virgil D. Gligor, Gary L. Luckenbaugh
1983 — conf
A Note on the Denial-of-Service Problem.
S&P
Virgil D. Gligor
1983 J jnl
The verification of the protection mechanisms of high-level language machines.
Int. J. Parallel Program.
Virgil D. Gligor
1982 J jnl
Finding Augmented-Set Bases.
SIAM J. Comput.
Virgil D. Gligor, David Maier
1980 J jnl
On Deadlock Detection in Distributed Systems.
IEEE Trans. Software Eng.
Virgil D. Gligor, Susan H. Shattuck
1979 A* conf
Architectural Implementations of Abstract Data Type Implementation.
ISCA
Virgil D. Gligor
1979 J jnl
Object Migration and Authentication.
IEEE Trans. Software Eng.
Virgil D. Gligor, Bruce G. Lindsay
1979 J jnl
Review and Revocation of Access Privileges Distributed Through Capabilities.
IEEE Trans. Software Eng.
Virgil D. Gligor
1978 — conf
Representing Data Bases in Segmented Name Spaces.
JCDKB
Virgil D. Gligor, David Maier