| 2020 | RAID | Effective Detection of Credential Thefts from Windows Memory: Learning Access Behaviours to Local Security Authority Subsystem Service. | Patrick Ah-Fat, Michael Huth, Rob Mead, Tim Burrell, Joshua Neil |
| 2019 | ISIT | Scalable Information Flow Analysis of Secure Three-Party Affine Computations. | Patrick Ah-Fat, Michael Huth |
| 2019 | SACMAT | Owner-Centric Sharing of Physical Resources, Data, and Data-Driven Insights in Digital Ecosystems. | Kwok Cheung, Michael Huth, Laurence Kirk, Leif-Nissen Lundbk, Rodolphe Marques, Jan Petsche |
| 2018 | SmartComp | Reasoning about Smart City. | Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman |
| 2015 | ESORICS | Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks. | Paul Beaumont, Neil Evans, Michael Huth, Tom Plant |
| 2014 | HCI | On Designing Usable Policy Languages for Declarative Trust Aggregation. | Michael Huth, Jim Huan-Pu Kuo |
| 2014 | TACAS | PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence. | Michael Huth, Jim Huan-Pu Kuo |
| 2013 | FOSSACS | Fatal Attractors in Parity Games. | Michael Huth, Jim Huan-Pu Kuo, Nir Piterman |
| 2013 | HCI | Towards Usable Generation and Enforcement of Trust Evidence from Programmers' Intent. | Michael Huth, Jim Huan-Pu Kuo, M. Angela Sasse, Iacovos Kirlappos |
| 2012 | CADE | Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning. | Jason Crampton, Michael Huth, Jim Huan-Pu Kuo |
| 2011 | BPM | On the Modeling and Verification of Security-Aware and Process-Aware Information Systems. | Jason Crampton, Michael Huth |
| 2011 | SACMAT | Program synthesis in administration of higher-order permissions. | Glenn Bruns, Michael Huth, Kumar Avijit |
| 2010 | ESORICS | An Authorization Framework Resilient to Policy Evaluation Failures. | Jason Crampton, Michael Huth |
| 2009 | FCT | Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. | Michael Huth, Nir Piterman, Daniel Wagner |
| 2008 | FOSSACS | Complexity of Decision Problems for Mixed and Modal Specifications. | Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2008 | VMCAI | Model Checking for Action Abstraction. | Harald Fecher, Michael Huth |
| 2007 | CAV | Hector: Software Model Checking with Cooperating Analysis Plugins. | Nathaniel Charlton, Michael Huth |
| 2007 | CCS | A simple and expressive semantic framework for policy composition in access control. | Glenn Bruns, Daniel S. Dantas, Michael Huth |
| 2007 | VMCAI | More Precise Partition Abstractions. | Harald Fecher, Michael Huth |
| 2006 | ATVA | Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. | Harald Fecher, Michael Huth |
| 2005 | LICS | Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. | Patrice Godefroid, Michael Huth |
| 2004 | ISoLA | On model checking multiple hybrid views. | Michael Huth, Altaf Hussain |
| 2004 | LICS | Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space. | Michael Huth |
| 2002 | VMCAI | Model Checking Modal Transition Systems Using Kripke Structures. | Michael Huth |
| 2001 | CONCUR | Abstraction-Based Model Checking Using Modal Transition Systems. | Patrice Godefroid, Michael Huth, Radha Jagadeesan |
| 2001 | ESOP | Modal Transition Systems: A Foundation for Three-Valued Program Analysis. | Michael Huth, Radha Jagadeesan, David A. Schmidt |
| 1997 | CSL | A Duality Theory for Quantitative Semantics. | Reinhold Heckmann, Michael Huth |
| 1997 | LICS | Quantitative Analysis and Model Checking. | Michael Huth, Marta Z. Kwiatkowska |
| 1994 | LICS | Linear Types, Approximation, and Topology | Michael Huth, Achim Jung, Klaus Keimel |
| 1993 | MFPS | Linear Domains and Linear Maps. | Michael Huth |
| 1991 | MFPS | Cartesian Closed Categories of Domains and the Space Proj(D). | Michael Huth |