Search Results for author: Samuel Steffen

Found 2 papers, 2 papers with code

Private and Reliable Neural Network Inference

1 code implementation27 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.

Fairness Privacy Preserving

zkay v0.2: Practical Data Privacy for Smart Contracts

1 code implementation2 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

Cannot find the paper you are looking for? You can Submit a new open access paper.