@@ -36,7 +36,7 @@ All participants must **register** [here](https://docs.google.com/forms/d/1hF5Tg
#### Session 3: 15:15 - 17:30 (chair: Olaf Beyersdorff)
* 15:15: Marl Joos and Tobias Philipp, Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](philipp.pdf)
* 15:15: Marl Joos and Tobias Philipp, Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](joos.pdf)
* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](wenzel.pdf)
* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](sardar.pdf)
* 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](zeume.pdf)
