Attack Graph Auto-Generation for Blockchains based on Bigraphical Reaction Systems.

Lian Yu, Lijun Liu, Yanbing Jiang, Qi Jing, Bei Zhao, Chen Zhang

Browse the full QRS paper archive.