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

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