Funder
National Science Foundation
Defense Advanced Research Projects Agency
Inha University
Subject
Hardware and Architecture,Software
Reference71 articles.
1. Survey of approaches and techniques for security verification of computer systems;Erata;J. Emerg. Technol. Comput. Syst.,2023
2. R. Gu, Z. Shao, J. Kim, X. Wu, J. Koenig, V. Sjöberg, H. Chen, D. Costanzo, T. Ramananandro, Certified Concurrent Abstraction Layers, in: ACM SIGPLAN Conference on Programming Language Design and Implementation, in: PLDI 2018, 2018.
3. Ironclad apps: End-to-end security via automated full-system verification;Hawblitzel,2014
4. IronFleet: Proving practical distributed systems correct;Hawblitzel,2015
5. CertiKOS: An extensible architecture for building certified concurrent OS kernels;Gu,2016