Lea Salome Brugger

Orcid: 0000-0001-8770-4112

Affiliations:
  • TU Wien, Vienna, Austria


According to our database1, Lea Salome Brugger authored at least 4 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Scaling Game-Theoretic Security Reasoning.
CoRR, 2024

Scaling CheckMate for Game-Theoretic Security.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023
CheckMate: Automated Game-Theoretic Security Reasoning.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021
Automating Evaluation of Machine-Actionable Data Management Plans with Semantic Web Technologies.
Proceedings of the DaMaLOS, 2021


  Loading...