CryptoDB
Secure two-party computation in applied pi-calculus: models and verification
Authors: | |
---|---|
Download: |
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 }