Samuel Steffen

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