Cryptographic Verifiable Computing in Networked Control Systems

In Networked Control Systems (NCS), computation is outsourced to an external party, which we call a controller. This type of service has been gaining popularity in recent years. However, there is the threat of the controller wanting to read the commands passed onto it, thus violating confidentiality. To avoid this, we seek to incorporate cryptographic verifiable computing into NCS, for example by employing Paillier encryption or cryptographic primitives such as the AES in an efficient and feasible manner. Doing so will allow for more secure yet fast communication between the parties. As a result, this internship will bridge the gap between currently available technology and the security concerns raised by both public and private actors of Industry 4.0. Because of this, Concordia University’s standing as a vigilant cybersecurity institution will strengthen. By extension, Canada’s reputation on the international cybersecurity stage will grow too.

Faculty Supervisor:

Amr Youssef

Student:

Partner:

Radboud University Nijmegen

Discipline:

Computer science

Sector:

Education

University:

Concordia University

Program: