Automating Evaluation of Machine-Actionable Data Management Plans with Semantic Web Technologies. - Raffael Foidl; Lea Salome Brugger; Tomasz Miksa (DaMaLOS, 2021)

CheckMate: Automated Game-Theoretic Security Reasoning. - Lea Salome Brugger; Laura Kovács; Anja Petkovic Komel; Sophie Rain; Michael Rawson 001 (CCS, 2023)

Scaling CheckMate for Game-Theoretic Security. - Sophie Rain; Lea Salome Brugger; Anja Petkovic Komel; Laura Kovács; Michael Rawson 001 (LPAR, 2024)

Scaling Game-Theoretic Security Reasoning. - Sophie Rain; Lea Salome Brugger; Anja Petkovic Komel; Laura Kovács; Michael Rawson 001 (CoRR, 2024)