@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},
}

{"_id":"Z99Ecd68iyhZddqho","bibbaseid":"rastogi-swamy-hicks-wysadslforverifiedsecuremultipartycomputations-2019","authorIDs":[],"author_short":["Rastogi, A.","Swamy, N.","Hicks, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Aseem"],"propositions":[],"lastnames":["Rastogi"],"suffixes":[]},{"firstnames":["Nikhil"],"propositions":[],"lastnames":["Swamy"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Hicks"],"suffixes":[]}],"editor":[{"firstnames":["Flemming"],"propositions":[],"lastnames":["Nielson"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]}],"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","bibtex":"@inproceedings{wysstar,\n author = {Aseem Rastogi and\n Nikhil Swamy and\n Michael Hicks},\n editor = {Flemming Nielson and\n David Sands},\n title = {Wys*: {A} {DSL} for Verified Secure Multi-party Computations},\n booktitle = {8th International Conference on Principles of Security and Trust (POST)},\n shortbooktitle = {POST},\n series = {Lecture Notes in Computer Science},\n volume = {11426},\n pages = {99--122},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-17138-4\\_5},\n doi = {10.1007/978-3-030-17138-4\\_5},\n biburl = {https://dblp.org/rec/bib/conf/post/RastogiSH19},\n}\n\n","author_short":["Rastogi, A.","Swamy, N.","Hicks, M."],"editor_short":["Nielson, F.","Sands, D."],"key":"wysstar","id":"wysstar","bibbaseid":"rastogi-swamy-hicks-wysadslforverifiedsecuremultipartycomputations-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-17138-4_5"},"downloads":0},"bibtype":"inproceedings","biburl":"http://fstar-lang.org/fstar.bib","creationDate":"2020-07-12T03:02:49.259Z","downloads":0,"keywords":[],"search_terms":["wys","dsl","verified","secure","multi","party","computations","rastogi","swamy","hicks"],"title":"Wys*: A DSL for Verified Secure Multi-party Computations","year":2019,"dataSources":["eyMWQ4bjnGX3pP6cA"]}