"WYS*: A Verified Language Extension for Secure Multi-party Computations."

Aseem Rastogi, Nikhil Swamy, Michael Hicks (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics