Teaching
| Accountability in Theory and Practic | Spring 2019 at CISPA/Saarland University |
| Validation of Abstract Side-Channel Models | Spring 2020 CISPA/Saarland University |
| Formal Methods in Security | Fall 2020, 2021, 2022, 2023 at CISPA/Saarland University |
| Digital forensics and incident response (EP2780) | Fall 2024 at KTH Royal Institute of Technology |