| Silq: A high-level quantum language with safe uncomputation and intuitive semantics B Bichsel, M Baader, T Gehr, M Vechev Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 179 | 2020 |
| Statistical deobfuscation of android applications B Bichsel, V Raychev, P Tsankov, M Vechev Proceedings of the 2016 ACM SIGSAC conference on computer and communications …, 2016 | 172 | 2016 |
| 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 |
| Dp-finder: Finding differential privacy violations by sampling and optimization B Bichsel, T Gehr, D Drachsler-Cohen, P Tsankov, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 84 | 2018 |
| 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 |
| Scalable taint specification inference with big code V Chibotaru, B Bichsel, V Raychev, M Vechev Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 48 | 2019 |
| 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 |
| AStarix: Fast and Optimal Sequence-to-Graph Alignment P Ivanov, B Bichsel, H Mustafa, A Kahles, G Rätsch, M Vechev International Conference on Research in Computational Molecular Biology, 104-119, 2020 | 34 | 2020 |
| Fine-grained semantics for probabilistic programs B Bichsel, T Gehr, M Vechev European Symposium on Programming, 145-185, 2018 | 31 | 2018 |
| Fast and optimal sequence-to-graph alignment guided by seeds P Ivanov, B Bichsel, M Vechev International Conference on Research in Computational Molecular Biology, 306-325, 2022 | 26 | 2022 |
| Incremental inference for probabilistic programs M Cusumano-Towner, B Bichsel, T Gehr, M Vechev, VK Mansinghka Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 20 | 2018 |
| 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 |
| Abstraqt: analysis of quantum circuits via abstract stabilizer simulation B Bichsel, A Paradis, M Baader, M Vechev Quantum 7, 1185, 2023 | 10 | 2023 |
| Reqomp: Space-constrained Uncomputation for Quantum Circuits A Paradis, B Bichsel, M Vechev Quantum 8, 1258, 2024 | 7 | 2024 |
| Synthetiq: Fast and versatile quantum circuit synthesis A Paradis, J Dekoninck, B Bichsel, M Vechev Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 55-82, 2024 | 5 | 2024 |
| 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 |
| DP-Finder B Bichsel, T Gehr, D Drachsler-Cohen, P Tsankov, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 1 | 2018 |
| High-Level Quantum Programming B Bichsel ETH Zurich, 2023 | | 2023 |
