Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption

This publication has 11 references indexed in Scilit:

• Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
  Published by Springer Nature ,2007
• Secure information flow with random assignment and encryption
  Published by Association for Computing Machinery (ACM) ,2006
• A Type System for Computationally Secure Information Flow
  Published by Springer Nature ,2005
• About the Security of Ciphers (Semantic Security and Pseudo-Random Permutations)
  Published by Springer Nature ,2004
• Handling Encryption in an Analysis for Secure Information Flow
  Published by Springer Nature ,2003
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• Semantics and Program Analysis of Computationally Secure Information Flow
  Published by Springer Nature ,2001
• A sound type system for secure flow analysis
  Journal of Computer Security, 1996
• 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