Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Virgil D. Gligor
2010 – today
- 2013
[c88]Hsu-Chun Hsiao, Tiffany Hyun-Jin Kim, Sangjae Yoo, Xin Zhang, Soo Bum Lee, Virgil D. Gligor, Adrian Perrig: STRIDE: sanctuary trail - refuge from internet DDoS entrapment. ASIACCS 2013: 415-426- [c87]Zongwei Zhou, Jun Han, Yue-Hsun Lin, Adrian Perrig, Virgil D. Gligor: KISS: "Key It Simple and Secure" Corporate Key Management. TRUST 2013: 1-18
- [c86]Tiffany Hyun-Jin Kim, Lin-Shung Huang, Adrian Perrig, Collin Jackson, Virgil D. Gligor: Accountable key infrastructure (AKI): a proposal for a public-key validation infrastructure. WWW 2013: 679-690
- 2012
- [j23]Jonathan Katz, Philip D. MacKenzie, Gelareh Taban, Virgil D. Gligor: Two-server password-only authenticated key exchange. J. Comput. Syst. Sci. 78(2): 651-669 (2012)
- [c85]Virgil D. Gligor: On the foundations of trust in networks of humans and computers. ACM Conference on Computer and Communications Security 2012: 1
- [c84]Chang-Han Jong, Virgil D. Gligor: Discovering records of private VoIP calls without wiretapping. ASIACCS 2012: 67-68
- [c83]Zongwei Zhou, Virgil D. Gligor, James Newsome, Jonathan M. McCune: Building Verifiable Trusted Path on Commodity x86 Computers. IEEE Symposium on Security and Privacy 2012: 616-630
- [c82]Tiffany Hyun-Jin Kim, Virgil D. Gligor, Adrian Perrig: Street-Level Trust Semantics for Attribute Authentication. Security Protocols Workshop 2012: 96-115
- [c81]Virgil D. Gligor: Street-Level Trust Semantics for Attribute Authentication (Transcript of Discussion). Security Protocols Workshop 2012: 116-125
- [c80]Amit Vasudevan, Bryan Parno, Ning Qu, Virgil D. Gligor, Adrian Perrig: Lockdown: Towards a Safe and Practical Architecture for Security Applications on Commodity Platforms. TRUST 2012: 34-54
- [c79]Chang-Han Jong, Virgil D. Gligor: Private communication detection: a stochastic approach. WISEC 2012: 75-86
- [e6]Ting Yu, George Danezis, Virgil D. Gligor (Eds.): the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012. ACM 2012, ISBN 978-1-4503-1651-4
- [i2]Osman Yagan, Virgil D. Gligor: Analysis of complex contagions in random multiplex networks. CoRR abs/1204.0491 (2012)
- [i1]Jun Zhao, Osman Yagan, Virgil D. Gligor: k-Connectivity in Secure Wireless Sensor Networks with Physical Link Constraints - The On/Off Channel Model. CoRR abs/1206.1531 (2012)
- 2011
- [c78]Tiffany Hyun-Jin Kim, Virgil D. Gligor, Adrian Perrig: A Picture is Worth a Thousand Words: Improving Usability and Robustness of Online Recommendation Systems. ICCCN 2011: 1-6
- [c77]Xin Zhang, Zongwei Zhou, Geoffrey Hasker, Adrian Perrig, Virgil D. Gligor: Network fault localization with small TCB. ICNP 2011: 143-154
- [c76]Virgil D. Gligor, Jeannette M. Wing: Towards a Theory of Trust in Networks of Humans and Computers. Security Protocols Workshop 2011: 223-242
- [c75]Virgil D. Gligor: Towards a Theory of Trust in Networks of Humans and Computers (Transcript of Discussion). Security Protocols Workshop 2011: 243-257
- 2010
- [j22]
- [c74]Soo Bum Lee, Virgil D. Gligor, Adrian Perrig: Dependable connection setup for network capabilities. DSN 2010: 301-310
- [c73]Soo Bum Lee, Virgil D. Gligor: FLoc : Dependable Link Access for Legitimate Traffic in Flooding Attacks. ICDCS 2010: 327-338
- [c72]
- [c71]Jonathan M. McCune, Yanlin Li, Ning Qu, Zongwei Zhou, Anupam Datta, Virgil D. Gligor, Adrian Perrig: TrustVisor: Efficient TCB Reduction and Attestation. IEEE Symposium on Security and Privacy 2010: 143-158
2000 – 2009
- 2009
- [c70]Ghita Mezzour, Adrian Perrig, Virgil D. Gligor, Panos Papadimitratos: Privacy-Preserving Relationship Path Discovery in Social Networks. CANS 2009: 189-208
- [c69]Gelareh Taban, Virgil D. Gligor: Privacy-Preserving Integrity-Assured Data Aggregation in Sensor Networks. CSE (3) 2009: 168-175
- [c68]Virgil D. Gligor, Adrian Perrig, Jun Zhao: Brief Encounters with a Random Key Graph. Security Protocols Workshop 2009: 157-161
- [c67]Virgil D. Gligor: Brief Encounters with a Random Key Graph. Security Protocols Workshop 2009: 162-170
- 2008
- [c66]Virgil D. Gligor: Position Statement: On the Evolution of Adversary Models in Computer Systems and Networks. COMPSAC 2008: 10
- [c65]Gelareh Taban, Virgil D. Gligor: Efficient Handling of Adversary Attacks in Aggregation Applications. ESORICS 2008: 66-81
- [c64]Maxim Raya, Panagiotis Papadimitratos, Virgil D. Gligor, Jean-Pierre Hubaux: On Data-Centric Trust Establishment in Ephemeral Ad Hoc Networks. INFOCOM 2008: 1238-1246
- [c63]
- [c62]S. Farshad Bahari, Virgil D. Gligor: Handling New Adversaries in Wireless Ad-Hoc Networks. Security Protocols Workshop 2008: 118-119
- [c61]Virgil D. Gligor: Handling New Adversaries in Wireless Ad-Hoc Networks (Transcript of Discussion). Security Protocols Workshop 2008: 120-125
- [p1]Virgil D. Gligor, C. Sekar Chandersekaran: Surviving Insider Attacks: A Call for System Experiments. Insider Attack and Cyber Security 2008: 153-164
- [e5]Masayuki Abe, Virgil D. Gligor (Eds.): Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008. ACM 2008, ISBN 978-1-59593-979-1
- [e4]Virgil D. Gligor, Jean-Pierre Hubaux, Radha Poovendran (Eds.): Proceedings of the First ACM Conference on Wireless Network Security, WISEC 2008, Alexandria, VA, USA, March 31 - April 02, 2008. ACM 2008, ISBN 978-1-59593-814-5
- 2007
- [j21]Farooq Anjum, S. Choi, Virgil D. Gligor, Ralf Guido Herrtwich, Jean-Pierre Hubaux, P. R. Kumar, Rajeev Shorey, Chin-Tau Lea: Guest Editorial Vehicular Networks. IEEE Journal on Selected Areas in Communications 25(8): 1497-1500 (2007)
- [c60]Virgil D. Gligor: On the evolution of adversary models in security protocols: from the beginning to sensor networks. ASIACCS 2007: 3
- [c59]Mark Luk, Ghita Mezzour, Adrian Perrig, Virgil D. Gligor: MiniSec: a secure sensor network communication architecture. IPSN 2007: 479-488
- [e3]Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel (Eds.): Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007. ACM 2007, ISBN 978-1-59593-887-9
- 2006
- [j20]Virgil D. Gligor, Thomas Haigh, Dick Kemmerer, Carl E. Landwehr, Steven B. Lipner, John D. McLean: Information Assurance Technology Forecast 2005. IEEE Security & Privacy 4(1): 62-69 (2006)
- [c58]
- [c57]Gelareh Taban, Alvaro A. Cárdenas, Virgil D. Gligor: Towards a secure and interoperable DRM architecture. Digital Rights Management Workshop 2006: 69-78
- [e2]Levente Buttyán, Virgil D. Gligor, Dirk Westhoff (Eds.): Security and Privacy in Ad-Hoc and Sensor Networks, Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4357, Springer 2006, ISBN 978-3-540-69172-3
- 2005
- [j19]Haowen Chan, Virgil D. Gligor, Adrian Perrig, Gautam Muralidharan: On the Distribution and Revocation of Cryptographic Keys in Sensor Networks. IEEE Trans. Dependable Sec. Comput. 2(3): 233-247 (2005)
- [c56]Jonathan Katz, Philip D. MacKenzie, Gelareh Taban, Virgil D. Gligor: Two-Server Password-Only Authenticated Key Exchange. ACNS 2005: 1-16
- [c55]Rakeshbabu Bobba, Serban I. Gavrila, Virgil D. Gligor, Himanshu Khurana, Radostina K. Koleva: Administering Access Control in Dynamic Coalitions. LISA 2005: 249-261
- [c54]Virgil D. Gligor: Keynote: On the Security of Emergent Properties in Traditional and Ad-Hoc Networks. MADNES 2005: 1
- [c53]Mike Burmester, Virgil D. Gligor, Evangelos Kranakis, J. D. Tygar, Yuliang Zheng: Panel: Authentication in Constrained Environments. MADNES 2005: 186-191
- [c52]Virgil D. Gligor: Advances in sensor and ad-hoc network security: perspective and status. SASN 2005: 68
- [c51]Bryan Parno, Adrian Perrig, Virgil D. Gligor: Distributed Detection of Node Replication Attacks in Sensor Networks. IEEE Symposium on Security and Privacy 2005: 49-63
- [c50]Virgil D. Gligor: On the Evolution of Adversary Models in Security Protocols (or Know Your Friend and Foe Alike). Security Protocols Workshop 2005: 276-283
- [c49]Virgil D. Gligor: Emergent properties in ad-hoc networks: a security perspective. Workshop on Wireless Security 2005: 55
- 2004
- [c48]Virgil D. Gligor: Security of Emergent Properties in Ad-Hoc Networks (Transcript of Discussion). Security Protocols Workshop 2004: 256-266
- [c47]Himanshu Khurana, Virgil D. Gligor: A Model for Access Negotiations in Dynamic Coalitions. WETICE 2004: 205-210
- 2003
- [c46]Omer Horvitz, Virgil D. Gligor: Weak Key Authenticity and the Computational Completeness of Formal Encryption. CRYPTO 2003: 530-547
- [c45]Himanshu Khurana, Serban I. Gavrila, Rakeshbabu Bobba, Radostina K. Koleva, Anuja Sonalker, Emilian Dinu, Virgil D. Gligor, John S. Baras: Integrated Security Services for Dynamic Coalitions. DISCEX (2) 2003: 38-40
- [c44]Rakeshbabu Bobba, Laurent Eschenauer, Virgil D. Gligor, William A. Arbaugh: Bootstrapping security associations for routing in mobile ad-hoc networks. GLOBECOM 2003: 1511-1515
- [c43]Virgil D. Gligor: Guaranteeing Access in Spite of Distributed Service-Flooding Attacks. Security Protocols Workshop 2003: 80-96
- [c42]Virgil D. Gligor: Guaranteeing Access in Spite of Distributed Service-Flooding Attacks (Discussion). Security Protocols Workshop 2003: 97-105
- 2002
- [c41]Laurent Eschenauer, Virgil D. Gligor: A key-management scheme for distributed sensor networks. ACM Conference on Computer and Communications Security 2002: 41-47
- [c40]Himanshu Khurana, Virgil D. Gligor, John Linn: Reasoning about Joint Administration of Access Policies for Coalition Resources. ICDCS 2002: 429-
- [c39]Laurent Eschenauer, Virgil D. Gligor, John S. Baras: On Trust Establishment in Mobile Ad-Hoc Networks. Security Protocols Workshop 2002: 47-66
- [e1]Agnes Hui Chan, Virgil D. Gligor (Eds.): Information Security, 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 - October 2, 2002, Proceedings. Lecture Notes in Computer Science 2433, Springer 2002, ISBN 3-540-44270-7
- 2001
- [c38]Peter Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor: Non-Interference: Who Needs It? CSFW 2001: 237-
- [c37]Virgil D. Gligor, Pompiliu Donescu: Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes. FSE 2001: 92-108
- [c36]Virgil D. Gligor, Himanshu Khurana, Radostina K. Koleva, Vijay G. Bharadwaj, John S. Baras: On the Negotiation of Access Control Policies. Security Protocols Workshop 2001: 188-201
- [c35]Virgil D. Gligor: Negotiation of Access Control Policies (Transcript of Discussion). Security Protocols Workshop 2001: 202-212
- 2000
- [c34]Crispin Cowan, Steve Beattie, Greg Kroah-Hartman, Calton Pu, Perry Wagle, Virgil D. Gligor: SubDomain: Parsimonious Server Security. LISA 2000: 355-368
- [c33]Himanshu Khurana, Virgil D. Gligor: Review and Revocation of Access Privileges Distributed with PKI Certificates. Security Protocols Workshop 2000: 100-112
- [c32]Virgil D. Gligor: Review and Revocation of Access Privileges Distributed with PKI Certificates (Transcript of Discussion). Security Protocols Workshop 2000: 113-124
- [c31]Virgil D. Gligor, Matt Blaze, John Ioannidis: Denial of Service - Panel Discussion. Security Protocols Workshop 2000: 194-203
1990 – 1999
- 1999
- [c30]Virgil D. Gligor: 20 Years of Operating Systems Security. IEEE Symposium on Security and Privacy 1999: 108-110
- [c29]Virgil D. Gligor, Pompiliu Donescu: Integrity-Aware PCBC Encryption Schemes. Security Protocols Workshop 1999: 153-171
- 1998
- [c28]Virgil D. Gligor, Serban I. Gavrila, David F. Ferraiolo: On the Formal Definition of Separation-of-Duty Policies and their Composition. IEEE Symposium on Security and Privacy 1998: 172-183
- [c27]Virgil D. Gligor, Serban I. Gavrila: Application-Oriented Security Policies and Their Composition (Position Paper). Security Protocols Workshop 1998: 67-74
- [c26]Virgil D. Gligor: Application-Oriented Security Policies and Their Composition (Transcript of Discussion). Security Protocols Workshop 1998: 75-82
- [c25]Virgil D. Gligor, Peter Landrock, T. Mark A. Lomas, Raphael Yahalom, John P. Warne: Discussion Session: Differences Between Academic and Commercial Security. Security Protocols Workshop 1998: 177-192
- [c24]Roger M. Needham, E. Stewart Lee, Joan Feigenbaum, Virgil D. Gligor, Bruce Christianson: Panel Session - Future Directions. Security Protocols Workshop 1998: 227-239
- 1997
- [j18]Shiuh-Pyng Shieh, Virgil D. Gligor: On a Pattern-Oriented Model for Intrusion Detection. IEEE Trans. Knowl. Data Eng. 9(4): 661-667 (1997)
- 1996
- [j17]Shiuh-Pyng Shieh, Virgil D. Gligor: Detecting Illicit Leakage of Information in Operating Systems. Journal of Computer Security 4(2/3): 123-148 (1996)
- 1995
- [c23]Virgil D. Gligor: Characteristics of role-based access control. ACM Workshop on Role-Based Access Control 1995
- 1993
- [j16]Virgil D. Gligor, Shyh-Wei Luan, Joe Pato: On Inter-Realm Authentication in Large Distributed Systems. Journal of Computer Security 2(2-3): 137-158 (1993)
- 1992
- [j15]Sarbari Gupta, Virgil D. Gligor: Towards a Theory of Penetration-Resistant Systems and its Applications. Journal of Computer Security 1(2): 133-158 (1992)
- [c22]Jingsha He, Virgil D. Gligor: Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code. ESORICS 1992: 57-76
- 1991
- [c21]Sarbari Gupta, Virgil D. Gligor: Towards a Theory of Penetration-Resistant Systems and its Applications. CSFW 1991: 62-78
- [c20]Rajashekar Kailar, Virgil D. Gligor: On Belief Evolution in Authentication Protocols. CSFW 1991: 103-116
- [c19]Virgil D. Gligor, Rajashekar Kailar, Stuart G. Stubblebine, Li Gong: Logics for Cryptographic Protocols - Virtues and Limitations. CSFW 1991: 219-226
- [c18]Shiuh-Pyng Shieh, Virgil D. Gligor: A Pattern-Oriented Intrusion-Detection Model and Its Applications. IEEE Symposium on Security and Privacy 1991: 327-342
- 1990
- [j14]Shyh-Wei Luan, Virgil D. Gligor: A Fault-Tolerant Protocol for Atomic Broadcast. IEEE Trans. Parallel Distrib. Syst. 1(3): 271-285 (1990)
- [j13]Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran: On the Identification of Covert Storage Channels in Secure Systems. IEEE Trans. Software Eng. 16(6): 569-580 (1990)
- [j12]Che-Fn Yu, Virgil D. Gligor: A Specification and Verification Method for Preventing Denial of Service. IEEE Trans. Software Eng. 16(6): 581-592 (1990)
- [c17]Jingsha He, Virgil D. Gligor: Information-Flow Analysis for Covert-Channel Identification in Multilevel Secure Operating Systems. CSFW 1990: 139-149
- [c16]
- [c15]P.-C. Cheng, Virgil D. Gligor: On the Formal Specification and Verification of a Multiparty Session Protocol. IEEE Symposium on Security and Privacy 1990: 216-233
- [c14]Shiuh-Pyng Shieh, Virgil D. Gligor: Auditing the Use of Covert Storage Channels in Secure Systems. IEEE Symposium on Security and Privacy 1990: 285-295
1980 – 1989
- 1988
- [c13]Chii-Ren Tsai, Virgil D. Gligor: A bandwidth computation model for covert storage channels and its applications. IEEE Symposium on Security and Privacy 1988: 108-121
- [c12]Che-Fu Yu, Virgil D. Gligor: A formal specification and verification method for the prevention of denial of service. IEEE Symposium on Security and Privacy 1988: 187-202
- [c11]
- 1987
- [j11]Virgil D. Gligor, C. Sekar Chandersekaran, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, L. Edward Reich: A New Security Testing Method and Its Application to the Secure Xenix Kernel. IEEE Trans. Software Eng. 13(2): 169-183 (1987)
- [j10]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: Design and Implementation of Secure Xenix. IEEE Trans. Software Eng. 13(2): 208-221 (1987)
- [c10]Shau-Ping Lo, Virgil D. Gligor: A Comparative Analysis of Multiprocessor Scheduling Algorithms. ICDCS 1987: 356-363
- [c9]Shau-Ping Lo, Virgil D. Gligor: Properties of Multiprocessor Scheduling Algorithms. ICPP 1987: 867-870
- [c8]Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran: A Formal Method for the Identification of Covert Storage Channels in Source Code. IEEE Symposium on Security and Privacy 1987: 74-87
- 1986
- [j9]Virgil D. Gligor, Radu Popescu-Zeletin: Transaction management in distributed heterogeneous database management systems. Inf. Syst. 11(4): 287-297 (1986)
- [c7]
- [c6]Virgil D. Gligor, C. Sekar Chandersekaran, W. Cheng, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, L. Edward Reich: A New Security Testing Method and Its Application to the Secure Xenix Kernel. IEEE Symposium on Security and Privacy 1986: 40-59
- [c5]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: On the Design and the Implementation of Secure Xenix Workstations. IEEE Symposium on Security and Privacy 1986: 102-117
- 1985
- [j8]
- 1984
- [j7]Virgil D. Gligor, Gary L. Luckenbaugh: Inteconnecting Heterogeneous Database Management Systems. IEEE Computer 17(1): 33-43 (1984)
- [j6]Virgil D. Gligor: A Note on Denial-of-Service in Operating Systems. IEEE Trans. Software Eng. 10(3): 320-324 (1984)
- [c4]Virgil D. Gligor, Radu Popescu-Zeletin: Concurrency Control Issues in Distributed Heterogeneous Database Management Systems. DDSS 1984: 43-56
- 1983
- [j5]Virgil D. Gligor: The verification of the protection mechanisms of high-level language machines. International Journal of Parallel Programming 12(4): 211-246 (1983)
- [c3]Virgil D. Gligor: A Note on the Denial-of-Service Problem. IEEE Symposium on Security and Privacy 1983: 139-149
- 1982
- [j4]
- 1980
- [j3]Virgil D. Gligor, Susan H. Shattuck: On Deadlock Detection in Distributed Systems. IEEE Trans. Software Eng. 6(5): 435-440 (1980)
1970 – 1979
- 1979
- [j2]Virgil D. Gligor: Review and Revocation of Access Privileges Distributed Through Capabilities. IEEE Trans. Software Eng. 5(6): 575-586 (1979)
- [j1]Virgil D. Gligor, Bruce G. Lindsay: Object Migration and Authentication. IEEE Trans. Software Eng. 5(6): 607-611 (1979)
- [c2]Virgil D. Gligor: Architectural Implementations of Abstract Data Type Implementation. ISCA 1979: 20-30
- 1978
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-13 23:08 CEST by the dblp team