Research - Lahore, Punjab, Pakistan
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 systemsDetecting and preventing security lapses, malicious fraudulent activities within blockchain ecosystemAuthentication, anonymity and cryptography issuesEase of building decentralized applications on various platformsFeasibility of blockchain for various industrial and governmental use casesand more