Symmetric encryption in automatic analyses for confidentiality against active adversaries (2004)

by P Laud
Venue:In Proc. of 2004 IEEE Symposium on Security and Privacy