Author:
Dillig Isil,Dillig Thomas,Aiken Alex
Cited by
65 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Adonis
: Practical and Efficient Control Flow Recovery through OS-level Traces;ACM Transactions on Software Engineering and Methodology;2023-11-24
2. ConfTainter: Static Taint Analysis For Configuration Options;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. Learning to Boost Disjunctive Static Bug-Finders;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
4. TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems;IEEE Transactions on Information Forensics and Security;2022
5. Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels;Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security;2021-11-12