Mohammad Torabi Dashti Senior Researcher Institute of Information Security ETH Zurich contact info

===

Teaching

• Spring 2013: Formal Methods for Information Security link

===

Research interests

• Information security

• Model checking

• Distributed computing

Publications, DBLP entry

===

Research projects

• SPaCIoS link

• AVANTSSAR link