For more papers related to the Jif programming language, see the Jif web site.

Decentralized Robustness Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW), July 2006. Stephen Chong, Andrew C. Myers.
Authentication in Distributed Systems: Theory and Practice Proceedings of the 13th ACM Symposium on Operating System Principles (SOSP), October 1991. Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber.
Protecting Privacy using the Decentralized Label Model ACM Transactions on Software Engineering and Methodology, 9(4), October 2000. Andrew C. Myers, Barbara Liskov.
Enforcing Robust Declassification Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW), June 2004. Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic.
Information Flow Inference for Free Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP), 2000. François Pottier, Slyvain Conchon.
Role Hierarchies and Constraints for Lattice-based Access Controls Proceedings of the 4th European Symposium on Research in Computer Security, Septemeber 1996. Ravi S. Sandhu.
Run-time Principals in Information-flow Type Systems IEEE Symposium on Security and Privacy, May 2004. Stephen Tse, Steve Zdancewic.
A Sound Type System for Secure Flow Analysis Journal of Computer Security, 4(3), 1996. Dennis Volpano, Geoffrey Smith, and Cynthia Irvine.
Robust Declassification Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW), June 2001. Steve Zdancewic, Andrew C. Myers.