Security Types Preserving Compilation

This publication has 14 references indexed in Scilit:

• Precision in Practice: A Type-Preserving Java Compiler
  Published by Springer Nature ,2003
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• Information flow inference for ML
  ACM Transactions on Programming Languages and Systems, 2003
• Checking secure interactions of smart card applets: extended version1
  Journal of Computer Security, 2002
• Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode
  Published by Springer Nature ,2002
• Java Bytecode Verification: An Overview
  Published by Springer Nature ,2001
• Partial Evaluation and Non-interference for Object Calculi
  Published by Springer Nature ,1999
• The SLam calculus
  Published by Association for Computing Machinery (ACM) ,1998
• Proof-carrying code
  Published by Association for Computing Machinery (ACM) ,1997
• What's in a region?
  ACM Letters on Programming Languages and Systems, 1993