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

Benjamin Bichsel, Maximilian Baader, Timon Gehr, +1

EngineeringQuantum Programming LanguagesQuantum ProgrammingQuantum LanguagesCluttered Code +14

Statistical Deobfuscation of Android Applications

Benjamin Bichsel, Veselin Raychev, Petar Tsankov, +1

Mobile SecurityEngineeringInformation SecurityAndroid ApksInformation Forensics +16

zkay

Samuel Steffen, Benjamin Bichsel, Mario Gersbach, +3

EngineeringInformation SecurityVerificationSmart ContractsSoftware Analysis +15

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

Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, +1

2022 IEEE Symposium on Security and Privacy (SP)

DP-Finder

Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, +2

Privacy ProtectionPresent Dp-finderTight Lower BoundsData ScienceEngineering +13

Scalable taint specification inference with big code

Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, +1

EngineeringInformation SecurityVerificationInformation ForensicsSource Code Analysis +18

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

Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, +1

Privacy ProtectionEngineeringInformation SecurityPresent Dp-sniperInformation Forensics +14

Unqomp: synthesizing uncomputation in Quantum circuits

Anouk Paradis, Benjamin Bichsel, Samuel Steffen, +1

Quantum CompilersQuantum ScienceQuantum LanguagesEngineeringQuantum Computing +11

Zapper

Samuel Steffen, Benjamin Bichsel, Martin Vechev

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

Incremental inference for probabilistic programs

Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, +2

EngineeringData ScienceIncremental InferenceAutomated ReasoningProgram Analysis +11