Michael Huth

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 34

Top Venues

CoRR

GandALF

Semantics, Logics, and Calculi

Sensors

Publications

Xihan Xiong, Zhipeng Wang, William J. Knottenbelt, Michael Huth
Demystifying Just-in-Time (JIT) Liquidity Attacks on Uniswap V3. IACR Cryptol. ePrint Arch. 2023 (2023)
Andreas Pfützner, Barbora Tencer, Boris Stamm, Mandar Mehta, Preeti Sharma, Rustam Gilyazev, Hendrick Jensch, Nicole Thomé, Michael Huth
Miniaturization of an Osmotic Pressure-Based Glucose Sensor for Continuous Intraperitoneal and Subcutaneous Glucose Monitoring by Means of Nanotechnology. Sensors 23 (9) (2023)
Amit Chaulwar, Lukas Malik, Maciej Krajewski, Felix Reichel, Leif-Nissen Lundbæk, Michael Huth, Bartlomiej Matejczyk
Extreme compression of sentence-transformer ranker models: faster inference, longer battery life, and less storage on edge devices. CoRR (2022)
Petar Radanliev, David De Roure, Razvan Nicolescu, Michael Huth, Omar Santos
Digital twins: artificial intelligence and the IoT cyber-physical systems in Industry 4.0. Int. J. Intell. Robotics Appl. 6 (1) (2022)
Amit Chaulwar, Michael Huth
Secure Bayesian Federated Analytics for Privacy-Preserving Trend Detection. CoRR (2021)
Petar Radanliev, David De Roure, Razvan Nicolescu, Michael Huth, Omar Santos
Artificial Intelligence and the Internet of Things in Industry 4.0. CCF Trans. Pervasive Comput. Interact. 3 (3) (2021)
Patrick Ah-Fat, Michael Huth
Two and Three-Party Digital Goods Auctions: Scalable Privacy Analysis. CoRR (2020)
Patrick Ah-Fat, Michael Huth
Protecting Private Inputs: Bounded Distortion Guarantees With Randomised Approximations. Proc. Priv. Enhancing Technol. 2020 (3) (2020)
Patrick Ah-Fat, Michael Huth, Rob Mead, Tim Burrell, Joshua Neil
Effective Detection of Credential Thefts from Windows Memory: Learning Access Behaviours to Local Security Authority Subsystem Service. RAID (2020)
Shihan Bao, Yue Cao, Ao Lei, Philip Michael Asuquo, Haitham S. Cruickshank, Zhili Sun, Michael Huth
Pseudonym Management Through Blockchain: Cost-Efficient Privacy Preservation on Intelligent Transportation Systems. IEEE Access 7 (2019)
Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, David A. Wollman, Patrick Kamongi
Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making. MSCPES@CPSIoTWeek (2019)
Patrick Ah-Fat, Michael Huth
Optimal Accuracy-Privacy Trade-Off for Secure Computations. IEEE Trans. Inf. Theory 65 (5) (2019)
Kwok Cheung, Michael Huth, Laurence Kirk, Leif-Nissen Lundbæk, Rodolphe Marques, Jan Petsche
Owner-Centric Sharing of Physical Resources, Data, and Data-Driven Insights in Digital Ecosystems. SACMAT (2019)
Kwok Cheung, Michael Huth, Laurence Kirk, Leif-Nissen Lundbæk, Rodolphe Marques, Jan Petsche
Owner-centric sharing of physical resources, data, and data-driven insights in digital ecosystems. CoRR (2019)
Patrick Ah-Fat, Michael Huth
Scalable Information Flow Analysis of Secure Three-Party Affine Computations. ISIT (2019)
Petar Radanliev, David De Roure, Razvan Nicolescu, Michael Huth
A reference architecture for integrating the Industrial Internet of Things in the Industry 4.0. CoRR (2019)
Patrick Ah-Fat, Michael Huth
Scalable Information-Flow Analysis of Secure Three-Party Affine Computations. CoRR (2019)
Michael Huth, Claire Vishik, Riccardo Masucci
Risk Engineering and Blockchain: Anticipating and Mitigating Risks. BIS (Workshops) (2018)
Razvan Nicolescu, Michael Huth, Petar Radanliev, David De Roure
Mapping the values of IoT. J. Inf. Technol. 33 (4) (2018)
Michael Huth
The Merits of Compositional Abstraction: A Case Study in Propositional Logic. Models, Mindsets, Meta (2018)
Miten Mistry, Andrea Callia D'Iddio, Michael Huth, Ruth Misener
Satisfiability modulo theories for process systems engineering. Comput. Chem. Eng. 113 (2018)
Patrick Ah-Fat, Michael Huth
Optimal Accuracy-Privacy Trade-Off for Secure Multi-Party Computations. CoRR (2018)
Petar Radanliev, David Charles De Roure, Razvan Nicolescu, Michael Huth, Rafael Montalvo Mantilla, Stacy Cannady, Peter Burnap
Future developments in cyber risk assessment for the internet of things. CoRR (2018)
Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, Martin Burns, David A. Wollman
Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems. CoRR (2018)
Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman
Reasoning about Smart City. SMARTCOMP (2018)
Petar Radanliev, David Charles De Roure, Razvan Nicolescu, Michael Huth, Rafael Montalvo Mantilla, Stacy Cannady, Peter Burnap
Future developments in cyber risk assessment for the internet of things. Comput. Ind. 102 (2018)
Leif-Nissen Lundbaek, Michael Huth
Oligarchic Control of Business-to-Business Blockchains. EuroS&P Workshops (2017)
Paul Beaumont, Michael Huth
Constrained Bayesian Networks: Theory, Optimization, and Applications. CoRR (2017)
Leif-Nissen Lundbæk, Andrea Callia D'Iddio, Michael Huth
Centrally Governed Blockchains: Optimizing Security, Cost, and Availability. Models, Algorithms, Logics and Tools (2017)
Andrea Callia D'Iddio, Michael Huth
Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving. CoRR (2017)
Patrick Ah-Fat, Michael Huth
Secure Multi-party Computation: Information Flow of Outputs and Game Theory. POST (2017)
Leif-Nissen Lundbaek, Andrea Callia D'Iddio, Michael Huth
Optimizing Governed Blockchains for Financial Process Authentications. CoRR (2016)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Static Analysis of Parity Games: Alternating Reachability Under Parity. Semantics, Logics, and Calculi (2016)
Patrick Ah-Fat, Michael Huth
Partial Solvers for Parity Games: Effective Polynomial-Time Composition. GandALF (2016)
Paul Beaumont, Neil Evans, Michael Huth, Tom Plant
Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks. ESORICS (1) (2015)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
The Rabin index of parity games: Its complexity and approximation. Inf. Comput. 245 (2015)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Fatal Attractors in Parity Games: Building Blocks for Partial Solvers. CoRR (2014)
Michael Huth, Jim Huan-Pu Kuo
PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence. TACAS (2014)
Jason Crampton, Michael Huth, Jim Huan-Pu Kuo
Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
Michael Huth, Jim Huan-Pu Kuo
On Designing Usable Policy Languages for Declarative Trust Aggregation. HCI (24) (2014)
Rafael Accorsi, Jason Crampton, Michael Huth, Stefanie Rinderle-Ma
Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341). Dagstuhl Reports 3 (8) (2013)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Fatal Attractors in Parity Games. FoSSaCS (2013)
Michael Huth, Jim Huan-Pu Kuo
Towards Verifiable Trust Management for Software Execution - (Extended Abstract). TRUST (2013)
Michael Huth, Jim Huan-Pu Kuo, M. Angela Sasse, Iacovos Kirlappos
Towards Usable Generation and Enforcement of Trust Evidence from Programmers' Intent. HCI (27) (2013)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
The Rabin index of parity games. GandALF (2013)
Jason Crampton, Michael Huth, Jim Huan-Pu Kuo
Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning. PAAR@IJCAR (2012)
Michael Huth, Nir Piterman, Daniel Wagner
p-Automata: New foundations for discrete-time probabilistic verification. Perform. Evaluation 69 (7-8) (2012)
Glenn Bruns, Philip W. L. Fong, Ida Sri Rejeki Siahaan, Michael Huth
Relationship-based access control: its expression and enforcement through hybrid logic. CODASPY (2012)
Glenn Bruns, Michael Huth
Access control via belnap logic: Intuitive, expressive, and analyzable policy composition. ACM Trans. Inf. Syst. Secur. 14 (1) (2011)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Concurrent Small Progress Measures. Haifa Verification Conference (2011)
Glenn Bruns, Michael Huth, Kumar Avijit
Program synthesis in administration of higher-order permissions. SACMAT (2011)
Jason Crampton, Michael Huth
On the Modeling and Verification of Security-Aware and Process-Aware Information Systems. Business Process Management Workshops (2) (2011)
David M. Nicol, Michael Huth
Message from the program chairs. Perform. Evaluation 68 (2) (2011)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
The Rabin Index of Parity Games - (Extended Abstract). Haifa Verification Conference (2011)
Jason Crampton, Michael Huth
An Authorization Framework Resilient to Policy Evaluation Failures. ESORICS (2010)
Christian H. Schwalb, Christina Grimm, Markus Baranowski, Roland Sachser, Fabrizio Porrati, Heiko Reith, Pintu Das, Jens Müller, Friedemann Völklein, Alexander Kaya, Michael Huth
A Tunable Strain Sensor Using Nanogranular Metals. Sensors 10 (11) (2010)
Jason Crampton, Michael Huth
A Framework for the Modular Specification and Orchestration of Authorization Policies. NordSec (2010)
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
Modal and mixed specifications: key decision problems and their complexities. Math. Struct. Comput. Sci. 20 (1) (2010)
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games. Perform. Evaluation 67 (9) (2010)
Michael Huth, Nir Piterman, Daniel Wagner
p-Automata: New Foundations for Discrete-Time Probabilistic Verification. QEST (2010)
Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Michael Huth, Orna Grumberg
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. Int. J. Softw. Tools Technol. Transf. 11 (2) (2009)
Adam Antonik, Nathaniel Charlton, Michael Huth
Polynomial-Time Under-Approximation of Winning Regions in Parity Games. Electron. Notes Theor. Comput. Sci. 225 (2009)
Mark Kattenbelt, Michael Huth
Verification and Refutation of Probabilistic Specifications via Games. FSTTCS (2009)
Michael Huth, Nir Piterman, Daniel Wagner
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. FCT (2009)
Michael Huth, Nir Piterman, Huaxin Wang
A workbench for preprocessor design and evaluation: toward benchmarks for parity games. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Adam Antonik, Michael Huth
On the Complexity of Semantic Self-minimization. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Glenn Bruns, Michael Huth
Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. CSF (2008)
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS (2008)
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
Hintikka Games for PCTL on Labeled Markov Chains. QEST (2008)
Nathaniel Charlton, Michael Huth
Falsifying Safety Properties Through Games on Over-approximating Models. Electron. Notes Theor. Comput. Sci. 223 (2008)
Harald Fecher, Michael Huth
Model Checking for Action Abstraction. VMCAI (2008)
Altaf Hussain, Michael Huth
On model checking multiple hybrid views. Theor. Comput. Sci. 404 (3) (2008)
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
EXPTIME-complete Decision Problems for Modal and Mixed Specifications. EXPRESS (2008)
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
20 Years of Modal and Mixed Specifications. Bull. EATCS 95 (2008)
Michael Huth
Some current topics in model checking. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
Harald Fecher, Michael Huth
More Precise Partition Abstractions. VMCAI (2007)
Nathaniel Charlton, Michael Huth
Hector: Software Model Checking with Cooperating Analysis Plugins. CAV (2007)
Glenn Bruns, Daniel S. Dantas, Michael Huth
A simple and expressive semantic framework for policy composition in access control. FMSE (2007)
Harald Fecher, Michael Huth
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. ATVA (2006)
Adam Antonik, Michael Huth
LTL. MFPS (2006)
Michael Huth
Topological Analysis of Refinement. Electron. Notes Theor. Comput. Sci. 161 (2006)
Michael Huth
Labelled transition systems as a Stone space. Log. Methods Comput. Sci. 1 (1) (2005)
Michael Huth
Refinement is complete for implementations. Formal Aspects Comput. 17 (2) (2005)
Michael Huth
On finite-state approximants for probabilistic computation tree logic. Theor. Comput. Sci. 346 (1) (2005)
Michael Huth
Preface. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Patrice Godefroid, Michael Huth
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. LICS (2005)
Michael Huth
Abstraction and Probabilities for Hybrid Logics. Electron. Notes Theor. Comput. Sci. 112 (2005)
Altaf Hussain, Michael Huth
Automata Games for Multiple-model Checking. MFPS (2005)
Michael Huth
Labelled transition systems as a Stone space CoRR (2004)
Michael Huth
Mathematics for the exploration of requirements. ACM SIGCSE Bull. 36 (2) (2004)
Michael Huth, Altaf Hussain
On model checking multiple hybrid views. ISoLA (Preliminary proceedings) (2004)
Michael Huth
An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems. Validation of Stochastic Systems (2004)
Michael Huth, Shekhar Pradhan
Consistent Partial Model Checking. Electron. Notes Theor. Comput. Sci. 73 (2004)
Michael Huth
Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space. LICS (2004)
Michael Huth, Radha Jagadeesan, David A. Schmidt
A domain equation for refinement of partial systems. Math. Struct. Comput. Sci. 14 (4) (2004)
Michael Huth
Model Checking Modal Transition Systems Using Kripke Structures. VMCAI (2002)
Michael Huth
Possibilistic and Probabilistic Abstraction-Based Model Checking. PAPM-PROBMIV (2002)
Michael Huth, Shekhar Pradhan
Model-Checking View-Based Partial Specifications. MFPS (2001)
Götz Alefeld, Vladik Kreinovich, Günter Mayer, Michael Huth
A Comment on the Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients. Reliab. Comput. 7 (3) (2001)

Michael Huth.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Huth