Formal Security Analysis for Blockchain-based Software Architecture.

Nacha Chondamrongkul, Jing Sun, Ian Warren

Browse the full SEKE paper archive.