4th International Workshop on Formal Methods for Blockchains

View Statistics Email Alert RSS Feed

Description

Event name
4th International Workshop on Formal Methods for Blockchains
 
Event type
Event for scientific audience
 
Start date
11-08-2022
End date
11-08-2022
 
Location
Haifa
Country
Israel
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Author:  Petkovic Komel, Anja

Results 1-1 of 1 (Search time: 0.003 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