Faculty

Institution

Unit

Venue

Virgil Gligor

Professor Electrical and Computer Engineering Co-Director Cylab

Carnegie Mellon University

Affiliations

College of Engineering

Electrical & Computer Engineering

Virgil Gligor is currently serving as a College Of Engineering Professor Electrical and Computer Engineering Co-Director Cylab at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Virgil Gligor

Carnegie Mellon University

Professor Electrical and Computer Engineering Co-Director Cylab

You can click a keyword to filter the displayed items

computer science information security computer security communication security data security cryptography systems engineering cryptographic hardware computer engineering network security data privacy networked system design communication distributed systems secure protocols trust wireless communications wireless security graph theory secure communication network science information technology software engineering secure computing trustworthy computing formal methods network theory denial-of-service attacks trust management architecture probabilistic graph theory random graphs access control computational trust cybernetics mobile computing key management trust management software security information visualization formal specification information theory routing protocols authentication access control computer-aided verification covert storage channels unreliable links trust establishment human-computer interaction service security wireless routing network routing algorithm virtualization security security applications dynamic coalitions message integrity random key graphs emergent properties vehicular technology adversarial machine learning asic implementation channel model robustness (computer science) verification method secure systems access privileges practical environment coalition resources minimum vertex degree erdos-renyi graphs security limitations service management spectral theory automatic control block cipher threat detection anti-cyberterrorism graphic interface engineering education cloud computing engineering management management engineering communication theory electrical insulation distributed data processing transmission cluster computing electricity generation informatics program quality data communications parallel computing information science system engineering education information management business information systems communications systems distributed processing management information systems medium communication communication architecture enterprise information management electrical engineering technology scalability software practice business intelligence information system planning wireless personal communication system software software design

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Determining an Economic Value of High Assurance for Commodity Software Security. Security Protocols XXVIII (2023)

software engineeringtechnologycomputer security modelblockchaincomputer securitysecure protocolsinformation securityfinancedata securitysecurity evaluationcommunication securityfinancial cryptographycryptographic hardwarehardware securityformal verificationcryptographyeconomicssystem safetysecurity measurementsecure by designsoftware analysisverification

Determining an Economic Value of High Assurance for Commodity Software Security. Lecture notes in computer science (2023)

Virgil GligorAdrian PerrigDavid Basin

high assuranceinformation securitycomputer sciencesoftware securityeconomicscommodity software securityeconomic value

Euro S #X26;P 2023 Steering Committee. (2023)

Michael BackesS ChairGilles BartheVirgil GligorPatrick McdanielAdrian PerrigBart Preneel

steering committeeeuropean integrationpolitical science

An I/O Separation Model for Formal Verification of Kernel Implementations. 2022 IEEE Symposium on Security and Privacy (SP) (2021)

Miao YuVirgil GligorLimin Jia

computer scienceformal verificationkernel implementations

An I/O Separation Model for Formal Verification of Kernel Implementations. 2021 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP (2021)

secure computingcomputer security modelcomputer securityoperating system securityinformation securitycomputer sciencedata securitycommunication securitycomputer engineeringhardware securitycryptographic hardwareformal verificationverificationcryptographysystem safetysystem softwarecomputer-aided verificationdata privacysystems engineeringsoftware analysiscryptographic primitivesformal methods

A Rest Stop on the Unending Road to Provable Security. Research Features (2021)

Virgil GligorMaverick WooPompiliu DonescuBryan ParnoAdrian PerrigVyas SekarGene TsudikOsman YaganJun Zhao

information securitycomputer securityprovable security

A Rest Stop on the Unending Road to Provable Security. Security Protocols XXVII (2020)

computer security modelblockchaincomputer securitycyber conflictsecure protocolsinformation securitycomputer sciencedata securitycommunication securitycomputer engineeringfinancial cryptographycryptographic hardwarehardware securityformal verificationcryptographynetwork securitydata privacysecure by designauthentication protocolverificationsecurity studies

A Rest Stop on the Unending Road to Provable Security (Transcript of Discussion). Lecture notes in computer science (2020)

Virgil D. Gligor

information securitycomputer sciencedata securitysecure computingmodel-driven securityreal-time adaptive securitycomputer securitycommunication securityprovable securitynetwork securityidentity-based security

Establishing and Maintaining Root of Trust on Commodity Computer Systems. Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security (2019)

technologycomputer security modeloperating systemsblockchaincomputer securitycyber conflictinformation securitycomputer sciencetrustdata securitycommunication securityfinancial cryptographycryptographic hardwaretrust management architecturehardware securitycryptographytrusted operating systemcommunicationtrusted systeminformation technologytrustworthy computingsecurity studies

Establishing and Maintaining Root of Trust on Commodity Computer Systems. ACM Asia Conference on Computer and Communications Security (2019)

Virgil Gligor

information securitycomputer sciencetrustdata securityinformation technologycomputer securitycommunication securityinformation security managementtrustworthy computingtrust managementsecurity managementcommodity computer systems

1
2
3
4
5
35
10 / page

Virgil Gligor

Professor Electrical and Computer Engineering Co-Director Cylab

Carnegie Mellon University

Affiliations

College of Engineering

Electrical & Computer Engineering

Virgil Gligor is currently serving as a College Of Engineering Professor Electrical and Computer Engineering Co-Director Cylab at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Virgil Gligor

Carnegie Mellon University

Professor Electrical and Computer Engineering Co-Director Cylab

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Determining an Economic Value of High Assurance for Commodity Software Security. Security Protocols XXVIII (2023)

Determining an Economic Value of High Assurance for Commodity Software Security. Lecture notes in computer science (2023)

Virgil GligorAdrian PerrigDavid Basin

high assuranceinformation securitycomputer sciencesoftware securityeconomicscommodity software securityeconomic value

Euro S #X26;P 2023 Steering Committee. (2023)

Michael BackesS ChairGilles BartheVirgil GligorPatrick McdanielAdrian PerrigBart Preneel

steering committeeeuropean integrationpolitical science

An I/O Separation Model for Formal Verification of Kernel Implementations. 2022 IEEE Symposium on Security and Privacy (SP) (2021)

Miao YuVirgil GligorLimin Jia

computer scienceformal verificationkernel implementations

An I/O Separation Model for Formal Verification of Kernel Implementations. 2021 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP (2021)

A Rest Stop on the Unending Road to Provable Security. Research Features (2021)

Virgil GligorMaverick WooPompiliu DonescuBryan ParnoAdrian PerrigVyas SekarGene TsudikOsman YaganJun Zhao

information securitycomputer securityprovable security

A Rest Stop on the Unending Road to Provable Security. Security Protocols XXVII (2020)

A Rest Stop on the Unending Road to Provable Security (Transcript of Discussion). Lecture notes in computer science (2020)

Virgil D. Gligor

Establishing and Maintaining Root of Trust on Commodity Computer Systems. Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security (2019)

Establishing and Maintaining Root of Trust on Commodity Computer Systems. ACM Asia Conference on Computer and Communications Security (2019)

Virgil Gligor

1
2
3
4
5
35
10 / page

Similar Faculty Members

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Ming Li

Institution

University of Arizona

communication security

cyber-physical systems

Peter Steenkiste

Institution

Carnegie Mellon University

hybrid network

electricity generation

Marvin Sirbu

Institution

Carnegie Mellon University

knowledge economy

electricity generation

Pulkit Grover

Institution

Carnegie Mellon University

biosystems

digital image processing

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Elaine Shi

Institution

Carnegie Mellon University

computational intelligence

ai safety

Srinivasan Seshan

Institution

Carnegie Mellon University

network science

computer communications

Haiying Shen

Institution

Clemson University

computer science

distributed systems

Beichuan Zhang

Institution

University of Arizona

network science

network management architecture

Similar Faculty Members

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Ming Li

Institution

University of Arizona

communication security

cyber-physical systems

Peter Steenkiste

Institution

Carnegie Mellon University

hybrid network

electricity generation

Marvin Sirbu

Institution

Carnegie Mellon University

knowledge economy

electricity generation

Pulkit Grover

Institution

Carnegie Mellon University

biosystems

digital image processing

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Elaine Shi

Institution

Carnegie Mellon University

computational intelligence

ai safety

Srinivasan Seshan

Institution

Carnegie Mellon University

network science

computer communications

Haiying Shen

Institution

Clemson University

computer science

distributed systems

Beichuan Zhang

Institution

University of Arizona

network science

network management architecture