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/2011 | Promotion im Fach Informatik, Westfälische Wilhelms-Universität Münster |
| 10/2007 - 08/2011 | Diplom im Fach Informatik, Westfälische Wilhelms-Universität Münster |
| 10/2006 - 08/2011 | Diplom im Fach Mathematik, Westfälische Wilhelms-Universität Münster |
Work Experience | |
| since 10/2011 | Wissenschaftlicher Mitarbeiter, Institut für Informatik, Westfälische Wilhelms-Universität Münster |
Publications
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. Springer. Type of Publication: Research article in edited proceedings (conference) | |
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, . Type of Publication: Abstract in digital collection (conference) | |
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. Manhattan, Kansas, USA: Selbstverlag / Eigenverlag. Type of Publication: Research article (book contribution) | |
Graf Jürgen, Hecker Martin, Mohr Martin, Nordhoff Benedikt (2013) Type of Publication: Other scientific publication | |
Nordhoff Benedikt (2012) In: School for young researchers about Modelling and Verifying Parallel processes, Marseille, Frankreich, . Type of Publication: Abstract in digital collection (conference) |
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 |