Author:
Barthe Gilles,Rezk Tamara,Russo Alejandro,Sabelfeld Andrei
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Agat, J.: Transforming out timing leaks. In: Proc. ACM Symp. on Principles of Programming Languages, pp. 40–53. ACM Press, New York (2000)
2. Matos, A.A.: Typing secure information flow: declassification and mobility. PhD thesis, Ecole Nationale Supérieure des Mines de Paris (2006)
3. Lecture Notes in Computer Science;G. Barthe,2007
4. Barthe, G., Rezk, T.: Non-interference for a JVM-like language. In: Fähndrich, M. (ed.) Proceedings of TLDI 2005, pp. 103–112. ACM Press, New York (2005)
5. Barthe, G., Rezk, T., Basu, A.: Security types preserving compilation. Journal of Computer Languages, Systems and Structures (2007)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献