Benjamin Bichsel

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Topics

Privacy Violations

Top Venues

IEEE Symposium on Security and Privacy

Publications

Anouk Paradis, Benjamin Bichsel, Martin T. Vechev
Reqomp: Space-constrained Uncomputation for Quantum Circuits. Quantum 8 (2024)
Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin T. Vechev
Synthetiq: Fast and Versatile Quantum Circuit Synthesis. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Benjamin Bichsel, Anouk Paradis, Maximilian Baader, Martin T. Vechev
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation. Quantum 7 (2023)
Benjamin Bichsel, Maximilian Baader, Anouk Paradis, Martin T. Vechev
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation. CoRR (2023)
Samuel Steffen, Benjamin Bichsel, Martin T. Vechev
Zapper: Smart Contracts with Data and Identity Privacy. CCS (2022)
Pesho Ivanov, Benjamin Bichsel, Martin T. Vechev
Fast and Optimal Sequence-to-Graph Alignment Guided by Seeds. RECOMB (2022)
Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin T. Vechev
ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs. IEEE Symposium on Security and Privacy (2022)
Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin T. Vechev
DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers. IEEE Symposium on Security and Privacy (2021)
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev
Unqomp: synthesizing uncomputation in Quantum circuits. PLDI (2021)
Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev
Silq: a high-level quantum language with safe uncomputation and intuitive semantics. PLDI (2020)
Pesho Ivanov, Benjamin Bichsel, Harun Mustafa, André Kahles, Gunnar Rätsch, Martin T. Vechev
AStarix: Fast and Optimal Sequence-to-Graph Alignment. RECOMB (2020)
Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin T. Vechev
zkay v0.2: Practical Data Privacy for Smart Contracts. CoRR (2020)
Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev
Scalable taint specification inference with big code. PLDI (2019)
Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev
zkay: Specifying and Enforcing Data Privacy in Smart Contracts. CCS (2019)
Benjamin Bichsel, Timon Gehr, Martin T. Vechev
Fine-Grained Semantics for Probabilistic Programs. ESOP (2018)
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. CCS (2018)
Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka
Incremental inference for probabilistic programs. PLDI (2018)
Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev
Statistical Deobfuscation of Android Applications. CCS (2016)