Christian Müller

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 6

Top Topics

Quantifier Elimination

Intelligent Agents

Security Policies

Access Control Mechanism

Top Venues

Publications

Helmut Seidl, Christian Müller, Bernd Finkbeiner
How to Win First-Order Safety Games. VMCAI (2020)
Helmut Seidl, Christian Müller, Bernd Finkbeiner
How to Win First-Order Safety Games. CoRR (2019)
Christian Müller, Helmut Seidl, Eugen Zalinescu
Inductive Invariants for Noninterference in Multi-agent Workflows. CSF (2018)
Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu
Verifying Security Policies in Multi-agent Workflows with Loops. CoRR (2017)
Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu
Verifying Security Policies in Multi-agent Workflows with Loops. CCS (2017)
Bernd Finkbeiner, Helmut Seidl, Christian Müller
Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents. ATVA (2016)
Christian Müller, Máté Kovács, Helmut Seidl
An Analysis of Universal Information Flow Based on Self-Composition. CSF (2015)
Franck Cassez, Christian Müller, Karla Burnett
Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. FSTTCS (2014)