Attack Graph Auto-Generation for Blockchains based on Bigraphical Reaction Systems | IEEE Conference Publication | IEEE Xplore