Author:
Arden Owen,George Michael D.,Liu Jed,Vikram K.,Askarov Aslan,Myers Andrew C.
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Impact of Information Leakage and Conserving Digital Privacy;Malware Analysis and Intrusion Detection in Cyber-Physical Systems;2023-09-26
2. A Model-Based Approach for Expansion of Androids Status-Bar-Notification;Lecture Notes in Computer Science;2023
3. Information Flow Control in Software DB Units Based on Formal Verification;Programming and Computer Software;2022-07-18
4. 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
5. Containing Malicious Package Updates in npm with a Lightweight Permission System;2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE);2021-05