Dana Drachsler-Cohen
发表
Mislav Balunovic,
Timon Gehr,
Ce Zhang,
2019,
ICML.
Oren Somekh,
Michal Aharon,
Dana Drachsler-Cohen,
2015,
RecSys.
Rüdiger Birkner,
Laurent Vanbever,
Martin Vechev,
2020,
NSDI.
Erez Petrank,
Dana Drachsler-Cohen,
2014,
OPODIS.
Eran Yahav,
Dana Drachsler-Cohen,
Martin T. Vechev,
2018,
PPOPP.
Dimitar Dimitrov,
Martin Vechev,
Petar Tsankov,
2020,
2020 IEEE Symposium on Security and Privacy (SP).
Eran Yahav,
Sharon Shoham,
Dana Drachsler-Cohen,
2017,
CAV.
Eran Yahav,
Dana Drachsler-Cohen,
Martin T. Vechev,
2016,
ArXiv.
Eran Yahav,
Nader H. Bshouty,
Dana Drachsler-Cohen,
2017,
COLT.
Swarat Chaudhuri,
Matthew Mirman,
Timon Gehr,
2018,
2018 IEEE Symposium on Security and Privacy (SP).
Timon Gehr,
Petar Tsankov,
Dana Drachsler-Cohen,
2018,
CCS.
Petar Tsankov,
Dana Drachsler-Cohen,
Martin T. Vechev,
2018,
CCS.
Rüdiger Birkner,
Laurent Vanbever,
Dana Drachsler-Cohen,
2018,
NSDI.