Author:
Barthe Gilles,Crespo Juan Manuel,Devriese Dominique,Piessens Frank,Rivas Exequiel
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Askarov, A., Sabelfeld, A.: Tight enforcement of information-release policies for dynamic languages. In: CSF, pp. 43–59 (2009)
2. Austin, T., Flanagan, C.: Multiple facets for dynamic information flow. In: POPL (2012)
3. Austin, T.H., Flanagan, C.: Permissive dynamic information flow analysis. In: PLAS (2010)
4. Barthe, G., Crespo, J.M., Devriese, D., Piessens, F., Rivas, E.: Secure multi-execution through static program transformation: extended version. Technical Report CW620, Department of Computer Science, Katholieke Universiteit Leuven (2012)
5. Barthe, G., D’Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: CSFW, pp. 100–114 (2004)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Faster variational execution with transparent bytecode transformation;Proceedings of the ACM on Programming Languages;2018-10-24
2. Faceted Secure Multi Execution;Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security;2018-01-15
3. Prudent Design Principles for Information Flow Control;Proceedings of the 13th Workshop on Programming Languages and Analysis for Security;2018-01-15
4. A Better Facet of Dynamic Information Flow Control;Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18;2018
5. We Are Family: Relating Information-Flow Trackers;Computer Security – ESORICS 2017;2017