Samuel Steffen

According to our database, Samuel Steffen authored at least 12 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Programming Language Approach to Smart Contract Privacy.

Samuel Steffen

PhD thesis, 2022

ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs.

Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin T. Vechev

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Zapper: Smart Contracts with Data and Identity Privacy.

Samuel Steffen, Benjamin Bichsel, Martin T. Vechev

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Private and Reliable Neural Network Inference.

Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers.

Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin T. Vechev

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Unqomp: synthesizing uncomputation in Quantum circuits.

Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

zkay v0.2: Practical Data Privacy for Smart Contracts.

Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin T. Vechev

CoRR, 2020

Probabilistic Verification of Network Configurations.

Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin T. Vechev

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

λPSI: exact inference for higher-order probabilistic programs.

Timon Gehr, Samuel Steffen, Martin T. Vechev

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Unsupervised learning of API aliasing specifications.

Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

zkay: Specifying and Enforcing Data Privacy in Smart Contracts.

Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2016

CASTLE: CA signing in a touch-less environment.

Stephanos Matsumoto, Samuel Steffen, Adrian Perrig

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016