Michael Huth

Professor of Computer Science
Postdoctoral Mentor

Contact Details, Research, Teaching, Biography, Talks

Research interests

I engage in a combination of blue-sky and application-driven research in Cybersecurity, Mathematical Modeling, and Formal Verification. My current research activities focus on

Current activities:


Here are some of my papers on cybersecurity. With Jim Kuo and Nir Piterman I wrote papers on parity games: on the Rabin index and Fatal Attractors (extended open-access version here) of parity games, and Alternating Reachability under Parity (tech report version).


I gratefully acknowledge funding from Intel® Corporation for a research project on Trust Evidence (Paper on Foundations and Tool and Tool Information such as Installation, User Guide, etc.), and for the development of an Undergraduate teaching module on the design and validation of security protocols (TRUST 2013 poster).