Information Flow Analysis for Java Bytecode

This publication has 13 references indexed in Scilit:

• Security Types Preserving Compilation
  Published by Springer Nature ,2004
• Information Flow Analysis in Logical Form
  Published by Springer Nature ,2004
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• Static Analysis for Secrecy and Non-interference in Networks of Processes
  Published by Springer Nature ,2001
• Semantics and Program Analysis of Computationally Secure Information Flow
  Published by Springer Nature ,2001
• A Per Model of Secure Information Flow in Sequential Programs
  Higher-Order and Symbolic Computation, 2001
• Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
  Published by Springer Nature ,2000
• JFlow
  Published by Association for Computing Machinery (ACM) ,1999
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• A lattice model of secure information flow
  Communications of the ACM, 1976