Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware
By Yan Shoshitaishvili, Ruoyu Wang, Christophe Hauser, Christopher Krügel, Giovanni Vigna. Network and Distributed System Security Symposium, 2015
428 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computer Networks and Communications, Signal Processing
View Paper: https://www.semanticscholar.org/paper/c80c9b965fb42ebf68c9848e78fe7352ab42b33c
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
In Computer Networks and Communications
- Christopher Krügel
- Giovanni Vigna
- Heng Yin
- Xiuzhen Cheng
- Ruoyu Wang
- Yan Shoshitaishvili
- Pavel Laskov
- Konrad Rieck
In Signal Processing
- Christopher Krügel
- Giovanni Vigna
- Heng Yin
- Ruoyu Wang
- Qian Feng
- Yan Shoshitaishvili
- Pavel Laskov
- Konrad Rieck
Citations in the corpus
- Scalable Graph-based Bug Search for Firmware Images (2016, background): “To address this critical problem, security researchers have been actively developing techniques to automatically analyze and detect vulnerabilities in IoT products [17,52,61].”
- Driller: Augmenting Fuzzing Through Selective Symbolic Execution (2016, methodology): “We leveraged angr [29], a recently open-sourced symbolic execution engine, for Driller's concolic execution engine.”
- SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis (2016, methodology): “used PyVEX, which we originally wrote for Firmalice [53],”
- Edge Computing Security: State of the Art and Challenges (2019, background): “[40], Gupta and Shenoy [41], and Muench et al.”