Event Categories
- Name
- Individual Talks
- Farbe
- Green
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Paper 5 - Hyperproperties of Real-Valued Signals | Scheduled | 20.06.2023 15:00 | 20.06.2023 15:45 | No |
|
| Paper 3 - Information Flow Control Based on Program Dependence Graphs | Scheduled | 27.06.2023 14:15 | 27.06.2023 15:00 | No |
|
| Paper 7 - Epistemic Temporal Logic for Information Flow Security | Scheduled | 27.06.2023 15:00 | 27.06.2023 15:45 | No |
|
| Paper 8 - Algorithms for Model Checking HyperLTL and HyperCTL* | Scheduled | 04.07.2023 14:15 | 04.07.2023 15:00 | No |
|
| Paper 9 - The Hierarchy of Hyperlogics | Scheduled | 04.07.2023 15:00 | 04.07.2023 15:45 | No |
|
| Paper 1 - SPECTECTOR: Principled Detection of Speculative Information Flows | Scheduled | 20.06.2023 14:00 | 20.06.2023 14:15 | No |
|
| Paper 2 - A Hardware Design Language for Timing-Sensitive Information-Flow Security | Scheduled | 20.06.2023 14:30 | 20.06.2023 15:00 | No |
|