Lea Salome Brugger

Orcid: 0000-0001-8770-4112

Affiliations:

TU Wien, Vienna, Austria

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Scaling Game-Theoretic Security Reasoning.

[BibT_eX]

[DOI]

CoRR, 2024

Scaling CheckMate for Game-Theoretic Security.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

CheckMate: Automated Game-Theoretic Security Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Raffael Foidl

Lea Salome Brugger

Tomasz Miksa

Proceedings of the DaMaLOS, 2021

Lea Salome Brugger

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...