Seuraa
Benjamin Bichsel
Benjamin Bichsel
Vahvistettu sähköpostiosoite verkkotunnuksessa inf.ethz.ch - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1672020
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
1652016
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
1082019
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
772018
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
682022
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
462021
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
422019
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
322021
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
322020
Fine-grained semantics for probabilistic programs
B Bichsel, T Gehr, M Vechev
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
292018
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
212022
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
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
122022
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
112020
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation
B Bichsel, A Paradis, M Baader, M Vechev
Quantum 7, 1185, 2023
92023
Reqomp: Space-constrained Uncomputation for Quantum Circuits
A Paradis, B Bichsel, M Vechev
Quantum 8, 1258, 2024
52024
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
22024
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
22019
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20