zkay: Specifying and Enforcing Data Privacy in Smart Contracts.

Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev

Browse the full CCS paper archive.