2023 ACM SIGSAC Conference on Computer and Communications Security

Event name
2023 ACM SIGSAC Conference on Computer and Communications Security
 
Event type
Event for scientific audience
 
Start date
26-11-2023
End date
30-11-2023
 
Location
Copenhagen
Country
Denmark
 
Conference Track
Multi Track
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Brugger-2023-CheckMate Automated Game-Theoretic Security Reasoning-vor.pdf.jpgBrugger, Lea Salome ; Kovács, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael CheckMate: Automated Game-Theoretic Security ReasoningInproceedings Konferenzbeitrag 21-Nov-2023