Affiliation:
1. INRIA, Sophia Antipolis Cedex, France
2. University of California, Santa Cruz, Santa Cruz, CA, USA
3. Chalmers University of Technology, Gothenburg, Sweden
Funder
the National Science Foundation under the grant CCF-1421016
the National Science Foundation under the grant CCF-1337278
Swedish research agencies Vetenskapsradet
the ANR project AJACS ANR-14-CE28-0008
the ANR project CISC ANR-17-CE25-0014-01
SSF Cyber Security projects WebSec: Securing Web-driven Systems and Octopi: Secure Programming for the Internet of Things
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tainted Secure Multi-Execution to Restrict Attacker Influence;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
2. Sound Symbolic Execution via Abstract Interpretation and Its Application to Security;Lecture Notes in Computer Science;2023
3. Compositional Information Flow Monitoring for Reactive Programs;2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P);2022-06
4. Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling;Information Systems Security;2022
5. Faceted Secure Multi Execution;Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security;2018-01-15