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 is missing.