Towards Formally Verified Compilation of Tag-Based Policy Enforcement
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs（2021）
Key words
verified compilers,reference monitors,tag-based secure hardware,Coq proof assistant
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined