Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution

2011 ◽  
Vol 14 (2) ◽  
pp. 1-28 ◽  
Author(s):  
Tielei Wang ◽  
Tao Wei ◽  
Guofei Gu ◽  
Wei Zou
Keyword(s):  
Symbolic Execution ◽  
Taint Analysis

scholarly journals IoT Hacking – A Primer

2019 ◽  
pp. 2-13
Author(s):  
Dorottya Papp ◽  
Kristóf Tamás ◽  
Levente Buttyán
Keyword(s):  
Major Part ◽  
Human Life ◽  
Symbolic Execution ◽  
The Internet ◽  
Taint Analysis ◽  
Penetration Testing ◽  
Static And Dynamic Analysis ◽  
Academic Researchers ◽  
Iot Devices ◽  
The Internet Of Things

The Internet of Things (IoT) enables many new and exciting applications, but it also creates a number of new risks related to information security. Several recent attacks on IoT devices and systems illustrate that they are notoriously insecure. It has also been shown that a major part of the attacks resulted in full adversarial control over IoT devices, and the reason for this is that IoT devices themselves are weakly protected and they often cannot resist even the most basic attacks. Penetration testing or ethical hacking of IoT devices can help discovering and fixing their vulnerabilities that, if exploited, can result in highly undesirable conditions, including damage of expensive physical equipment or even loss of human life. In this paper, we give a basic introduction into hacking IoT devices. We give an overview on the methods and tools for hardware hacking, firmware extraction and unpacking, and performing basic firmware analysis. We also provide a survey on recent research on more advanced firmware analysis methods, including static and dynamic analysis of binaries, taint analysis, fuzzing, and symbolic execution techniques. By giving an overview on both practical methods and readily available tools as well as current scientific research efforts, our work can be useful for both practitioners and academic researchers.

Multiplex symbolic execution

2020 ◽  
Author(s):  
Yufeng Zhang ◽  
Zhenbang Chen ◽  
Ziqi Shuai ◽  
Tianqi Zhang ◽  
Kenli Li ◽  
...  
Keyword(s):  
Symbolic Execution

Exploiting Symbolic Execution to Accelerate Deterministic Databases

2020 ◽  
Author(s):  
Shady Issa ◽  
Miguel Viegas ◽  
Pedro Raminhas ◽  
Nuno Machado ◽  
Miguel Matos ◽  
...  
Keyword(s):  
Symbolic Execution

Machine learning steered symbolic execution framework for complex software code

2021 ◽  
Author(s):  
Lei Bu ◽  
Yongjuan Liang ◽  
Zhunyi Xie ◽  
Hong Qian ◽  
Yi-Qi Hu ◽  
...  
Keyword(s):  
Machine Learning ◽  
Symbolic Execution ◽  
Software Code
Sign in / Sign up

Export Citation Format

Share Document