1 code implementation • 2 Sep 2020 • Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin Vechev
Recent work introduces zkay, a system for specifying and enforcing data privacy in smart contracts.
Programming Languages Cryptography and Security
