9 citations · 20 across the 3 of their papers we have counts for
3 papers
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation
Benjamin Bichsel, Anouk Paradis, Maximilian Baader +1
Stabilizer simulation can efficiently simulate an important class of quantum circuits consisting exclusively of Clifford gates. However, all existing extensions of this simulation…
Reqomp: Space-constrained Uncomputation for Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Martin Vechev
Quantum circuits must run on quantum computers with tight limits on qubit and gate counts. To generate circuits respecting both limits, a promising opportunity is exploiting uncomp…
zkay v0.2: Practical Data Privacy for Smart Contracts
Nick Baumann, Samuel Steffen, Benjamin Bichsel +2
Recent work introduces zkay, a system for specifying and enforcing data privacy in smart contracts. While the original prototype implementation of zkay (v0.1) demonstrates the feas…