Adversaries and Information Leaks (Tutorial)

This publication has 26 references indexed in Scilit:

• On the computational soundness of cryptographically masked flows
  Published by Association for Computing Machinery (ACM) ,2008
• 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
• Cryptographically-Masked Flows
  Published by Springer Nature ,2006
• A Type System for Computationally Secure Information Flow
  Published by Springer Nature ,2005
• 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
• Certification of programs for secure information flow
  Communications of the ACM, 1977