Virgil Dorin Gligor (born July 30, 1949) is a Romanian-American professor of electrical and computer engineering who specializes in the research of network security and applied cryptography.
[1] He was a visiting professor at University of Cambridge, UK, ETH Zurich and EPF Lausanne in Switzerland, SMU in Singapore, and a long-time consultant to Burroughs and IBM corporations.
[2][3] In particular, he initiated the area of protection-mechanism verification of complex instruction set architectures[4] and processor security testing.
[5] In the early 1980s, Gligor provided the first precise definition of the denial-of-service (DoS) problem in operating systems[6] and extended it to network protocols[7] thus helping establish availability as a first-class security concern.
He is a co-inventor of the first efficient authenticated-encryption scheme in one pass over the data[20] [21] and random-key pre-distribution in large sensor networks.
[28] Most recently, Gligor co-authored the first I/O separation model for formal verification of kernels implementations.
[33] In 2019 he was inducted in the National Cybersecurity Hall of Fame,[34][35][circular reference] and in 2020, together with B.Parno and A. Perrig, he received a Test of Time Award from the IEEE Security an Privacy Symposium for their 2005 work on distributed detection of node replication attacks in sensor networks.