TY  - RPRT
TI  - A Verifiable Computing Scheme for Encrypted Control Systems
AU  - Francesca Stabile
AU  - Walter Lucia
AU  - Amr Youssef
AU  - Giuseppe Franze
PY  - 2024
UR  - https://arxiv.org/abs/2405.18586
ID  - 2405.18586
ER  -