Benedikt Nordhoff

According to our database, Benedikt Nordhoff authored at least 6 papers between 2010 and 2022.

Collaborative distances:

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

2022

Security through safety: an approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour.

Benedikt Nordhoff

PhD thesis, 2022

2021

Information Flow Control via Dependency Tracking.

Benedikt Nordhoff

Arch. Formal Proofs, 2021

2018

A Branching Time Variant of CaRet.

Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2013

Iterable Forward Reachability Analysis of Monitor-DPNs.

Benedikt Nordhoff, Markus Müller-Olm, Peter Lammich

Proceedings of the Semantics, 2013

2012

Dijkstra's Shortest Path Algorithm.

Benedikt Nordhoff, Peter Lammich

Arch. Formal Proofs, 2012

2010

Finger Trees.

Benedikt Nordhoff, Stefan Körner, Peter Lammich

Arch. Formal Proofs, 2010