Lever: Making Intensive Validation Practical on Blockchain.

Mingming Wang, Qianhong Wu

Browse the full ISPEC paper archive.