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

researchr

You are not signed in
Sign in
Sign up

Sergiu Bursuc. Secure two-party computation in applied pi-calculus: models and verification. IACR Cryptology ePrint Archive, 2015:782, 2015. [doi]

@article{Bursuc15,
  title = {Secure two-party computation in applied pi-calculus: models and verification},
  author = {Sergiu Bursuc},
  year = {2015},
  url = {http://eprint.iacr.org/2015/782},
  researchr = {https://researchr.org/publication/Bursuc15},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2015},
  pages = {782},
}

runs on WebDSL