최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기PloS one, v.13 no.5, 2018년, pp.e0196733 -
Zhang, Bin (School of Electronic Science, National University of Defense Technology, Changsha, Hunan, P.R.C.) , Ye, Jiaxi (School of Electronic Science, National University of Defense Technology, Changsha, Hunan, P.R.C.) , Bi, Xing (School of Electronic Science, National University of Defense Technology, Changsha, Hunan, P.R.C.) , Feng, Chao (School of Electronic Science, National University of Defense Technology, Changsha, Hunan, P.R.C.) , Tang, Chaojing (School of Electronic Science, National University of Defense Technology, Changsha, Hunan, P.R.C.)
Bugs and vulnerabilities in binary executables threaten cyber security. Current discovery methods, like fuzz testing, symbolic execution and manual analysis, both have advantages and disadvantages when exercising the deeper code area in binary executables to find more bugs. In this paper, we designe...
1 Miller BP, Fredriksen L, So B. An Empirical Study of the Reliability of UNIX Utilities. In: In Proceedings of the Workshop of Parallel and Distributed Debugging. Academic Medicine; 1990. p. 32–44.
2 King JC . Symbolic Execution and Program Testing . Commun ACM . 1976 ; 19 ( 7 ): 385 – 394 . doi: 10.1145/360248.360252
3 Zalewski M. American Fuzzy Lop;. http://lcamtuf.coredump.cx/afl/ .
4 Kuznetsov V, Chipounov V, Candea G. Testing closed-source binary device drivers with DDT. In: USENIX Annual Technical Conference. EPFL-CONF-147243; 2010.
5 Chipounov V, Georgescu V, Zamfir C, Candea G. Selective symbolic execution. In: Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep). DSLAB-CONF-2009-002; 2009.
6 Chipounov V, Kuznetsov V, Candea G. S2E: A platform for in-vivo multi-path analysis of software systems. ASPLOS. 2011;.
7 Peach Fuzzer;. https://www.peach.tech/products/peach-fuzzer/ .
8 Spike Fuzzer;. http://www.immunitysec.com/ .
9 Bellard F. QEMU, a fast and portable dynamic translator. In: USENIX Annual Technical Conference, FREENIX Track; 2005. p. 41–46.
10 Song D, Brumley D, Yin H, Caballero J, Jager I, Kang MG, et al. BitBlaze: A new approach to computer security via binary analysis. In: International Conference on Information Systems Security. Springer; 2008. p. 1–25.
11 Schumilo S, Spenneberg R, Schwartke H. Don’t trust your USB! How to find bugs in USB device drivers. Blackhat Europe. 2014;.
12 Renzelmann MJ, Kadav A, Swift MM. SymDrive: Testing Drivers without Devices. In: OSDI. vol. 1; 2012. p. 6.
13 Pak BS. Hybrid fuzz testing: Discovering software bugs via fuzzing and symbolic execution. School of Computer Science Carnegie Mellon University. 2012;.
14 Majumdar R, Sen K. Hybrid concolic testing. In: Software Engineering, 2007. ICSE 2007. 29th International Conference on. IEEE; 2007. p. 416–426.
15 Sen K, Marinov D, Agha G. CUTE: a concolic unit testing engine for C. In: ACM SIGSOFT Software Engineering Notes. vol. 30. ACM; 2005. p. 263–272.
16 Stephens N, Grosen J, Salls C, Dutcher A, Wang R, Corbetta J, et al. Driller: Augmenting fuzzing through selective symbolic execution. In: Proceedings of the Network and Distributed System Security Symposium; 2016.
17 Cha SK, Avgerinos T, Rebert A, Brumley D. Unleashing mayhem on binary code. In: Security and Privacy (SP), 2012 IEEE Symposium on. IEEE; 2012. p. 380–394.
18 DARPA. Cyber Grand Challenge;. http://cybergrandchallenge.com .
19 Godefroid P , Levin MY , Molnar D . SAGE: whitebox fuzzing for security testing . Queue . 2012 ; 10 ( 1 ): 20 doi: 10.1145/2090147.2094081
20 Haller I, Slowinska A, Neugschwandtner M, Bos H. Dowser: a guided fuzzer to find buffer overflow vulnerabilities. In: Proceedings of the 22nd USENIX Security Symposium; 2013. p. 49–64.
21 FuzzWin;. https://github.com/piscou/FuzzWin .
22 Tiny Code Generator;. http://wiki.qemu.org/Documentation/TCG .
23 Shoshitaishvili Y, Wang R, Hauser C, Kruegel C, Vigna G. Firmalice-Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware. In: NDSS; 2015.
24 Cadar C, Dunbar D, Engler DR, et al. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In: OSDI. vol. 8; 2008. p. 209–224.
25 Lattner C, Adve V. LLVM: A compilation framework for lifelong program analysis & transformation. In: Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization. IEEE Computer Society; 2004. p. 75.
26 of Standard NI, Technology. SAMATE-software assurance metrics and tool evaluation;. http://samate.nist.gov/SARD/testsuite.php .
27 Vulnerabilities C, Exposures. CVE-2009-1385;. http://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2009-1385 .
28 TriforceAFL;. https://www.nccgroup.trust/us/about-us/newsroom-and-events/blog/2016/june/project-triforce-run-afl-on-everything/ .
29 Zhao H , Li L , Peng H , Kurths J , Xiao J , Yang Y , et al A new approach of analyzing time-varying dynamical equation via an optimal principle . Modern Physics Letters B . 2017 ; 31 ( 08 ): 1750084 doi: 10.1142/S0217984917500841
30 Wang W , Li L , Peng H , Wang W , Kurths J , Xiao J , et al Anti-synchronization of coupled memristive neutral-type neural networks with mixed time-varying delays via randomly occurring control . Nonlinear Dynamics . 2016 ; 83 ( 4 ): 2143 – 2155 . doi: 10.1007/s11071-015-2471-9
31 Wang W , Yu M , Luo X , Liu L , Yuan M , Zhao W . Synchronization of memristive BAM neural networks with leakage delay and additive time-varying delay components via sampled-data control . Chaos, Solitons & Fractals . 2017 ; 104 : 84 – 97 . doi: 10.1016/j.chaos.2017.08.011
32 Meng Q , Feng C , Zhang B , Tang C . Assisting in Auditing of Buffer Overflow Vulnerabilities via Machine Learning . Mathematical Problems in Engineering . 2017 ; 2017 doi: 10.1155/2017/5452396
33 Yamaguchi F, Lindner F, Rieck K. Vulnerability Extrapolation: Assisted Discovery of Vulnerabilities Using Machine Learning. In: Proceedings of the 5th USENIX Conference on Offensive Technologies. WOOT’11. Berkeley, CA, USA: USENIX Association; 2011. p. 13–13. Available from: http://dl.acm.org/citation.cfm?id=2028052.2028065 .
34 Padmanabhuni BM, Tan HBK. Predicting buffer overflow vulnerabilities through mining light-weight static code attributes. In: Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on. IEEE; 2014. p. 317–322.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
오픈액세스 학술지에 출판된 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.