Benjamin Bichsel

According to our database, Benjamin Bichsel authored at least 17 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reqomp: Space-constrained Uncomputation for Quantum Circuits.

Anouk Paradis, Benjamin Bichsel, Martin T. Vechev

Quantum, February, 2024

2023

Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation.

Benjamin Bichsel, Anouk Paradis, Maximilian Baader, Martin T. Vechev

Quantum, November, 2023

High-Level Quantum Programming.

Benjamin Bichsel

PhD thesis, 2023

2022

ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs.

Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin T. Vechev

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Fast and Optimal Sequence-to-Graph Alignment Guided by Seeds.

Pesho Ivanov, Benjamin Bichsel, Martin T. Vechev

Proceedings of the Research in Computational Molecular Biology, 2022

Zapper: Smart Contracts with Data and Identity Privacy.

Samuel Steffen, Benjamin Bichsel, Martin T. Vechev

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers.

Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, Martin T. Vechev

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Unqomp: synthesizing uncomputation in Quantum circuits.

Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

zkay v0.2: Practical Data Privacy for Smart Contracts.

Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin T. Vechev

CoRR, 2020

AStarix: Fast and Optimal Sequence-to-Graph Alignment.

Pesho Ivanov, Benjamin Bichsel, Harun Mustafa, André Kahles, Gunnar Rätsch, Martin T. Vechev

Proceedings of the Research in Computational Molecular Biology, 2020

Silq: a high-level quantum language with safe uncomputation and intuitive semantics.

Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Scalable taint specification inference with big code.

Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

zkay: Specifying and Enforcing Data Privacy in Smart Contracts.

Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Incremental inference for probabilistic programs.

Marco F. Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Fine-Grained Semantics for Probabilistic Programs.

Benjamin Bichsel, Timon Gehr, Martin T. Vechev

Proceedings of the Programming Languages and Systems, 2018

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization.

Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2016

Statistical Deobfuscation of Android Applications.

Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016