Author:
Balliu Musard,Mastroeni Isabella
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. http://www.owasp.org
2. Balliu, M., Mastroeni, I.: A weakest precondition approach to active attacks analysis. In: PLAS, pp. 59–71 (2009)
3. Electronic Notes in Theoretical Computer Science;A. Banerjee,2007
4. Lecture Notes in Computer Science;M. Centenaro,2009
5. Chong, S., Myers, A.C.: Decentralized robustness. In: Proc. the IEEE Computer Security Foundations Workshop (CSFW-19), Washington, DC, USA, pp. 242–256. IEEE Computer Society, Los Alamitos (2006)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation;ACM Transactions on Programming Languages and Systems;2024-04-27
2. Dynamic Policies Revisited;2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P);2022-06
3. Improving Dynamic Code Analysis by Code Abstraction;Electronic Proceedings in Theoretical Computer Science;2021-09-06
4. Language Support for Secure Software Development with Enclaves;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06
5. Analyzing Dynamic Code;ACM Transactions on Privacy and Security;2021-05-31