You can import this calendar in your calendar app by copying an export link from the "Date Overview" menu.
Upcoming Events
Paper 1 - SPECTECTOR: Principled Detection of Speculative Information Flows | 20.06.2023 14:00 - 14:15 | |
Paper 2 - A Hardware Design Language for Timing-Sensitive Information-Flow Security | 20.06.2023 14:30 - 15:00 | |
Paper 5 - Hyperproperties of Real-Valued Signals | 20.06.2023 15:00 - 15:45 | |
Paper 3 - Information Flow Control Based on Program Dependence Graphs | 27.06.2023 14:15 - 15:00 | |
Paper 7 - Epistemic Temporal Logic for Information Flow Security | 27.06.2023 15:00 - 15:45 | |
Paper 8 - Algorithms for Model Checking HyperLTL and HyperCTL* | 04.07.2023 14:15 - 15:00 | |
Paper 9 - The Hierarchy of Hyperlogics | 04.07.2023 15:00 - 15:45 |