Author:
Barthe Gilles,Rezk Tamara
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Relational Program Logic with Data Abstraction and Dynamic Framing;ACM Transactions on Programming Languages and Systems;2022-12-31
2. SNITCH: A Platform for Information Flow Control;Lecture Notes in Computer Science;2022
3. A permission-dependent type system for secure information flow analysis;Journal of Computer Security;2021-03-29
4. Hybrid Information Flow Control for Low-Level Code;Software Engineering and Formal Methods;2021
5. SCF
MSP;Proceedings of the 15th International Conference on Availability, Reliability and Security;2020-08-25