International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Secure two-party computation in applied pi-calculus: models and verification

Authors:
Sergiu Bursuc
Download:
URL: https://eprint.iacr.org/2015/782
Search ePrint
Search Google
BibTeX
@article{eprint-2015-26096,
  title={Secure two-party computation in applied pi-calculus: models and verification},
  journal={IACR Cryptology ePrint Archive},
  volume={2015},
  pages={782},
  url={https://eprint.iacr.org/2015/782},
  author={Sergiu Bursuc},
  year=2015
}