Wys*: A DSL for Verified Secure Multi-party Computations (bibtex)

by Aseem Rastogi, Nikhil Swamy and Michael Hicks

Reference:

Wys*: A DSL for Verified Secure Multi-party Computations (Aseem Rastogi, Nikhil Swamy and Michael Hicks), In 8th International Conference on Principles of Security and Trust (POST) (Flemming Nielson, David Sands, eds.), Springer, volume 11426, 2019.

Bibtex Entry:

@inproceedings{wysstar,
  author    = {Aseem Rastogi and
               Nikhil Swamy and
               Michael Hicks},
  editor    = {Flemming Nielson and
               David Sands},
  title     = {Wys*: {A} {DSL} for Verified Secure Multi-party Computations},
  booktitle = {8th International Conference on Principles of Security and Trust (POST)},
  shortbooktitle = {POST},
  series    = {Lecture Notes in Computer Science},
  volume    = {11426},
  pages     = {99--122},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-17138-4\_5},
  doi       = {10.1007/978-3-030-17138-4\_5},
  biburl    = {https://dblp.org/rec/bib/conf/post/RastogiSH19},
}