Volgen
Samuel Steffen
Samuel Steffen
Geverifieerd e-mailadres voor inf.ethz.ch
Titel
Geciteerd door
Geciteerd door
Jaar
zkay: Specifying and enforcing data privacy in smart contracts
S Steffen, B Bichsel, M Gersbach, N Melchior, P Tsankov, M Vechev
Proceedings of the 2019 ACM SIGSAC conference on computer and communications …, 2019
922019
Zeestar: Private smart contracts by homomorphic encryption and zero-knowledge proofs
S Steffen, B Bichsel, R Baumgartner, M Vechev
2022 IEEE Symposium on Security and Privacy (SP), 179-197, 2022
472022
Probabilistic verification of network configurations
S Steffen, T Gehr, P Tsankov, L Vanbever, M Vechev
Proceedings of the Annual conference of the ACM Special Interest Group on …, 2020
452020
Dp-sniper: Black-box discovery of differential privacy violations using classifiers
B Bichsel, S Steffen, I Bogunovic, M Vechev
2021 IEEE Symposium on Security and Privacy (SP), 391-409, 2021
302021
λPSI: exact inference for higher-order probabilistic programs
T Gehr, S Steffen, M Vechev
Proceedings of the 41st acm sigplan conference on programming language …, 2020
282020
Unsupervised learning of API aliasing specifications
J Eberhardt, S Steffen, V Raychev, M Vechev
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
252019
Unqomp: synthesizing uncomputation in Quantum circuits
A Paradis, B Bichsel, S Steffen, M Vechev
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
192021
Private and reliable neural network inference
N Jovanovic, M Fischer, S Steffen, M Vechev
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
102022
Zapper: Smart contracts with data and identity privacy
S Steffen, B Bichsel, M Vechev
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
82022
zkay v0. 2: Practical data privacy for smart contracts
N Baumann, S Steffen, B Bichsel, P Tsankov, M Vechev
arXiv preprint arXiv:2009.01020, 2020
82020
CASTLE: CA signing in a touch-less environment
S Matsumoto, S Steffen, A Perrig
Proceedings of the 32nd Annual Conference on Computer Security Applications …, 2016
32016
zkay
S Steffen, B Bichsel, M Gersbach, N Melchior, P Tsankov, M Vechev
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
12019
Utilizing microfluidic structures and interfacial shear rheology for probing mycelial growth in viscoelastic host material
C Wobill, S Steffen, P Fischer
XIXth International Congress on Rheology (ICR2023), 2023
2023
A Programming Language Approach to Smart Contract Privacy
S Steffen
ETH Zurich, 2022
2022
CASTLE
S Matsumoto, S Steffen, A Perrig
Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016
2016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15