Mohammad Torabi Dashti
Institute of Information Security
ETH Zurich
contact info
===
Research interests
Information security
Model checking
Distributed computing
Publications
, DBLP
entry
===
Research projects
SPaCIoS
link
AVANTSSAR
link