Password-based encryption analyzed (2005)

by Mart́ın Abadi, Bogdan Warinschi
Venue:In Proc. 32nd International Colloquium on Automata, Languages and Programming (ICALP’05), volume 3580 of LNCS