Virgil Gligor

Professor, Affiliated Faculty

CMU Scholars

Office

2123 Mehrabian Collaborative Innovation Center

Email

gligor@cmu.edu

Phone

(412) 268-9833

Department

CIT - Electrical and Computer Engineering
Computer Science Department: Affiliated

Publications

Chapter

Determining an Economic Value of High Assurance for Commodity Software Security

2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14186:228-242
Gligor V, Perrig A, Basin D

Conference

An I/O Separation Model for Formal Verification of Kernel Implementations

2021 • IEEE Symposium on Security and Privacy: Proceedings • 572-589
Yu M, Gligor V, Jia L

Chapter

A Rest Stop on the Unending Road to Provable Security

2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12287:223-232
Gligor VD

Chapter

A Rest Stop on the Unending Road to Provable Security (Transcript of Discussion)

2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12287:233-241
Gligor VD

Conference

Establishing and Maintaining Root of Trust on Commodity Computer Systems

2019 1-2
Gligor V

At a Glance

Academic Offerings

Admissions

Directory Submenu

People

Explore the Field

Virgil Gligor

Office

Email

Phone

Department

Publications

Chapter

Conference

Chapter

Chapter

Conference

At a Glance

Academic Offerings

Admissions

Directory Submenu

People

Explore the Field

What can we help you find?

Virgil Gligor

Office

Email

Phone

Department

Publications

Chapter

Conference

Chapter

Chapter

Conference