4th International Workshop on Formal Methods for Blockchains

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

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