University of Münster
CRIS@UM
DE | EN
Profile picture of Benedikt Nordhoff

Benedikt Nordhoff

No current affiliations available for this person. The person is no longer active at the university.

Curriculum Vitae (CV)

  • Statische Analyse paraller Programme

Academic Education

since 10/2011Promotion im Fach Informatik, Westfälische Wilhelms-Universität Münster
10/2007 - 08/2011Diplom im Fach Informatik, Westfälische Wilhelms-Universität Münster
10/2006 - 08/2011Diplom im Fach Mathematik, Westfälische Wilhelms-Universität Münster

Work Experience

since 10/2011Wissenschaftlicher Mitarbeiter, Institut für Informatik, Westfälische Wilhelms-Universität Münster

Publications

A Branching Time Variant of CaRet
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018)
In: Gallardo María-del-Mar, Merino Pedro (eds.), Model Checking Software - 25th International Symposium, SPIN 2018, 153-170. Springer. doi:10.1007/978-3-319-94111-0\_9
Research article in edited proceedings (conference) | Peer reviewed | Published
Software Security for Mobile Devices
Arzt Steven, Bartel Alexandre, Gay Richard, Lortz Steffen, Lovat Enrico, Mantel Heiko, Mohr Martin, Nordhoff Benedikt, Perner Matthias, Rasthofer Siegfried, Schneider David, Snelting Gregor, Starostin Artem, Weber Alexandra (2015)
In: 36th IEEE Symposium on Security and Privacy, San Jose, CA, USA. 
Abstract in digital collection (conference) | Peer reviewed | Published
Iterable Forward Reachability Analysis of Monitor-DPNs
Nordhoff Benedikt, Müller-Olm Markus, Lammich Peter (2013)
In: Banerjee A, Danvy O, Doh K, Hatcliff J (eds.), Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, 384-403. Manhattan, Kansas, USA:  / Open Publishing Association. doi:10.4204/EPTCS.129.24
Research article (book contribution) | Peer reviewed | Published
Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks
Graf Jürgen, Hecker Martin, Mohr Martin, Nordhoff Benedikt (2013)
Other scientific publication | Published
Tree-Regular Analysis of Parallel Programs with Dynamic Thread Creation and Locks
Nordhoff Benedikt (2012)
In: School for young researchers about Modelling and Verifying Parallel processes, Marseille, Frankreich. 
Abstract in digital collection (conference) | Peer reviewed | Published
Show all publications

Projects

SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (3rd funding period) (IFC for Mobile Components)
Duration: 01/10/2014 - 30/06/2018 | 3rd Funding period
Funded by: DFG - Priority Programme
Type of project: Subproject in DFG-joint project hosted outside University of Münster
SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (2nd funding period) (IFC for Mobile Components)
Duration: 01/10/2012 - 30/09/2015 | 2nd Funding period
Funded by: DFG - Priority Programme
Type of project: Subproject in DFG-joint project hosted outside University of Münster
SPP 1496 - WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (1st funding period) (IFC for Mobile Components)
Duration: 01/10/2010 - 30/09/2013 | 1st Funding period
Funded by: DFG - Priority Programme
Type of project: Subproject in DFG-joint project hosted outside University of Münster

Doctorates

Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties From a Characterisation of Insecure Behavior
Candidate: Nordhoff, Benedikt | Supervisors: Müller-Olm, Markus | Reviewers: Müller-Olm, Markus; Seidl, Helmut
Period of time: 03/10/2011 - 21/01/2022
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster