Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security
- Publication date
- 1 January 2019
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 10th International Conference on Interactive Theorem Proving (ITP 2019)