Virgil Gligor Professor, Affiliated Faculty CMU Scholars Page 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 • 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 • 00: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 • 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 • 12287:233-241 Gligor VD Conference Establishing and Maintaining Root of Trust on Commodity Computer Systems 2019 1-2 Gligor V
Chapter Determining an Economic Value of High Assurance for Commodity Software Security 2023 • Lecture Notes in Computer Science • 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 • 00: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 • 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 • 12287:233-241 Gligor VD
Conference Establishing and Maintaining Root of Trust on Commodity Computer Systems 2019 1-2 Gligor V
