Blockchain

  1. Kalim, Faria, Karl Palmskog, Jayasi Mehar, Adithya Murali, Madhusudan Parthasarathy, Indranil Gupta. "Kaizen: Building a Verified and Performant Blockchain System," Proc. Formal Methods in Computer-Aided Design (FMCAD), 2019.