Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Internet of Things Journal"
DOI: 10.1109/jiot.2023.3236694
Abstract: IoT devices offer insufficient protections against exploitation of critical programming errors (such as buffer overflows) it is therefore paramount to sufficiently test IoT software before deployment. A central source of these errors is the implementations… read more here.
Keywords: protocol implementations; symbolic execution; protocol; stateful network ... See more keywords