Christian Müller

According to our database, Christian Müller authored at least 7 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Proving Noninterference in Multi-Agent Systems.

Alexander Christian Müller

PhD thesis, 2020

How to Win First-Order Safety Games.

Helmut Seidl, Christian Müller, Bernd Finkbeiner

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2018

Inductive Invariants for Noninterference in Multi-agent Workflows.

Christian Müller, Helmut Seidl, Eugen Zalinescu

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

Verifying Security Policies in Multi-agent Workflows with Loops.

Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents.

Bernd Finkbeiner, Helmut Seidl, Christian Müller

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

An Analysis of Universal Information Flow Based on Self-Composition.

Christian Müller, Máté Kovács, Helmut Seidl

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Summary-Based Inter-Procedural Analysis via Modular Trace Refinement.

Franck Cassez, Christian Müller, Karla Burnett

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014