Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs

This publication has 48 references indexed in Scilit:

• Empirical study of optimization techniques for massive slicing
  ACM Transactions on Programming Languages and Systems, 2007
• A logic for information flow in object-oriented programs
  2006
• Non-interference for a JVM-like language
  2005
• Static analysis for security
  IEEE Security & Privacy, 2004
• Design and implementation of a fine-grained software inspection tool
  IEEE Transactions on Software Engineering, 2003
• The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow
  Lecture Notes in Computer Science, 2001
• Transforming out timing leaks
  2000
• Dependence Analysis for Java
  Lecture Notes in Computer Science, 2000
• A core calculus of dependency
  1999
• Information-flow and data-flow analysis of while-programs
  ACM Transactions on Programming Languages and Systems, 1985