Virgil Gligor Professor, Affiliated Faculty CMU Scholars Page Office 2123 Mehrabian Collaborative Innovation Center Email gligor@cmu.edu Phone (412) 268-9833 Department 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 LNCS: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 • 2021-May: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 LNCS: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 LNCS: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 LNCS: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 • 2021-May: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 LNCS: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 LNCS:233-241 Gligor VD
Conference Establishing and Maintaining Root of Trust on Commodity Computer Systems 2019 1-2 Gligor V
