Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language

This publication has 12 references indexed in Scilit:

• Syntactic Type Soundness for HM(X)
  Electronic Notes in Theoretical Computer Science, 2003
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• Precise Constraint-Based Type Inference for Java
  Published by Springer Nature ,2001
• The Cartesian Product Algorithm
  Published by Springer Nature ,2000
• Secrecy by typing in security protocols
  Journal of the ACM, 1999
• JFlow
  Published by Association for Computing Machinery (ACM) ,1999
• Making the future safe for the past
  Published by Association for Computing Machinery (ACM) ,1998
• Type inference with polymorphic recursion
  ACM Transactions on Programming Languages and Systems, 1993
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• Certification of programs for secure information flow
  Communications of the ACM, 1977