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 | 167 | 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 | 165 | 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 | 108 | 2019 |
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 | 77 | 2018 |
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 | 68 | 2022 |
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 | 46 | 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 | 42 | 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 | 32 | 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 | 32 | 2020 |
Fine-grained semantics for probabilistic programs B Bichsel, T Gehr, M Vechev Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 29 | 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 | 21 | 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 | 12 | 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 | 11 | 2020 |
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation B Bichsel, A Paradis, M Baader, M Vechev Quantum 7, 1185, 2023 | 9 | 2023 |
Reqomp: Space-constrained Uncomputation for Quantum Circuits A Paradis, B Bichsel, M Vechev Quantum 8, 1258, 2024 | 5 | 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 | 2 | 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 |