Symmetric Encryption in Automatic Analyses for Confidentiality against Active Adversaries

Peeter Laud. Symmetric Encryption in Automatic Analyses for Confidentiality against Active Adversaries. In 2004 IEEE Symposium on Security and Privacy (S&P 2004), 9-12 May 2004, Berkeley, CA, USA. pages 71-85, IEEE Computer Society, 2004. [doi]

Abstract

Abstract is missing.