Virgil Gligor: Security of Commodity Systems & Networks
Virgil D. Gligor receives 2013 IEEE Computer Society Technical Achievement Award
Virgil Gligor - Determining an Economic Value of High Assurance for Commodity Software Security
Virgil Gligor - Dancing with the Adversary
Virgil Gligor - Part II - Axioms (continued), (Ir)relevance of Virtualization to Humans
Virgil Gligor - Part III - (Ir)relevance of Security Kernels to Assurance, Conclusions
Virgil Gligor "Determining an economic value of high assurance for commodity software security"
Virgil Gligor - Part I - Axioms of (In)Security and Human-Usable Security
Speaker: Virgil Gligor
What’s Necessary to Establish Malware Freedom Unconditionally?
The Fragility of Adversary Definitions in Cryptographic Protocols
Dean's Panel: Cyber Security (full length)
Alianta Conversations Cyber attacks from the East: Are the rascals outsmarting the sheriffs?
2006-04-26 CERIAS - On the Evolution of Adversary Models for Security Protocols - from the Beginn...
Establishing software root of trust unconditionally — Research Saturday
GLIGOR TASHKOVIC (SIGEF 2014 Interviews)
CERIAS Security: On the Evolution of Adversary Models for Security Protocols 5/6
IEEE Security and Privacy Test-of-Time Awards (1995-2006)
CERIAS Security: On the Evolution of Adversary Models for Security Protocols 1/6
CERIAS Security: On the Evolution of Adversary Models for Security Protocols 2/6
