Samuel Steffen

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 12

Top Topics

Privacy Violations

Exact Inference

Top Venues

IEEE Symposium on Security and Privacy

Publications

Samuel Steffen, Benjamin Bichsel, Martin T. Vechev
Zapper: Smart Contracts with Data and Identity Privacy. CCS (2022)
Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev
Private and Reliable Neural Network Inference. CoRR (2022)
Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev
Private and Reliable Neural Network Inference. CCS (2022)
Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin T. Vechev
ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs. IEEE Symposium on Security and Privacy (2022)
Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin T. Vechev
DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers. IEEE Symposium on Security and Privacy (2021)
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev
Unqomp: synthesizing uncomputation in Quantum circuits. PLDI (2021)
Timon Gehr, Samuel Steffen, Martin T. Vechev
λPSI: exact inference for higher-order probabilistic programs. PLDI (2020)
Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin T. Vechev
Probabilistic Verification of Network Configurations. SIGCOMM (2020)
Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin T. Vechev
zkay v0.2: Practical Data Privacy for Smart Contracts. CoRR (2020)
Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev
Unsupervised learning of API aliasing specifications. PLDI (2019)
Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev
zkay: Specifying and Enforcing Data Privacy in Smart Contracts. CCS (2019)
Stephanos Matsumoto, Samuel Steffen, Adrian Perrig
CASTLE: CA signing in a touch-less environment. ACSAC (2016)