Secure Intermittent Computing Protocol: Protecting State Across Power Loss.

Archanaa S. Krishnan Charles Suslowicz Daniel Dinu Patrick Schaumont

Published in: DATE (2019)

Keyphrases

cryptographic protocols
covert channel
key distribution
authentication protocol
lightweight
wireless sensor networks
state space
multi party
formal analysis
authentication scheme
group communication
trusted third party
secure routing