Author:
Almeida-Matos Ana,Fragoso Santos José,Rezk Tamara
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. The 5th edition of ECMA 262 June 2011: ECMAScript Language Specification. Technical report, ECMA (2011)
2. Almeida Matos, A., Fragoso Santos, J., Rezk, T.: An IF monitor for a core of DOM.
http://web.ist.utl.pt/~ana.matos/14-AFR-if+monitor+coredom-full.pdf
3. Austin, T.H., Flanagan, C.: Efficient purely-dynamic information flow analysis. In: PLAS (2009)
4. Austin, T.H., Flanagan, C.: Permissive dynamic information flow analysis. In: PLAS (2010)
5. Austin, T.H., Flanagan, C.: Multiple facets for dynamic information flow. In: POPL (2012)
Cited by
7 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. Compositional Information Flow Monitoring for Reactive Programs;2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P);2022-06
3. Spartan Jester: End-to-End Information Flow Control for Hybrid Android Applications;2017 IEEE Security and Privacy Workshops (SPW);2017-05
4. Formal methods for web security;Journal of Logical and Algebraic Methods in Programming;2017-02
5. A Taxonomy of Information Flow Monitors;Lecture Notes in Computer Science;2016