Norine Coenen

About Me

I am a Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University and a member of the Graduate School of Computer Science.

I am interested in hyperproperties and causality. I am working on formal methods for the verification of hyperproperties on hardware and software systems, different logics for the expression of hyperproperties, and the connection between counterfactual causality and hyperproperties. To make these formal techniques more accessible, I provide tutorials and online interfaces that leverage visualization techniques.

Contact

Reactive Systems Group

CISPA Helmholtz Center for Information Security

Saarland University Campus

Building: E 9.1, Room: 1.09

Phone:	N/A
eMail:	coenen at react.uni-saarland.de

Office Hours:

Whenever the door is open

News!

I am the Publicity Co-Chair for CAV 2024!
Our paper Smart Contract Synthesis Modulo Hyperproperties won the Distinguished Paper Award at CSF 2023!
I am a PC member of the CREST workshop at ETAPS!
I am joining AWS in London, UK as an Applied Scientist Intern for the Summer’22!

Publications

[CFHT23]	Smart Contract Synthesis Modulo Hyperproperties. With Bernd Finkbeiner, Jana Hofmann and Julia Tillman. CSF Distinguished Paper Award. 36th IEEE Computer Security Foundations Symposium (CSF 2023). July 2023.
[CFF+22]	Temporal Causality in Reactive Systems. With Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger and Julian Siber. 20th International Symposium on Automated Technology for Verification and Analysis (ATVA 2022). October 2022.
[CDF+22]	Explaining Hyperproperty Violations. With Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, and Julian Siber. 34th International Conference on Computer-Aided Verification (CAV 2022). August 2022.
[HCM+21]	Visual Analysis of Hyperproperties for Understanding Model Checking Results. With Tom Horak, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, and Raimund Dachselt. 2021 IEEE VIS: Visualization & Visual Analytics (VIS 2021). October 2021. Try our online tool and check out the project’s page.
[CFHHS21]	Runtime Enforcement of Hyperproperties. With Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, and Yannick Schillo. 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021). October 2021.
[BCFFJS21]	Causality-Based Game Solving. With Christel Baier, Bernd Finkbeiner, Florian Funke, Simon Jantsch, and Julian Siber. 33rd International Conference on Computer-Aided Verification (CAV 2021). July 2021. Watch Julian Siber’s presentations: 5 minutes, 25 minutes.
[BCBFS21]	A Temporal Logic for Asynchronous Hyperproperties. With Jan Baumeister, Borzoo Bonakdarpour, Bernd Finkbeiner, and Cesar Sanchez. 33rd International Conference on Computer-Aided Verification (CAV 2021). July 2021. Watch my presentations: 5 minutes, 25 minutes.
[CFHH20]	The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective. With Bernd Finkbeiner, Christopher Hahn, and Jana Hofmann. 17th International Conference on Principles of Knowledge Representation and Reasoning, Recently Published Research Track (KR 2020). September 2020. Watch Jana Hofmann’s presentation: 5 minutes
[CFST19]	Verifying Hyperliveness. With Bernd Finkbeiner, Cesar Sanchez, and Leander Tentrup. 31st International Conference on Computer-Aided Verification (CAV 2019). July 2019.
[Shonan19]	Causality and Hyperproperties. NII Shonan Meeting No. 139: Causal Reasoning in Systems. June 2019.
[CFHH19]	The Hierarchy of Hyperlogics. With Bernd Finkbeiner, Christopher Hahn, and Jana Hofmann. 34th Annual ACM/IEE Symposium on Logic in Computer Science (LICS 2019). June 2019.
[LSPCBK15]	Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario. With Christian Lander, Marco Speicher, Denise Paradowski, Sebastian Biewer, and Antonio Krüger. 4th ACM International Symposium on Pervasive Displays (PerDis 2015). June 2015.

Scientific Service

Organization: I am the Publicity Co-Chair for CAV 2024 and was the Publicity Chair for CAV 2021 (follow @ConfCAV on Twitter/X!). I organized the Buddy Program at CAV 2019.
Speaking: I participated in the Scientific Interaction at the 8th Heidelberg Laureate Forum as a panelist on the topic of “Computer Science Career Paths in Academia” alongside Turing Award winner Barbara Liskov.
Committees: I was a Program Committee member of CREST 2023. I was on the Artifact Evaluation Committees of VMCAI 2022 and CAV 2020.
Journal Reviewing: I reviewed for the Springer Journal Formal Methods in System Design.
Sub-Reviewing: I sub-reviewed for the following scientific venues: DATE 2024, ATVA 2023, CAV 2022, LICS 2022, CONCUR 2021, CAV 2021, TACAS 2021, RV 2020, CONCUR 2020, ATVA 2020, CSL 2020, iFM 2019, ATVA 2019, SI-SR 2017, and SR 2017.
Student Volunteer: I was a student volunteer at FLoC 2018.
CAVlinks: I started and maintain the CAVlinks Website together with a few other volunteers. CAVlinks is a sharing platform for the Computer-Aided Verification community.

Theses

Verifying Hyperliveness	Master’s Thesis, Saarland University, 2019
A Proof System for HyperLTL	Bachelor’s Thesis, Saarland University, 2016

Advised Student Theses

Florian Bies	Complete Bounded Model Checking for Hyperproperties, Bachelor’s Thesis, 2022 (co-advised with Niklas Metzger)
Simon Engel	Bounded Model Checking for PHL, Bachelor’s Thesis, 2021
Julian Siber	Causal Solving of Reachability Games, Master’s Thesis, 2021
Julia Tillman	Temporal Stream Logic for Hyperproperties, Bachelor’s Thesis, 2020 (co-advised with Jana Hofmann)

Advised Student Helpers

Florian Bies	MCHyper Reimplementation: Conception and Execution, May 2021 – October 2021
Lukas Auer	MCHyper Reimplementation: Conception, May – August 2021
Benedict Strube	MCHyper Online Interface: Frontend, 2018
Jens Kreber	MCHyper Online Interface: Backend, 2018

Teaching

Summer 2023	Advisor for Seminar Hyperproperties at the Reactive Systems Group.
Summer 2019	Assistant for Proseminar Softwarezuverlässigkeit (Software Reliability) at the Reactive Systems Group.
Winter 2018/2019	Advisor for Seminar Hyperproperties at the Reactive Systems Group.
Summer 2018	Advisor for Proseminar Formal Verification of Security Protocols at the Reactive Systems Group.
	Tutor for Core Lecture Embedded Systems at the Reactive Systems Group.
Winter 2017/2018	Advisor for Proseminar Time Machine at the Reactive Systems Group.
Winter 2016/2017	Tutor for Core Lecture Verification at the Reactive Systems Group.
Summer 2016	Organizer and Coach for Mathematics Precourse at Saarland University.
Summer 2015	Coach for Mathematics Precourse at Saarland University.
Winter 2013/2014	Tutor for Programming 1 at the Dependable Systems and Software Group.
Summer 2013	Tutor for Mathematics Precourse at Saarland University.