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
SNPSFuzzer: A Fast Greybox Fuzzer for Stateful Network Protocols Using Snapshots
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Information Forensics and Security"
DOI: 10.1109/tifs.2022.3192991
Abstract: Greybox fuzzing has been widely used in stateless programs and has achieved great success. However, most state-of-the-art greybox fuzzers have slow speed and shallow state depth coverage in fuzzing stateful network protocol programs, which are… read more here.
Keywords: network; state; snpsfuzzer; network protocol ... See more keywords