Wys*: A DSL for Verified Secure Multi-party Computations (bibtex)
by , ,
Reference:
Wys*: A DSL for Verified Secure Multi-party Computations (Aseem Rastogi, Nikhil Swamy, 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},
}
Powered by bibtexbrowser