Samuel Steffen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2016–2022
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CCS | Private and Reliable Neural Network Inference. | Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev |
| 2022 | CCS | Zapper: Smart Contracts with Data and Identity Privacy. | Samuel Steffen, Benjamin Bichsel, Martin T. Vechev |
| 2022 | SP | ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs. | Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin T. Vechev |
| 2021 | PLDI | Unqomp: synthesizing uncomputation in Quantum circuits. | Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev |
| 2021 | SP | DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers. | Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin T. Vechev |
| 2020 | PLDI | λPSI: exact inference for higher-order probabilistic programs. | Timon Gehr, Samuel Steffen, Martin T. Vechev |
| 2020 | SIGCOMM | Probabilistic Verification of Network Configurations. | Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2019 | CCS | zkay: Specifying and Enforcing Data Privacy in Smart Contracts. | Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev |
| 2019 | PLDI | Unsupervised learning of API aliasing specifications. | Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev |
| 2016 | ACSAC | CASTLE: CA signing in a touch-less environment. | Stephanos Matsumoto, Samuel Steffen, Adrian Perrig |