Name Card

Full name Familienname, Vorname
Brugger, Lea Salome
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Brugger-2022-Automating Security Analysis of Off-Chain Protocols-am.pdf.jpgBrugger, Lea Salome ; Kovacs, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael Automating Security Analysis of Off-Chain ProtocolsPresentation Vortrag 11-Aug-2022
2Brugger Lea Salome - 2022 - Automating proofs of game-theoretic security...pdf.jpgBrugger, Lea Salome Automating proofs of game-theoretic security properties of off-chain protocolsThesis Hochschulschrift 2022
3Foidl, Raffael ; Brugger, Lea Salome ; Miksa, Tomasz Automating Evaluation of Machine-Actionable Data Management Plans with Semantic Web TechnologiesKonferenzbeitrag Inproceedings2021