Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Summary Submission Deadline 2 | Summary | 22.09.23 | N/A | Yes | |||
| 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 | |||
| 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 | |||
| 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 |