Benjamin Bichsel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
5
Active years
2016–2022
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CCS | Zapper: Smart Contracts with Data and Identity Privacy. | Samuel Steffen, Benjamin Bichsel, Martin T. Vechev |
| 2022 | RECOMB | Fast and Optimal Sequence-to-Graph Alignment Guided by Seeds. | Pesho Ivanov, Benjamin Bichsel, Martin T. Vechev |
| 2022 | SP | ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs. | Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin T. Vechev |
| 2021 | PLDI | Unqomp: synthesizing uncomputation in Quantum circuits. | Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev |
| 2021 | SP | DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers. | Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin T. Vechev |
| 2020 | PLDI | Silq: a high-level quantum language with safe uncomputation and intuitive semantics. | Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev |
| 2020 | RECOMB | AStarix: Fast and Optimal Sequence-to-Graph Alignment. | Pesho Ivanov, Benjamin Bichsel, Harun Mustafa, Andr Kahles, Gunnar Rtsch, Martin T. Vechev |
| 2019 | CCS | zkay: Specifying and Enforcing Data Privacy in Smart Contracts. | Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev |
| 2019 | PLDI | Scalable taint specification inference with big code. | Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev |
| 2018 | CCS | DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. | Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev |
| 2018 | ESOP | Fine-Grained Semantics for Probabilistic Programs. | Benjamin Bichsel, Timon Gehr, Martin T. Vechev |
| 2018 | PLDI | Incremental inference for probabilistic programs. | Marco F. Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka |
| 2016 | CCS | Statistical Deobfuscation of Android Applications. | Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev |