Sponge-Based Control-Flow Protection for IoT Devices.

Mario Werner Thomas Unterluggauer David Schaffenrath Stefan Mangard

Published in: EuroS&P (2018)

Keyphrases

control flow
data flow
software testing
mobile devices
process model
management system
smart objects
business process models
transition systems
modeling language
information security
reactive systems
workflow management systems
location information
formal semantics
memory hierarchy
data structure