You are here

January 8, 2020

Room 288- ICICS Building (2366 Main Mall)
Vancouver, BC V6T 1Z4


Outsourcing computation enables a weak client to delegate its computational tasks to other computing agents (e.g. cloud) who are willing to perform the computation and be compensated for their work. A basic security requirement of the client is to be able to confident about the correctness of the received result. Verifiable computation systems enable the client to efficiently verify the correctness of the received results.

Smart contracts have been used as an automated and transparent trusted party to mediate verifiable computation protocols, and manage payments and rewards according to the protocol description.

In this talk we show security challenges of these systems, look at two verifiable computation systems that are mediated by smart contracts, show concrete attacks on these systems and propose protections mechanisms.


Rei Safavi-Naini's Bio

Rei Safavi-Naini is the NSERC/Telus Industrial Research Chair and Alberta Innovates Strategic Research Chair in Information Security at the University of Calgary.   She is the co-founder of the Institute for Security, Privacy and Information Assurance at the University, and served as its Director until December 2018. She has published widely in premier journals and conferences on information security and privacy  and has given numerous keynote talks, most recently at Chinacrypt 2018  and PST 2019. She has served on the editorial board of leading information security journals and program committee of conferences, and has been the program chair of major international conferences including Crypto,  Financial Cryptography, and Applied Cryptography and Network Security.  She is currently Associate Editor of IEEE Transactions on Information Theory, IET Information Security and Journal of Mathematical Cryptology.

Her current research interest includes post-quantum cryptography and communication security, cloud security, and security of blockchain and decentralized systems.