Author:
Austin Thomas H.,Flanagan Cormac
Cited by
102 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quest Complete: The Holy Grail of Gradual Security;Proceedings of the ACM on Programming Languages;2024-06-20
2. Cocoon: Static Information Flow Control in Rust;Proceedings of the ACM on Programming Languages;2024-04-29
3. Extent of spending behavior, problems encountered, and financial knowledge across generational cohorts among state universities and colleges employees;International Journal of ADVANCED AND APPLIED SCIENCES;2024-02
4. Modular information flow through ownership;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
5. Compositional Information Flow Monitoring for Reactive Programs;2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P);2022-06