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 9 - The Hierarchy of Hyperlogics Individual Talks 04.07.23 04.07.23 No 
Paper 8 - Algorithms for Model Checking HyperLTL and HyperCTL* Individual Talks 04.07.23 04.07.23 No 
Paper 7 - Epistemic Temporal Logic for Information Flow Security Individual Talks 27.06.23 27.06.23 No 
Paper 3 - Information Flow Control Based on Program Dependence Graphs Individual Talks 27.06.23 27.06.23 No 
Paper 5 - Hyperproperties of Real-Valued Signals Individual Talks 20.06.23 20.06.23 No 
Summary Submission Deadline 1 Summary 08.09.23 N/A Yes 
Summary Submission Deadline 2 Summary 22.09.23 N/A Yes 
Paper 2 - A Hardware Design Language for Timing-Sensitive Information-Flow Security Individual Talks 20.06.23 20.06.23 No 
Paper 1 - SPECTECTOR: Principled Detection of Speculative Information Flows Individual Talks 20.06.23 20.06.23 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.