Denis Lohner

According to our database, Denis Lohner authored at least 7 papers between 2009 and 2018.

Collaborative distances:

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

2018

Illi Isabellistes Se Custodes Egregios Praestabant.

Simon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting

Proceedings of the Principled Software Development, 2018

2017

Minimal Static Single Assignment Form.

Max Wagner, Denis Lohner

Arch. Formal Proofs, 2017

2016

Verified Construction of Static Single Assignment Form.

Sebastian Ullrich, Denis Lohner

Arch. Formal Proofs, 2016

The meta theory of the Incredible Proof Machine.

Joachim Breitner, Denis Lohner

Arch. Formal Proofs, 2016

Verified construction of static single assignment form.

Sebastian Buchwald, Denis Lohner, Sebastian Ullrich

Proceedings of the 25th International Conference on Compiler Construction, 2016

2010

Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing.

Daniel Wasserrab, Denis Lohner

Proceedings of the 6th International Verification Workshop, 2010

2009

On PDG-based noninterference and its modular proof.

Daniel Wasserrab, Denis Lohner, Gregor Snelting

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009