122
Voted
IMA
2005
Springer
15 years 9 months ago
2005
Springer
In recent years much research has been devoted to producing formal models of security for cryptographic primitives and to designing schemes that can be proved secure in such models...