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