1 code implementation • 27 Oct 2022 • Nikola Jovanović, Marc Fischer, Samuel Steffen, Martin Vechev
We employ these building blocks to enable privacy-preserving NN inference with robustness and fairness guarantees in a system called Phoenix.
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