Timetable
- Event Category
- Individual Talks
- Title
- Paper 7 - Epistemic Temporal Logic for Information Flow Security
- Location
- Details
- Starttime
- 27.06.2023 15:00
- Endtime
- 27.06.2023 15:45
- the whole day
- No
Hyperproperties
Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber