Publisher
Springer International Publishing
Reference12 articles.
1. Arzt, S., et al.: Flowdroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps, pp. 259–269. PLDI 2014 (2014)
2. Austin, T.H., Flanagan, C.: Efficient purely-dynamic information flow analysis. PLAS 2009 (2009)
3. Banerjee, A., Naumann, D.A.: Secure information flow and pointer confinement in a java-like language, p. 253. CSFW 2002 (2002)
4. Barthe, G., Rezk, T.: Non-interference for a JVM-like language, pp. 103–112. TLDI 2005 (2005)
5. Denning, D.E.: A lattice model of secure information flow. Commun. ACM 19, 236–243 (1976)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Data-Dependent Confidentiality in DCR Graphs;International Symposium on Principles and Practice of Declarative Programming;2023-10-22