Author:
Coughlin Nicholas,Smith Graeme
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Dafny-based approach to thread-local information flow analysis;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
2. Compositional noninterference on hardware weak memory models;Science of Computer Programming;2022-05
3. Information-flow control on ARM and POWER multicore processors;Formal Methods in System Design;2021-06-08
4. Backwards-directed information flow analysis for concurrent programs;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06