Michael Huth - RankMe

134 papers A* 5A 6B 17C 4Journal 49Unranked 43

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Leverage Staking with Liquid Staking Derivatives (LSDs): Opportunities and Risks. ICBC Xihan Xiong, Zhipeng Wang, Xi Chen, William Knottenbelt, Michael Huth
2025	J	`jnl`	REGKYC: Supporting Privacy and Compliance Enforcement for KYC in Blockchains. IACR Cryptol. ePrint Arch. Xihan Xiong, Michael Huth, William Knottenbelt
2025	C	`conf`	RegKYC: Supporting Privacy and Compliance Enforcement for KYC in Blockchains. ICBC Xihan Xiong, Michael Huth, William Knottenbelt
2024	J	`jnl`	Leverage Staking with Liquid Staking Derivatives (LSDs): Opportunities and Risks. CoRR Xihan Xiong, Zhipeng Wang, Xi Chen, William J. Knottenbelt, Michael Huth
2023	—	`conf`	Demystifying Just-in-Time (JIT) Liquidity Attacks on Uniswap V3. BRAINS Xihan Xiong, Zhipeng Wang, William J. Knottenbelt, Michael Huth
2023	J	`jnl`	Demystifying Just-in-Time (JIT) Liquidity Attacks on Uniswap V3. IACR Cryptol. ePrint Arch. Xihan Xiong, Zhipeng Wang, William J. Knottenbelt, Michael Huth
2023	J	`jnl`	Leverage Staking with Liquid Staking Derivatives (LSDs): Opportunities and Risks. IACR Cryptol. ePrint Arch. Xihan Xiong, Zhipeng Wang, Xi Chen, William J. Knottenbelt, Michael Huth
2022	J	`jnl`	Digital twins: artificial intelligence and the IoT cyber-physical systems in Industry 4.0. Int. J. Intell. Robotics Appl. Petar Radanliev, David De Roure, Razvan Nicolescu, Michael Huth, Omar Santos
2022	J	`jnl`	Extreme compression of sentence-transformer ranker models: faster inference, longer battery life, and less storage on edge devices. CoRR Amit Chaulwar, Lukas Malik, Maciej Krajewski, Felix Reichel, Leif-Nissen Lundbæk, Michael Huth, Bartlomiej Matejczyk
2021	J	`jnl`	Artificial Intelligence and the Internet of Things in Industry 4.0. CCF Trans. Pervasive Comput. Interact. Petar Radanliev, David De Roure, Razvan Nicolescu, Michael Huth, Omar Santos
2021	J	`jnl`	Secure Bayesian Federated Analytics for Privacy-Preserving Trend Detection. CoRR Amit Chaulwar, Michael Huth
2020	A	`conf`	Effective Detection of Credential Thefts from Windows Memory: Learning Access Behaviours to Local Security Authority Subsystem Service. RAID Patrick Ah-Fat, Michael Huth, Rob Mead, Tim Burrell, Joshua Neil
2020	J	`jnl`	Protecting Private Inputs: Bounded Distortion Guarantees With Randomised Approximations. Proc. Priv. Enhancing Technol. Patrick Ah-Fat, Michael Huth
2020	J	`jnl`	Two and Three-Party Digital Goods Auctions: Scalable Privacy Analysis. CoRR Patrick Ah-Fat, Michael Huth
2019	J	`jnl`	A reference architecture for integrating the Industrial Internet of Things in the Industry 4.0. CoRR Petar Radanliev, David De Roure, Razvan Nicolescu, Michael Huth
2019	—	`conf`	Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making. MSCPES@CPSIoTWeek Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, David A. Wollman, Patrick Kamongi
2019	J	`jnl`	Optimal Accuracy-Privacy Trade-Off for Secure Computations. IEEE Trans. Inf. Theory Patrick Ah-Fat, Michael Huth
2019	C	`conf`	Owner-Centric Sharing of Physical Resources, Data, and Data-Driven Insights in Digital Ecosystems. SACMAT Kwok Cheung, Michael Huth, Laurence Kirk, Leif-Nissen Lundbæk, Rodolphe Marques, Jan Petsche
2019	J	`jnl`	Owner-centric sharing of physical resources, data, and data-driven insights in digital ecosystems. CoRR Kwok Cheung, Michael Huth, Laurence Kirk, Leif-Nissen Lundbæk, Rodolphe Marques, Jan Petsche
2019	J	`jnl`	Pseudonym Management Through Blockchain: Cost-Efficient Privacy Preservation on Intelligent Transportation Systems. IEEE Access Shihan Bao, Yue Cao, Ao Lei, Philip Michael Asuquo, Haitham S. Cruickshank, Zhili Sun, Michael Huth
2019	B	`conf`	Scalable Information Flow Analysis of Secure Three-Party Affine Computations. ISIT Patrick Ah-Fat, Michael Huth
2019	J	`jnl`	Scalable Information-Flow Analysis of Secure Three-Party Affine Computations. CoRR Patrick Ah-Fat, Michael Huth
2019	—	`ch.`	Static Analysis for Proactive Security. Computing and Software Science Michael Huth, Flemming Nielson
2018	J	`jnl`	Future developments in cyber risk assessment for the internet of things. Comput. Ind. Petar Radanliev, David Charles De Roure, Razvan Nicolescu, Michael Huth, Rafael Montalvo Mantilla, Stacy Cannady, Peter Burnap
2018	J	`jnl`	Future developments in cyber risk assessment for the internet of things. CoRR Petar Radanliev, David Charles De Roure, Razvan Nicolescu, Michael Huth, Rafael Montalvo Mantilla, Stacy Cannady, Peter Burnap
2018	J	`jnl`	Mapping the values of IoT. J. Inf. Technol. Razvan Nicolescu, Michael Huth, Petar Radanliev, David De Roure
2018	—	`book`	Mathematical Foundations of Advanced Informatics, Volume 1: Inductive Approaches. Bernhard Steffen, Oliver Rüthing, Michael Huth
2018	J	`jnl`	Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems. CoRR Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, Martin Burns, David A. Wollman
2018	J	`jnl`	Optimal Accuracy-Privacy Trade-Off for Secure Multi-Party Computations. CoRR Patrick Ah-Fat, Michael Huth
2018	B	`conf`	Reasoning about Smart City. SMARTCOMP Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman
2018	—	`conf`	Risk Engineering and Blockchain: Anticipating and Mitigating Risks. BIS (Workshops) Michael Huth, Claire Vishik, Riccardo Masucci
2018	J	`jnl`	Satisfiability modulo theories for process systems engineering. Comput. Chem. Eng. Miten Mistry, Andrea Callia D'Iddio, Michael Huth, Ruth Misener
2018	—	`conf`	The Merits of Compositional Abstraction: A Case Study in Propositional Logic. Models, Mindsets, Meta Michael Huth
2017	—	`conf`	Centrally Governed Blockchains: Optimizing Security, Cost, and Availability. Models, Algorithms, Logics and Tools Leif-Nissen Lundbæk, Andrea Callia D'Iddio, Michael Huth
2017	J	`jnl`	Constrained Bayesian Networks: Theory, Optimization, and Applications. CoRR Paul Beaumont, Michael Huth
2017	J	`jnl`	Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving. CoRR Andrea Callia D'Iddio, Michael Huth
2017	—	`conf`	Oligarchic Control of Business-to-Business Blockchains. EuroS&P Workshops Leif-Nissen Lundbaek, Michael Huth
2017	—	`conf`	Secure Multi-party Computation: Information Flow of Outputs and Game Theory. POST Patrick Ah-Fat, Michael Huth
2016	J	`jnl`	Optimizing Governed Blockchains for Financial Process Authentications. CoRR Leif-Nissen Lundbaek, Andrea Callia D'Iddio, Michael Huth
2016	—	`conf`	Partial Solvers for Parity Games: Effective Polynomial-Time Composition. GandALF Patrick Ah-Fat, Michael Huth
2016	—	`conf`	Static Analysis of Parity Games: Alternating Reachability Under Parity. Semantics, Logics, and Calculi Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2015	—	`conf`	Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks. ESORICS (1) Paul Beaumont, Neil Evans, Michael Huth, Tom Plant
2015	J	`jnl`	The Rabin index of parity games: Its complexity and approximation. Inf. Comput. Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2014	J	`jnl`	Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking. Int. J. Softw. Tools Technol. Transf. Jason Crampton, Michael Huth, Jim Huan-Pu Kuo
2014	J	`jnl`	Fatal Attractors in Parity Games: Building Blocks for Partial Solvers. CoRR Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2014	—	`conf`	On Designing Usable Policy Languages for Declarative Trust Aggregation. HCI (24) Michael Huth, Jim Huan-Pu Kuo
2014	A	`conf`	PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence. TACAS Michael Huth, Jim Huan-Pu Kuo
2013	B	`conf`	Fatal Attractors in Parity Games. FoSSaCS Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2013	—	`conf`	The Rabin index of parity games. GandALF Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2013	—	`conf`	Towards Usable Generation and Enforcement of Trust Evidence from Programmers' Intent. HCI (27) Michael Huth, Jim Huan-Pu Kuo, M. Angela Sasse, Iacovos Kirlappos
2013	—	`conf`	Towards Verifiable Trust Management for Software Execution - (Extended Abstract). TRUST Michael Huth, Jim Huan-Pu Kuo
2013	—	`ed.`	Trust and Trustworthy Computing - 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings TRUST Michael Huth, N. Asokan, Srdjan Capkun, Ivan Flechais, Lizzie Coles-Kemp
2013	J	`jnl`	Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341). Dagstuhl Reports Rafael Accorsi, Jason Crampton, Michael Huth, Stefanie Rinderle-Ma
2012	—	`conf`	Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning. PAAR@IJCAR Jason Crampton, Michael Huth, Jim Huan-Pu Kuo
2012	—	`conf`	Relationship-based access control: its expression and enforcement through hybrid logic. CODASPY Glenn Bruns, Philip W. L. Fong, Ida Sri Rejeki Siahaan, Michael Huth
2012	J	`jnl`	p-Automata: New foundations for discrete-time probabilistic verification. Perform. Evaluation Michael Huth, Nir Piterman, Daniel Wagner
2011	J	`jnl`	Access control via belnap logic: Intuitive, expressive, and analyzable policy composition. ACM Trans. Inf. Syst. Secur. Glenn Bruns, Michael Huth
2011	—	`conf`	Concurrent Small Progress Measures. Haifa Verification Conference Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2011	—	`ch.`	Formal Methods and Access Control. Encyclopedia of Cryptography and Security (2nd Ed.) Michael Huth
2011	J	`jnl`	Message from the program chairs. Perform. Evaluation David M. Nicol, Michael Huth
2011	—	`conf`	On the Modeling and Verification of Security-Aware and Process-Aware Information Systems. Business Process Management Workshops (2) Jason Crampton, Michael Huth
2011	C	`conf`	Program synthesis in administration of higher-order permissions. SACMAT Glenn Bruns, Michael Huth, Kumar Avijit
2011	—	`conf`	The Rabin Index of Parity Games - (Extended Abstract). Haifa Verification Conference Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2010	—	`conf`	A Framework for the Modular Specification and Orchestration of Authorization Policies. NordSec Jason Crampton, Michael Huth
2010	A	`conf`	An Authorization Framework Resilient to Policy Evaluation Failures. ESORICS Jason Crampton, Michael Huth
2010	J	`jnl`	Modal and mixed specifications: key decision problems and their complexities. Math. Struct. Comput. Sci. Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
2010	J	`jnl`	PCTL model checking of Markov chains: Truth and falsity as winning strategies in games. Perform. Evaluation Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
2010	—	`ch.`	Towards an Access-Control Framework for Countering Insider Threats. Insider Threats in Cyber Security Jason Crampton, Michael Huth
2010	—	`conf`	p-Automata: New Foundations for Discrete-Time Probabilistic Verification. QEST Michael Huth, Nir Piterman, Daniel Wagner
2009	J	`jnl`	A workbench for preprocessor design and evaluation: toward benchmarks for parity games. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Michael Huth, Nir Piterman, Huaxin Wang
2009	J	`jnl`	Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. Int. J. Softw. Tools Technol. Transf. Michael Huth, Orna Grumberg
2009	B	`conf`	Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. FCT Michael Huth, Nir Piterman, Daniel Wagner
2009	—	`conf`	Verification and Refutation of Probabilistic Specifications via Games. FSTTCS Mark Kattenbelt, Michael Huth
2008	J	`jnl`	20 Years of Modal and Mixed Specifications. Bull. EATCS Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
2008	A	`conf`	Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. CSF Glenn Bruns, Michael Huth
2008	B	`conf`	Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2008	—	`conf`	EXPTIME-complete Decision Problems for Modal and Mixed Specifications. EXPRESS Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2008	—	`conf`	Falsifying Safety Properties Through Games on Over-approximating Models. RP Nathaniel Charlton, Michael Huth
2008	—	`conf`	Hintikka Games for PCTL on Labeled Markov Chains. QEST Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
2008	B	`conf`	Model Checking for Action Abstraction. VMCAI Harald Fecher, Michael Huth
2008	J	`jnl`	On model checking multiple hybrid views. Theor. Comput. Sci. Altaf Hussain, Michael Huth
2007	—	`conf`	A simple and expressive semantic framework for policy composition in access control. FMSE Glenn Bruns, Daniel S. Dantas, Michael Huth
2007	A*	`conf`	Hector: Software Model Checking with Cooperating Analysis Plugins. CAV Nathaniel Charlton, Michael Huth
2007	B	`conf`	More Precise Partition Abstractions. VMCAI Harald Fecher, Michael Huth
2007	—	`conf`	On the Complexity of Semantic Self-minimization. AVoCS Adam Antonik, Michael Huth
2007	—	`conf`	Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. AVoCS Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn
2007	J	`jnl`	Some current topics in model checking. Int. J. Softw. Tools Technol. Transf. Michael Huth
2007	A	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings TACAS Orna Grumberg, Michael Huth
2006	B	`conf`	Efficient Patterns for Model Checking Partial State Spaces in CTL MFPS Adam Antonik, Michael Huth
2006	—	`conf`	Polynomial-Time Under-Approximation of Winning Regions in Parity Games. MFCSIT Adam Antonik, Nathaniel Charlton, Michael Huth
2006	B	`conf`	Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. ATVA Harald Fecher, Michael Huth
2005	B	`conf`	Automata Games for Multiple-model Checking. MFPS Altaf Hussain, Michael Huth
2005	J	`jnl`	Labelled transition systems as a Stone space. Log. Methods Comput. Sci. Michael Huth
2005	A*	`conf`	Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. LICS Patrice Godefroid, Michael Huth
2005	J	`jnl`	On finite-state approximants for probabilistic computation tree logic. Theor. Comput. Sci. Michael Huth
2005	—	`ed.`	Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004 AVoCS Michael Huth
2005	J	`jnl`	Refinement is complete for implementations. Formal Aspects Comput. Michael Huth
2004	J	`jnl`	A domain equation for refinement of partial systems. Math. Struct. Comput. Sci. Michael Huth, Radha Jagadeesan, David A. Schmidt
2004	—	`conf`	Abstraction and Probabilities for Hybrid Logics. QAPL Michael Huth
2004	—	`conf`	An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems. Validation of Stochastic Systems Michael Huth
2004	A*	`conf`	Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space. LICS Michael Huth
2004	J	`jnl`	Labelled transition systems as a Stone space CoRR Michael Huth
2004	—	`book`	Logic in computer science - modelling and reasoning about systems (2. ed.). Michael Huth, Mark Dermot Ryan
2004	J	`jnl`	Mathematics for the exploration of requirements. ACM SIGCSE Bull. Michael Huth
2004	—	`conf`	On model checking multiple hybrid views. ISoLA (Preliminary proceedings) Michael Huth, Altaf Hussain
2004	—	`conf`	Preface. AVoCS Michael Huth
2004	—	`conf`	Topological Analysis of Refinement. MFCSIT Michael Huth
2002	—	`conf`	Consistent Partial Model Checking. Workshop on Domains Michael Huth, Shekhar Pradhan
2002	B	`conf`	Model Checking Modal Transition Systems Using Kripke Structures. VMCAI Michael Huth
2002	—	`conf`	Possibilistic and Probabilistic Abstraction-Based Model Checking. PAPM-PROBMIV Michael Huth
2001	J	`jnl`	A Comment on the Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients. Reliab. Comput. Götz Alefeld, Vladik Kreinovich, Günter Mayer, Michael Huth
2001	B	`conf`	Abstraction-Based Model Checking Using Modal Transition Systems. CONCUR Patrice Godefroid, Michael Huth, Radha Jagadeesan
2001	A	`conf`	Modal Transition Systems: A Foundation for Three-Valued Program Analysis. ESOP Michael Huth, Radha Jagadeesan, David A. Schmidt
2001	B	`conf`	Model-Checking View-Based Partial Specifications. MFPS Michael Huth, Shekhar Pradhan
2001	—	`book`	Secure communicating systems - design, analysis, and implementation. Michael Huth
2000	J	`jnl`	Linear types and approximation. Math. Struct. Comput. Sci. Michael Huth, Achim Jung, Klaus Keimel
2000	—	`book`	Logic in computer science - modelling and reasoning about systems. Michael Huth, Mark Dermot Ryan
1999	—	`conf`	A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems and Interval Transition Systems. FSTTCS Michael Huth
1999	—	`conf`	Assume-Guarantee Model Checking of Software: A Comparative Case Study. SPIN Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth
1999	—	`ed.`	First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998 PROBMIV Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
1999	J	`jnl`	On the Approximation of Denotational Mu-Semantics. Appl. Categorical Struct. Michael Huth
1998	—	`conf`	Comparing CTL and PCTL on labeled Markov chains. PROCOMET Michael Huth, Marta Z. Kwiatkowska
1998	—	`conf`	Preface. PROBMIV Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
1997	B	`conf`	A Duality Theory for Quantitative Semantics. CSL Reinhold Heckmann, Michael Huth
1997	B	`conf`	A powerdomain of possibility measures. MFPS Michael Huth
1997	A*	`conf`	Quantitative Analysis and Model Checking. LICS Michael Huth, Marta Z. Kwiatkowska
1997	—	`conf`	The Interval Domain: A Matchmaker for aCTL and aPCTL. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Michael Huth
1995	J	`jnl`	A Maximal Monoidal Closed Category of Distributive Algebraic Domains Inf. Comput. Michael Huth
1994	J	`jnl`	Algebraic Domains of Natural Transformations. Theor. Comput. Sci. Adrian Fiech, Michael Huth
1994	—	`conf`	Interaction Orders as Games. Theory and Formal Methods Michael Huth
1994	A*	`conf`	Linear Types, Approximation, and Topology LICS Michael Huth, Achim Jung, Klaus Keimel
1993	B	`conf`	Linear Domains and Linear Maps. MFPS Michael Huth
1993	—	`conf`	On the Equivalence of State-Transition Systems. Theory and Formal Methods Michael Huth
1991	B	`conf`	Cartesian Closed Categories of Domains and the Space Proj(D). MFPS Michael Huth