Hyperproperties

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

Timetable

Title Type Location Serial Start End All Day
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 
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 
Group Talk 2 - Formal Methods 101 Group Talks Seminar Rom 106 in E1.1 30.05.23 30.05.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 
Kickoff Meeting Kickoff Seminar Rom 106 in E1.1 18.04.23 18.04.23 No 
Paper 7 - Epistemic Temporal Logic for Information Flow Security Individual Talks 27.06.23 27.06.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 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.