Projektgruppe Lehrstuhl Sichere Software Systeme/Lucas Davi im Wintersemester 2021/2022.