Statistical Deobfuscation of Android Applications. - Benjamin Bichsel; Veselin Raychev; Petar Tsankov; Martin T. Vechev (CCS, 2016)

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. - Benjamin Bichsel; Timon Gehr; Dana Drachsler-Cohen; Petar Tsankov; Martin T. Vechev (CCS, 2018)

Fine-Grained Semantics for Probabilistic Programs. - Benjamin Bichsel; Timon Gehr; Martin T. Vechev (ESOP, 2018)

Incremental inference for probabilistic programs. - Marco F. Cusumano-Towner; Benjamin Bichsel; Timon Gehr; Martin T. Vechev; Vikash K. Mansinghka (PLDI, 2018)

zkay: Specifying and Enforcing Data Privacy in Smart Contracts. - Samuel Steffen; Benjamin Bichsel; Mario Gersbach; Noa Melchior; Petar Tsankov; Martin T. Vechev (CCS, 2019)

Scalable taint specification inference with big code. - Victor Chibotaru; Benjamin Bichsel; Veselin Raychev; Martin T. Vechev (PLDI, 2019)

Silq: a high-level quantum language with safe uncomputation and intuitive semantics. - Benjamin Bichsel; Maximilian Baader; Timon Gehr; Martin T. Vechev (PLDI, 2020)

AStarix: Fast and Optimal Sequence-to-Graph Alignment. - Pesho Ivanov; Benjamin Bichsel; Harun Mustafa; André Kahles; Gunnar Rätsch; Martin T. Vechev (RECOMB, 2020)

zkay v0.2: Practical Data Privacy for Smart Contracts. - Nick Baumann; Samuel Steffen; Benjamin Bichsel; Petar Tsankov; Martin T. Vechev (CoRR, 2020)

Unqomp: synthesizing uncomputation in Quantum circuits. - Anouk Paradis; Benjamin Bichsel; Samuel Steffen; Martin T. Vechev (PLDI, 2021)

DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers. - Benjamin Bichsel; Samuel Steffen; Ilija Bogunovic; Martin T. Vechev (SP, 2021)

Zapper: Smart Contracts with Data and Identity Privacy. - Samuel Steffen; Benjamin Bichsel; Martin T. Vechev (CCS, 2022)

Fast and Optimal Sequence-to-Graph Alignment Guided by Seeds. - Pesho Ivanov; Benjamin Bichsel; Martin T. Vechev (RECOMB, 2022)

ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs. - Samuel Steffen; Benjamin Bichsel; Roger Baumgartner; Martin T. Vechev (SP, 2022)

High-Level Quantum Programming. - Benjamin Bichsel (2023)

Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation. - Benjamin Bichsel; Anouk Paradis; Maximilian Baader; Martin T. Vechev (Quantum, 2023)

Synthetiq: Fast and Versatile Quantum Circuit Synthesis. - Anouk Paradis; Jasper Dekoninck; Benjamin Bichsel; Martin T. Vechev (Proc. ACM Program. Lang., 2024)

Reqomp: Space-constrained Uncomputation for Quantum Circuits. - Anouk Paradis; Benjamin Bichsel; Martin T. Vechev (Quantum, 2024)

Synthetiq: Fast and Versatile Quantum Circuit Synthesis. - Anouk Paradis; Jasper Dekoninck; Benjamin Bichsel; Martin T. Vechev (Zenodo, 2024)