zkay: Specifying and Enforcing Data Privacy in Smart Contracts. - Samuel Steffen; Benjamin Bichsel; Mario Gersbach; Noa Melchior; Petar Tsankov; Martin T. Vechev (CCS, 2019)