Author:
Guarnieri Marco,Balliu Musard,Schoepe Daniel,Basin David,Sabelfeld Andrei
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesis of Allowlists for Runtime Protection against SQLi;Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results;2024-04-14
2. RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks;2023 IEEE Symposium on Security and Privacy (SP);2023-05
3. Poster;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07
4. Information Flow Control in Software DB Units Based on Formal Verification;Programming and Computer Software;2022-07-18
5. ANOSY: approximated knowledge synthesis with refinement types for declassification;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09