Benjamin Bichsel
发表
Timon Gehr,
Martin T. Vechev,
Benjamin Bichsel,
2018,
ESOP.
Petar Tsankov,
Martin T. Vechev,
Veselin Raychev,
2016,
CCS.
Martin T. Vechev,
Veselin Raychev,
Benjamin Bichsel,
2019,
PLDI.
Gunnar Rätsch,
André Kahles,
Martin T. Vechev,
2020,
RECOMB.
Gunnar Rätsch,
André Kahles,
Martin Vechev,
2020,
bioRxiv.
Petar Tsankov,
Martin T. Vechev,
Benjamin Bichsel,
2019,
CCS.
Timon Gehr,
Petar Tsankov,
Dana Drachsler-Cohen,
2018,
CCS.
Timon Gehr,
Vikash K. Mansinghka,
Martin T. Vechev,
2018,
PLDI.
Martin T. Vechev,
Benjamin Bichsel,
Samuel Steffen,
2021,
PLDI.
Martin T. Vechev,
Ilija Bogunovic,
Benjamin Bichsel,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Martin Vechev,
Petar Tsankov,
Benjamin Bichsel,
2020,
ArXiv.