Pupil Internship
Heuristic Risk Treatment with TLA+
Responsible:
Done by Albrecht Stoye
Done as Research project
Start: 19.05.2022
End: 07.04.2023
Formal Modeling of Meta-Functional Properties of the RaSTA Protocol
Responsible: Billy Naumann
Done by Jonas Henschel
Done as Masters thesis
Start: 01.07.2022
End: 13.12.2022