Benjamin Bichsel | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Martin Vechev
49 publications
Maximilian Baader
8 publications
Petar Tsankov
4 publications
Samuel Steffen
2 publications
Anouk Paradis
1 publication
Nick Baumann
1 publication

research

∙ 04/03/2023

Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation

Stabilizer simulation can efficiently simulate an important class of qua...

0 Benjamin Bichsel, et al. ∙

research

∙ 09/02/2020

zkay v0.2: Practical Data Privacy for Smart Contracts

Recent work introduces zkay, a system for specifying and enforcing data ...

0 Nick Baumann, et al. ∙