Hyperproperties

Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber

Timetable

Title Type Location Serial Start End All Day
Kickoff Meeting Kickoff Seminar Rom 106 in E1.1 18.04.23 18.04.23 No 
Group Talk 1 - Basics of Information-Flow Control Group Talks Seminar Rom 106 in E1.1 23.05.23 23.05.23 No 
Group Talk 2 - Formal Methods 101 Group Talks Seminar Rom 106 in E1.1 30.05.23 30.05.23 No 
Paper 1 - SPECTECTOR: Principled Detection of Speculative Information Flows Individual Talks 20.06.23 20.06.23 No 
Paper 2 - A Hardware Design Language for Timing-Sensitive Information-Flow Security Individual Talks 20.06.23 20.06.23 No 
Paper 5 - Hyperproperties of Real-Valued Signals Individual Talks 20.06.23 20.06.23 No 
Paper 3 - Information Flow Control Based on Program Dependence Graphs Individual Talks 27.06.23 27.06.23 No 
Paper 7 - Epistemic Temporal Logic for Information Flow Security Individual Talks 27.06.23 27.06.23 No 
Paper 8 - Algorithms for Model Checking HyperLTL and HyperCTL* Individual Talks 04.07.23 04.07.23 No 
Paper 9 - The Hierarchy of Hyperlogics Individual Talks 04.07.23 04.07.23 No 
Summary Submission Deadline 1 Summary 08.09.23 N/A Yes 
Summary Submission Deadline 2 Summary 22.09.23 N/A Yes 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.