Login / Signup

Reconciling remote attestation and safety-critical operation on simple IoT devices.

Xavier CarpentKarim EldefrawyNorrathep RattanavipanonAhmad-Reza SadeghiGene Tsudik
Published in: DAC (2018)
Keyphrases
  • safety critical
  • embedded systems
  • nuclear power plant
  • remote attestation
  • management system
  • cloud computing
  • database
  • real time
  • formal methods
  • multi agent
  • mobile devices
  • object oriented
  • distributed systems