Michael Huth

IACR Cryptol. ePrint Arch., 2023

Leverage Staking with Liquid Staking Derivatives (LSDs): Opportunities and Risks.

[BibT_eX]

[DOI]

Xihan Xiong

Zhipeng Wang

Xi Chen

William J. Knottenbelt

IACR Cryptol. ePrint Arch., 2023

2022

Digital twins: artificial intelligence and the IoT cyber-physical systems in Industry 4.0.

[BibT_eX]

[DOI]

Int. J. Intell. Robotics Appl., 2022

Extreme compression of sentence-transformer ranker models: faster inference, longer battery life, and less storage on edge devices.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Secure Bayesian Federated Analytics for Privacy-Preserving Trend Detection.

[BibT_eX]

[DOI]

Amit Chaulwar

CoRR, 2021

Artificial Intelligence and the Internet of Things in Industry 4.0.

[BibT_eX]

[DOI]

CCF Trans. Pervasive Comput. Interact., 2021

2020

Protecting Private Inputs: Bounded Distortion Guarantees With Randomised Approximations.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2020

Two and Three-Party Digital Goods Auctions: Scalable Privacy Analysis.

[BibT_eX]

[DOI]

CoRR, 2020

Effective Detection of Credential Thefts from Windows Memory: Learning Access Behaviours to Local Security Authority Subsystem Service.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Research in Attacks, 2020

2019

Static Analysis for Proactive Security.

[BibT_eX]

[DOI]

Flemming Nielson

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Optimal Accuracy-Privacy Trade-Off for Secure Computations.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2019

A reference architecture for integrating the Industrial Internet of Things in the Industry 4.0.

[BibT_eX]

[DOI]

CoRR, 2019

Pseudonym Management Through Blockchain: Cost-Efficient Privacy Preservation on Intelligent Transportation Systems.

[BibT_eX]

[DOI]

Shihan Bao

Yue Cao

Ao Lei

Philip Michael Asuquo

Haitham S. Cruickshank

Zhili Sun

IEEE Access, 2019

Owner-Centric Sharing of Physical Resources, Data, and Data-Driven Insights in Digital Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

Scalable Information Flow Analysis of Secure Three-Party Affine Computations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Information Theory, 2019

Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2019

2018

Mapping the values of IoT.

[BibT_eX]

[DOI]

J. Inf. Technol., 2018

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Optimal Accuracy-Privacy Trade-Off for Secure Multi-Party Computations.

[BibT_eX]

[DOI]

CoRR, 2018

Future developments in cyber risk assessment for the internet of things.

[BibT_eX]

[DOI]

Petar Radanliev

David Charles De Roure

Razvan Nicolescu

Rafael Montalvo Mantilla

Stacy Cannady

Peter Burnap

Comput. Ind., 2018

Satisfiability modulo theories for process systems engineering.

[BibT_eX]

[DOI]

Miten Mistry

Ruth Misener

Comput. Chem. Eng., 2018

Reasoning about Smart City.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018

Risk Engineering and Blockchain: Anticipating and Mitigating Risks.

[BibT_eX]

[DOI]

Claire Vishik

Riccardo Masucci

Proceedings of the Business Information Systems Workshops, 2018

The Merits of Compositional Abstraction: A Case Study in Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Models, Mindsets, 2018

Mathematical Foundations of Advanced Informatics, Volume 1: Inductive Approaches.

[BibT_eX]

[DOI]

Bernhard Steffen

Oliver Rüthing

Springer, ISBN: 978-3-319-68396-6, 2018

2017

Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving.

[BibT_eX]

[DOI]

CoRR, 2017

Constrained Bayesian Networks: Theory, Optimization, and Applications.

[BibT_eX]

[DOI]

Paul Beaumont

CoRR, 2017

Secure Multi-party Computation: Information Flow of Outputs and Game Theory.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

Oligarchic Control of Business-to-Business Blockchains.

[BibT_eX]

[DOI]

Leif-Nissen Lundbaek

Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017

Centrally Governed Blockchains: Optimizing Security, Cost, and Availability.

[BibT_eX]

[DOI]

Leif-Nissen Lundbæk

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Optimizing Governed Blockchains for Financial Process Authentications.

[BibT_eX]

[DOI]

Leif-Nissen Lundbaek

CoRR, 2016

Partial Solvers for Parity Games: Effective Polynomial-Time Composition.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Games, 2016

Static Analysis of Parity Games: Alternating Reachability Under Parity.

[BibT_eX]

[DOI]

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

The Rabin index of parity games: Its complexity and approximation.

[BibT_eX]

[DOI]

Inf. Comput., 2015

Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2015, 2015

2014

Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2014

Fatal Attractors in Parity Games: Building Blocks for Partial Solvers.

[BibT_eX]

[DOI]

CoRR, 2014

PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

On Designing Usable Policy Languages for Declarative Trust Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2014

2013

Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

The Rabin index of parity games.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Towards Verifiable Trust Management for Software Execution - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

Towards Usable Generation and Enforcement of Trust Evidence from Programmers' Intent.

[BibT_eX]

[DOI]

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2013

Fatal Attractors in Parity Games.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

p-Automata: New foundations for discrete-time probabilistic verification.

[BibT_eX]

[DOI]

Daniel Wagner

Perform. Evaluation, 2012

Relationship-based access control: its expression and enforcement through hybrid logic.

[BibT_eX]

[DOI]

Philip W. L. Fong

Ida Sri Rejeki Siahaan

Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011

Formal Methods and Access Control.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Access control via belnap logic: Intuitive, expressive, and analyzable policy composition.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2011

Message from the program chairs.

[BibT_eX]

[DOI]

David M. Nicol

Perform. Evaluation, 2011

Program synthesis in administration of higher-order permissions.

[BibT_eX]

[DOI]

Kumar Avijit

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

The Rabin Index of Parity Games - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2011

Concurrent Small Progress Measures.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2011

On the Modeling and Verification of Security-Aware and Process-Aware Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2011

2010

Towards an Access-Control Framework for Countering Insider Threats.

[BibT_eX]

[DOI]

Proceedings of the Insider Threats in Cyber Security, 2010

A Tunable Strain Sensor Using Nanogranular Metals.

[BibT_eX]

[DOI]

Sensors, 2010

PCTL model checking of Markov chains: Truth and falsity as winning strategies in games.

[BibT_eX]

[DOI]

Perform. Evaluation, 2010

Modal and mixed specifications: key decision problems and their complexities.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2010

A Framework for the Modular Specification and Orchestration of Authorization Policies.

[BibT_eX]

[DOI]

Proceedings of the Information Security Technology for Applications, 2010

An Authorization Framework Resilient to Policy Evaluation Failures.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2010

2009

Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.

[BibT_eX]

[DOI]

Orna Grumberg

Int. J. Softw. Tools Technol. Transf., 2009

A workbench for preprocessor design and evaluation: toward benchmarks for parity games.

[BibT_eX]

[DOI]

Huaxin Wang

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Verification and Refutation of Probabilistic Specifications via Games.

[BibT_eX]

[DOI]

Mark Kattenbelt

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL.

[BibT_eX]

[DOI]

Daniel Wagner

Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009

2008

On model checking multiple hybrid views.

[BibT_eX]

[DOI]

Altaf Hussain

Theor. Comput. Sci., 2008

Falsifying Safety Properties Through Games on Over-approximating Models.

[BibT_eX]

[DOI]

Nathaniel Charlton

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

EXPTIME-complete Decision Problems for Modal and Mixed Specifications.

[BibT_eX]

[DOI]

Kim Guldstrand Larsen

Ulrik Nyman

Andrzej Wasowski

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

20 Years of Modal and Mixed Specifications.

[BibT_eX]

Bull. EATCS, 2008

Model Checking for Action Abstraction.

[BibT_eX]

[DOI]

Harald Fecher

Proceedings of the Verification, 2008

Hintikka Games for PCTL on Labeled Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Complexity of Decision Problems for Mixed and Modal Specifications.

[BibT_eX]

[DOI]

Kim Guldstrand Larsen

Ulrik Nyman

Andrzej Wasowski

Proceedings of the Foundations of Software Science and Computational Structures, 2008

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

Some current topics in model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2007

Refinement Sensitive Formal Semantics of State Machines With Persistent Choice.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

On the Complexity of Semantic Self-minimization.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

More Precise Partition Abstractions.

[BibT_eX]

[DOI]

Harald Fecher

Proceedings of the Verification, 2007

A simple and expressive semantic framework for policy composition in access control.

[BibT_eX]

[DOI]

Daniel S. Dantas

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

Hector: Software Model Checking with Cooperating Analysis Plugins.

[BibT_eX]

[DOI]

Nathaniel Charlton

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Efficient Patterns for Model Checking Partial State Spaces in CTL <i>intersection</i> LTL.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Polynomial-Time Under-Approximation of Winning Regions in Parity Games.

[BibT_eX]

[DOI]

Nathaniel Charlton

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.

[BibT_eX]

[DOI]

Harald Fecher

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

On finite-state approximants for probabilistic computation tree logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Labelled transition systems as a Stone space.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2005

Refinement is complete for implementations.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2005

Automata Games for Multiple-model Checking.

[BibT_eX]

[DOI]

Altaf Hussain

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics.

[BibT_eX]

[DOI]

Patrice Godefroid

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

Mathematics for the exploration of requirements.

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 2004

A domain equation for refinement of partial systems.

[BibT_eX]

[DOI]

Radha Jagadeesan

David A. Schmidt

Math. Struct. Comput. Sci., 2004

Topological Analysis of Refinement.

[BibT_eX]

[DOI]

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

Preface.

[BibT_eX]

[DOI]

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Abstraction and Probabilities for Hybrid Logics.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Logic in computer science - modelling and reasoning about systems (2. ed.).

[BibT_eX]

Mark Dermot Ryan

Cambridge University Press, 2004

2002

Consistent Partial Model Checking.

[BibT_eX]

[DOI]

Shekhar Pradhan

Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002

Model Checking Modal Transition Systems Using Kripke Structures.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2002

Possibilistic and Probabilistic Abstraction-Based Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2002

2001

A Comment on the Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients.

[BibT_eX]

[DOI]

Reliab. Comput., 2001

Model-Checking View-Based Partial Specifications.

[BibT_eX]

[DOI]

Shekhar Pradhan

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Modal Transition Systems: A Foundation for Three-Valued Program Analysis.

[BibT_eX]

[DOI]

Radha Jagadeesan

David A. Schmidt

Proceedings of the Programming Languages and Systems, 2001

Abstraction-Based Model Checking Using Modal Transition Systems.

[BibT_eX]

[DOI]

Patrice Godefroid

Radha Jagadeesan

Proceedings of the CONCUR 2001, 2001

Secure communicating systems - design, analysis, and implementation.

[BibT_eX]

Cambridge University Press, ISBN: 978-0-521-80731-9, 2001

2000

Linear types and approximation.

[BibT_eX]

[DOI]

Achim Jung

Klaus Keimel

Math. Struct. Comput. Sci., 2000

Logic in computer science - modelling and reasoning about systems.

[BibT_eX]

Mark Dermot Ryan

Cambridge University Press, ISBN: 978-0-521-65602-3, 2000

1999

On the Approximation of Denotational Mu-Semantics.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 1999

Assume-Guarantee Model Checking of Software: A Comparative Case Study.

[BibT_eX]

[DOI]

Corina S. Pasareanu

Matthew B. Dwyer

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems and Interval Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

Preface.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

Comparing CTL and PCTL on labeled Markov chains.

[BibT_eX]

Marta Z. Kwiatkowska

Proceedings of the Programming Concepts and Methods, 1998

1997

The Interval Domain: A Matchmaker for aCTL and aPCTL.

[BibT_eX]

[DOI]

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

A powerdomain of possibility measures.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Quantitative Analysis and Model Checking.

[BibT_eX]

[DOI]

Marta Z. Kwiatkowska

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

A Duality Theory for Quantitative Semantics.

[BibT_eX]

[DOI]

Reinhold Heckmann

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1995

A Maximal Monoidal Closed Category of Distributive Algebraic Domains

[BibT_eX]

[DOI]

Inf. Comput., January, 1995

1994

Algebraic Domains of Natural Transformations.

[BibT_eX]

[DOI]

Adrian Fiech

Theor. Comput. Sci., 1994

Linear Types, Approximation, and Topology

[BibT_eX]

[DOI]

Achim Jung

Klaus Keimel

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Interaction Orders as Games.

[BibT_eX]

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

Linear Domains and Linear Maps.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

On the Equivalence of State-Transition Systems.

[BibT_eX]

Proceedings of the Theory and Formal Methods 1993, 1993

1991

Cartesian Closed Categories of Domains and the Space Proj(D).

[BibT_eX]

[DOI]