Login / Signup
Real-time instruction-level verification of remote IoT/CPS devices via side channels.
Yunkai Bai
Jungmin Park
Mark M. Tehranipoor
Domenic Forte
Published in:
Discov. Internet Things (2022)
Keyphrases
</>
real time
management system
mobile devices
low cost
high speed
higher level
live video
vision system
multi channel
formal methods
computer assisted instruction
formal verification
medical devices