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
Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Mobile Computing"
DOI: 10.1109/tmc.2019.2936561
Abstract: Android Application Framework is an integral and foundational part of the Android system. Each of the two billion (as of 2017) Android devices relies on the system services of Android Framework to manage applications and… read more here.
Keywords: system; symbolic execution; android framework; vulnerability ... See more keywords
An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution
Sign Up to like & getrecommendations! Published in 2021 at "Applied Sciences"
DOI: 10.3390/app11125384
Abstract: Static analysis is one of the techniques used today to analyze source codes and minimize the issue of software vulnerability. Static analysis has the ability to observe all possible software paths in an application through… read more here.
Keywords: feasible paths; symbolic execution; approach; based minimal ... See more keywords