by Aseem Rastogi, Nikhil Swamy, Michael Hicks
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},
}