CryptoDB
Universally Composable Symbolic Security Analysis
NOTE: imports for ToSC and TCHES are no longer functioning.
Authors: | |
---|---|
Download: |
BibTeX
@article{jofc-2011-23455, title={Universally Composable Symbolic Security Analysis}, journal={J. Cryptology}, volume={24}, pages={83-147}, doi={10.1007/s00145-009-9055-0}, author={Ran Canetti and Jonathan Herzog}, year=2011 }