Aseem Rastogi Nikhil Swamy Michael Hicks 0001 WYS*: A Verified Language Extension for Secure Multi-party Computations. 2017 abs/1711.06467 CoRR http://arxiv.org/abs/1711.06467 db/journals/corr/corr1711.html#abs-1711-06467