Verifiably Secure Devices.

Sergei Izmalkov Matt Lepinski Silvio Micali

Published in: TCC (2008)

Keyphrases

mobile devices
security issues
embedded systems
security mechanisms
electronic devices
lightweight
key management
standard model
mobile agent system
key agreement protocol
covert channel