Firmware Verification of Embedded Devices Based on a Blockchain.

Boo-Hyung Lee Sehrish Malik Sarang Wi Jong-Hyouk Lee

Published in: QSHINE (2016)

Keyphrases

embedded devices
embedded systems
mobile devices
consumer electronics
home automation
operating system
model checking
power consumption
home appliances
data storage
limited memory
flash memory
database
open source
database management systems
mobile commerce