Author:
Askarov Aslan,Sabelfeld Andrei
Cited by
30 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 Security Definitions for Higher-Order Where Declassification;Proceedings of the ACM on Programming Languages;2023-04-06
3. Towards a General-Purpose Dynamic Information Flow Policy;2022 IEEE 35th Computer Security Foundations Symposium (CSF);2022-08
4. Declassification Predicates for Controlled Information Release;Formal Methods and Software Engineering;2022
5. A Field-Sensitive Security Monitor for Object-Oriented Programs;Computers & Security;2021-09