Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. - Franck Cassez; Christian Müller 008; Karla Burnett (FSTTCS, 2014)

An Analysis of Universal Information Flow Based on Self-Composition. - Christian Müller 008; Máté Kovács; Helmut Seidl (CSF, 2015)

Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents. - Bernd Finkbeiner; Helmut Seidl; Christian Müller 008 (ATVA, 2016)

Verifying Security Policies in Multi-agent Workflows with Loops. - Bernd Finkbeiner; Christian Müller 008; Helmut Seidl; Eugen Zalinescu (CCS, 2017)

Inductive Invariants for Noninterference in Multi-agent Workflows. - Christian Müller 008; Helmut Seidl; Eugen Zalinescu (CSF, 2018)

How to Win First Order Safety Games - Software Artifact. - Helmut Seidl; Christian Müller 008; Bernd Finkbeiner (Zenodo, 2019)

How to Win First Order Safety Games - Software Artifact. - Helmut Seidl; Christian Müller 008; Bernd Finkbeiner (Zenodo, 2019)

How to Win First-Order Safety Games. - Helmut Seidl; Christian Müller 008; Bernd Finkbeiner (VMCAI, 2020)

Proving Noninterference in Multi-Agent Systems. - Alexander Christian Müller (2020)