FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware
暂无分享,去创建一个
[1] Christopher Krügel,et al. SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis , 2016, 2016 IEEE Symposium on Security and Privacy (SP).
[2] Yaniv David,et al. Tracelet-based code search in executables , 2014, PLDI.
[3] Aurélien Francillon,et al. A Large-Scale Analysis of the Security of Embedded Firmwares , 2014, USENIX Security Symposium.
[4] Christian Rossow,et al. Leveraging semantic signatures for bug search in binary programs , 2014, ACSAC.
[5] Heng Yin,et al. Scalable Graph-based Bug Search for Firmware Images , 2016, CCS.
[6] Christian Rossow,et al. Cross-Architecture Bug Search in Binary Executables , 2015, 2015 IEEE Symposium on Security and Privacy.
[7] Eran Yahav,et al. Similarity of binaries through re-optimization , 2017, PLDI.
[8] David W. Binkley,et al. Program slicing , 2008, 2008 Frontiers of Software Maintenance.
[9] Khaled Yakdan,et al. discovRE: Efficient Cross-Architecture Identification of Bugs in Binary Code , 2016, NDSS.
[10] Eran Yahav,et al. Statistical similarity of binaries , 2016, PLDI.
[11] Atul Prakash,et al. Expose: Discovering Potential Binary Code Re-use , 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference.
[12] A. Ehrenfeucht. An application of games to the completeness problem for formalized theories , 1961 .
[13] Keith D. Cooper,et al. Value Numbering , 1997, Softw. Pract. Exp..
[14] Nicholas Nethercote,et al. Valgrind: a framework for heavyweight dynamic binary instrumentation , 2007, PLDI '07.
[15] David Brumley,et al. Blanket Execution: Dynamic Similarity Testing for Program Binaries and Components , 2014, USENIX Security Symposium.