Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Secure Cloud Control Using Verifiable Computation

Mahfouzi, Rouhollah ; Aminifar, Amir LU orcid ; Samii, Soheil ; Eles, Petru and Peng, Zebo (2021) 2021 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2021 In 2021 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2021
Abstract

Security for outsourced control applications can be provided if the physical plant is enabled with a mechanism to verify the control signal received from the cloud. Recent developments in modern cryptography claim the applicability of verifiable computation techniques. Such techniques allow a client to check the correctness of a remote execution. This article delivers a proof of concept for applicability of the verifiable computation scheme to control applications over the cloud. We showcase the practicality of verifiable computation on physical plants with different timing demands and deliver a real-life example using a watertank system as the client and Microsoft Azure as the cloud. We show the effectiveness of the verifiable... (More)

Security for outsourced control applications can be provided if the physical plant is enabled with a mechanism to verify the control signal received from the cloud. Recent developments in modern cryptography claim the applicability of verifiable computation techniques. Such techniques allow a client to check the correctness of a remote execution. This article delivers a proof of concept for applicability of the verifiable computation scheme to control applications over the cloud. We showcase the practicality of verifiable computation on physical plants with different timing demands and deliver a real-life example using a watertank system as the client and Microsoft Azure as the cloud. We show the effectiveness of the verifiable computation scheme on cloud-based implementation of advanced control methods, such as Model Predictive Control.

(Less)
Please use this url to cite or link to this publication:
author
; ; ; and
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
outsourced control, predictive control, secure cloud control, verifiable computation
host publication
2021 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2021
series title
2021 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2021
publisher
IEEE - Institute of Electrical and Electronics Engineers Inc.
conference name
2021 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2021
conference location
Virtual, Barcelona, Spain
conference dates
2021-08-23 - 2021-08-26
external identifiers
  • scopus:85115439298
ISBN
9781665431569
DOI
10.1109/COINS51742.2021.9524115
language
English
LU publication?
yes
additional info
Publisher Copyright: © 2021 IEEE.
id
b7b78f62-6db1-443a-8fcd-de0037d3cb6b
date added to LUP
2021-10-14 15:09:17
date last changed
2022-04-27 04:48:39
@inproceedings{b7b78f62-6db1-443a-8fcd-de0037d3cb6b,
  abstract     = {{<p>Security for outsourced control applications can be provided if the physical plant is enabled with a mechanism to verify the control signal received from the cloud. Recent developments in modern cryptography claim the applicability of verifiable computation techniques. Such techniques allow a client to check the correctness of a remote execution. This article delivers a proof of concept for applicability of the verifiable computation scheme to control applications over the cloud. We showcase the practicality of verifiable computation on physical plants with different timing demands and deliver a real-life example using a watertank system as the client and Microsoft Azure as the cloud. We show the effectiveness of the verifiable computation scheme on cloud-based implementation of advanced control methods, such as Model Predictive Control.</p>}},
  author       = {{Mahfouzi, Rouhollah and Aminifar, Amir and Samii, Soheil and Eles, Petru and Peng, Zebo}},
  booktitle    = {{2021 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2021}},
  isbn         = {{9781665431569}},
  keywords     = {{outsourced control; predictive control; secure cloud control; verifiable computation}},
  language     = {{eng}},
  month        = {{08}},
  publisher    = {{IEEE - Institute of Electrical and Electronics Engineers Inc.}},
  series       = {{2021 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2021}},
  title        = {{Secure Cloud Control Using Verifiable Computation}},
  url          = {{http://dx.doi.org/10.1109/COINS51742.2021.9524115}},
  doi          = {{10.1109/COINS51742.2021.9524115}},
  year         = {{2021}},
}