Personal information

No personal information available

Activities

Employment (1)

ETH Zurich: Zurich, CH

Employment
Source: Self-asserted source
Lea Salome Brugger

Works (1)

CheckMate: Automated Game-Theoretic Security Reasoning

2023-11-15 | Conference paper
Contributors: Lea Salome Brugger; Laura Kovács; Anja Petkovic Komel; Sophie Rain; Michael Rawson
Source: check_circle
Crossref