Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity.

Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan

Browse the full FMCAD paper archive.