Automating Security Analysis of Off-Chain Protocols
Authors: Lea Salome Brugger, Laura Kovács, Anja Petković Komel, Sophie Rain and Michael Rawson
Paper Information
| Title: | Automating Security Analysis of Off-Chain Protocols |
| Authors: | Lea Salome Brugger, Laura Kovács, Anja Petković Komel, Sophie Rain and Michael Rawson |
| Proceedings: | FMBC Program Papers |
| Editors: | Zaynah Dargaye and Clara Schneidewind |
| Keywords: | automated reasoning, secure blockchain, off-chain channels, game theory |
| Pages: | 3 |
| Talk: | Aug 11 16:30 (Session 131C: Formal Methods for 2nd Layers/off-chain Protocols) |
| Paper: |  |