@misc{indiciae99faffddeca3,
  title = {WYS*: A DSL for Verified Secure Multi-party Computations},
  author = {Aseem Rastogi and Nikhil Swamy and Michael Hicks},
  year = {2018},
  url = {https://arxiv.org/abs/1711.06467},
  note = {Source identifier: 1711.06467}
}