Follow
Benjamin Bichsel
Benjamin Bichsel
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
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
1552016
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
1292020
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
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
662018
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
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
372019
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
Fine-grained semantics for probabilistic programs
B Bichsel, T Gehr, M Vechev
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
272018
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
232020
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
202018
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
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
152022
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
Reqomp: Space-constrained Uncomputation for Quantum Circuits
A Paradis, B Bichsel, M Vechev
Quantum 8, 1258, 2024
12024
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation
B Bichsel, A Paradis, M Baader, M Vechev
Quantum 7, 1185, 2023
12023
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
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
12018
High-Level Quantum Programming
B Bichsel
ETH Zurich, 2023
2023
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
A PARADIS, J DEKONINCK, B BICHSEL, M VECHEV
The system can't perform the operation now. Try again later.
Articles 1–20