CASTLE: CA signing in a touch-less environment. - Stephanos Matsumoto; Samuel Steffen; Adrian Perrig (ACSAC, 2016)

zkay: Specifying and Enforcing Data Privacy in Smart Contracts. - Samuel Steffen; Benjamin Bichsel; Mario Gersbach; Noa Melchior; Petar Tsankov; Martin T. Vechev (CCS, 2019)

Unsupervised learning of API aliasing specifications. - Jan Eberhardt; Samuel Steffen; Veselin Raychev; Martin T. Vechev (PLDI, 2019)

λPSI: exact inference for higher-order probabilistic programs. - Timon Gehr; Samuel Steffen; Martin T. Vechev (PLDI, 2020)

Probabilistic Verification of Network Configurations. - Samuel Steffen; Timon Gehr; Petar Tsankov; Laurent Vanbever; Martin T. Vechev (SIGCOMM, 2020)

zkay v0.2: Practical Data Privacy for Smart Contracts. - Nick Baumann; Samuel Steffen; Benjamin Bichsel; Petar Tsankov; Martin T. Vechev (CoRR, 2020)

Unqomp: synthesizing uncomputation in Quantum circuits. - Anouk Paradis; Benjamin Bichsel; Samuel Steffen; Martin T. Vechev (PLDI, 2021)

DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers. - Benjamin Bichsel; Samuel Steffen; Ilija Bogunovic; Martin T. Vechev (SP, 2021)

Private and Reliable Neural Network Inference. - Nikola Jovanovic 001; Marc Fischer 002; Samuel Steffen; Martin T. Vechev (CCS, 2022)

Zapper: Smart Contracts with Data and Identity Privacy. - Samuel Steffen; Benjamin Bichsel; Martin T. Vechev (CCS, 2022)

ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs. - Samuel Steffen; Benjamin Bichsel; Roger Baumgartner; Martin T. Vechev (SP, 2022)

A Programming Language Approach to Smart Contract Privacy. - Samuel Steffen (2022)