scholarly journals All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)

Author(s):  
Edward J. Schwartz ◽  
Thanassis Avgerinos ◽  
David Brumley
2011 ◽  
Vol 14 (2) ◽  
pp. 1-28 ◽  
Author(s):  
Tielei Wang ◽  
Tao Wei ◽  
Guofei Gu ◽  
Wei Zou

2019 ◽  
pp. 2-13
Author(s):  
Dorottya Papp ◽  
Kristóf Tamás ◽  
Levente Buttyán

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.


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

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

Author(s):  
Lei Bu ◽  
Yongjuan Liang ◽  
Zhunyi Xie ◽  
Hong Qian ◽  
Yi-Qi Hu ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document