Symmetric encryption in a simulatable Dolev-Yao style cryptographic libraryMichael BackesBirgit Pfitzmann2004CSFW 2004Conference paper
Universally composable signature, certification, and authenticationRan Canetti2004CSFW 2004Conference paper