Author:
Balliu Musard,Mastroeni Isabella
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic Policies Revisited;2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P);2022-06
2. Attacker Control and Impact for Confidentiality and Integrity;Logical Methods in Computer Science;2011-09-26
3. A Semantic Framework for Declassification and Endorsement;Programming Languages and Systems;2010
4. A Weakest Precondition Approach to Robustness;Transactions on Computational Science X;2010