Blockchain Lab

Our activities concentrate on analyzing and building research prototypes around various aspects (such as programmability, immutability, transparency, permissions (private vs public), security, etc.) of blockchain ecosystem by applying mathematical theories and methods. Major research topics of interest are: Modeling, verification and analysis of distributed protocols/contracts in blockchain transaction systems Detecting and preventing security lapses, malicious fraudulent activities within blockchain ecosystem Authentication, anonymity and cryptography issues Ease of building decentralized applications on various platforms Feasibility of blockchain for various industrial and governmental use cases and more