Login / Signup

Real-time instruction-level verification of remote IoT/CPS devices via side channels.

Yunkai BaiJungmin ParkMark M. TehranipoorDomenic 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