| 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 | 113 | 2019 |
| 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 | 85 | 2022 |
| 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 | 57 | 2020 |
| 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 | 54 | 2021 |
| λ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 | 37 | 2020 |
| 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 | 36 | 2021 |
| 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 | 32 | 2019 |
| 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 | 17 | 2022 |
| 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 | 17 | 2022 |
| 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 | 12 | 2020 |
| 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 | 3 | 2016 |
| 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 | 2 | 2019 |
| Utilizing microfluidic structures and interfacial shear rheology for probing mycelial growth in viscoelastic host material C Wobill, S Steffen, P Fischer ICR 2023-Book of Abstracts, 468-468, 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 |
