참고문헌 (34)

1. 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. 2 King JC . Symbolic Execution and Program Testing . Commun ACM . 1976 ; 19 ( 7 ): 385 – 394 . doi: 10.1145/360248.360252 

   상세보기

3. 3 Zalewski M. American Fuzzy Lop;. http://lcamtuf.coredump.cx/afl/ . 

4. 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. 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. 6 Chipounov V, Kuznetsov V, Candea G. S2E: A platform for in-vivo multi-path analysis of software systems. ASPLOS. 2011;. 

7. 7 Peach Fuzzer;. https://www.peach.tech/products/peach-fuzzer/ . 

8. 8 Spike Fuzzer;. http://www.immunitysec.com/ . 

9. 9 Bellard F. QEMU, a fast and portable dynamic translator. In: USENIX Annual Technical Conference, FREENIX Track; 2005. p. 41–46. 

10. 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. 11 Schumilo S, Spenneberg R, Schwartke H. Don’t trust your USB! How to find bugs in USB device drivers. Blackhat Europe. 2014;. 

12. 12 Renzelmann MJ, Kadav A, Swift MM. SymDrive: Testing Drivers without Devices. In: OSDI. vol. 1; 2012. p. 6. 

13. 13 Pak BS. Hybrid fuzz testing: Discovering software bugs via fuzzing and symbolic execution. School of Computer Science Carnegie Mellon University. 2012;. 

14. 14 Majumdar R, Sen K. Hybrid concolic testing. In: Software Engineering, 2007. ICSE 2007. 29th International Conference on. IEEE; 2007. p. 416–426. 

15. 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. 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. 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. 18 DARPA. Cyber Grand Challenge;. http://cybergrandchallenge.com . 

19. 19 Godefroid P , Levin MY , Molnar D . SAGE: whitebox fuzzing for security testing . Queue . 2012 ; 10 ( 1 ): 20 doi: 10.1145/2090147.2094081 

20. 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. 21 FuzzWin;. https://github.com/piscou/FuzzWin . 

22. 22 Tiny Code Generator;. http://wiki.qemu.org/Documentation/TCG . 

23. 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. 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. 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. 26 of Standard NI, Technology. SAMATE-software assurance metrics and tool evaluation;. http://samate.nist.gov/SARD/testsuite.php . 

27. 27 Vulnerabilities C, Exposures. CVE-2009-1385;. http://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2009-1385 . 

28. 28 TriforceAFL;. https://www.nccgroup.trust/us/about-us/newsroom-and-events/blog/2016/june/project-triforce-run-afl-on-everything/ . 

29. 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. 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. 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. 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. 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. 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.