Secure, open, distributed computing platforms are able to provide trustable peer-to-peer transactions without the need for trusted intermediaries. However, as quantum-computers gain power and capability, the cryptographic systems they are built on are threatened. This project will provide the system described here with quantumresistant cryptographic protocols to ensure both system security and user privacy, and build a formal mathematical model to verify the safety and liveness of the system. This is essential for the company’s value proposition, as both users and investors need to be assured that these characteristics will be stable into the foreseeable future.
Deepanshu Gupta;Nguyen Anh Tuan Dinh;Mohammad Jamshed Qureshi;Estella Yeung;Dixin Xu
Professional, scientific and technical services
George Brown College of Applied Arts and Technology
Find the perfect opportunity to put your academic skills and knowledge into practice!Find Projects
The strong support from governments across Canada, international partners, universities, colleges, companies, and community organizations has enabled Mitacs to focus on the core idea that talent and partnerships power innovation — and innovation creates a better future.