| Tài liệu tham khảo |
Loại |
Chi tiết |
| 1. J. King and T. Watson, "Symbolic execution and program testing", In Communications of the ACM Volume 19 Issue 7, pp. 385–394. 1976 |
Sách, tạp chí |
| Tiêu đề: |
Symbolic execution and program testing |
|
| 2. Minh Hai Nguyen, Thien Binh Nguyen, Thanh Tho Quan and Mizuhito Ogawa, "A Hybrid Aproach for Control Flow Graph Construction from Binary Code", Proceedings of the 20th Asia-Pacific Software Engineering Conference, Postgrad Symposium, Thailand, 2013 |
Sách, tạp chí |
| Tiêu đề: |
A Hybrid Aproach for Control Flow Graph Construction from Binary Code |
| Tác giả: |
Minh Hai Nguyen, Thien Binh Nguyen, Thanh Tho Quan, Mizuhito Ogawa |
| Nhà XB: |
Proceedings of the 20th Asia-Pacific Software Engineering Conference |
| Năm: |
2013 |
|
| 3. Nguyen Minh Hai, Mizuhito Ogawa and Quan Thanh Tho, "Obfuscation code localization based on CFG generation of malware", The 8th International Symposium on Foundations & Practice of Security, Springer, Clermont-Ferrand, France, 2015 |
Sách, tạp chí |
| Tiêu đề: |
Obfuscation code localization based on CFG generation of malware |
| Tác giả: |
Nguyen Minh Hai, Mizuhito Ogawa, Quan Thanh Tho |
| Nhà XB: |
Springer |
| Năm: |
2015 |
|
| 4. Dawn Song, David Brumley, Heng Yin, Juan Caballero, Ivan Jager, Min Gyung Kang, Zhenkai Liang, James Newsome, Pongsin Poosankam, Prateek Saxena, "BitBlaze: A new approach to computer security via binary analysi", 4th Information Systems Security, 2008 |
Sách, tạp chí |
| Tiêu đề: |
BitBlaze: A new approach to computer security via binary analysi |
| Tác giả: |
Dawn Song, David Brumley, Heng Yin, Juan Caballero, Ivan Jager, Min Gyung Kang, Zhenkai Liang, James Newsome, Pongsin Poosankam, Prateek Saxena |
| Nhà XB: |
4th Information Systems Security |
| Năm: |
2008 |
|
| 5. Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley, "Unleashing MAYHEM on Binary Code", SP ’12 Proceedings of the 2012 IEEE Symposium on Security and Privacy, 2012 |
Sách, tạp chí |
| Tiêu đề: |
Unleashing MAYHEM on Binary Code |
| Tác giả: |
Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert, David Brumley |
| Nhà XB: |
SP ’12 Proceedings of the 2012 IEEE Symposium on Security and Privacy |
| Năm: |
2012 |
|
| 6. Jake Edge, "Mayhem finds 1200 bugs", Internet: https://lwn.net/Articles/557055 , July 2013 |
Sách, tạp chí |
| Tiêu đề: |
Mayhem finds 1200 bugs |
| Tác giả: |
Jake Edge |
| Nhà XB: |
LWN.net |
| Năm: |
2013 |
|
| 7. The Defense Advanced Research Projects Agency, "2016 Cyber Grand Challenge". Internet:https://www.cybergrandchallenge.com", 2016 |
Sách, tạp chí |
| Tiêu đề: |
2016 Cyber Grand Challenge". Internet:https://www.cybergrandchallenge.com |
|
| 8. Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls, Nick Stephens, Mario Polino, Andrew Dutcher, John Grosen, Siji Feng, Christophe Hauser, Christopher Kruegel, Giovanni Vigna, "(State of) The Art of War:Offensive Techniques in Binary Analysis", IEEE Symposium on Security and Privacy, 2016 |
Sách, tạp chí |
| Tiêu đề: |
(State of) The Art of War:Offensive Techniques in Binary Analysis |
| Tác giả: |
Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls, Nick Stephens, Mario Polino, Andrew Dutcher, John Grosen, Siji Feng, Christophe Hauser, Christopher Kruegel, Giovanni Vigna |
| Nhà XB: |
IEEE Symposium on Security and Privacy |
| Năm: |
2016 |
|
| 9. Quarkslab, "Triton: Dynamic binary analysis", Internet: http://triton.quarkslab.com, 2016 |
Sách, tạp chí |
| Tiêu đề: |
Triton: Dynamic binary analysis |
|
| 10. Robin David, Sébastien Bardin, Thanh Dinh Ta, Laurent Mounier, Josselin Feist, Marie-Laure Potet, Jean- Yves Marion, "BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis", IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, 2016 |
Sách, tạp chí |
| Tiêu đề: |
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis |
| Tác giả: |
Robin David, Sébastien Bardin, Thanh Dinh Ta, Laurent Mounier, Josselin Feist, Marie-Laure Potet, Jean-Yves Marion |
| Nhà XB: |
IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering |
| Năm: |
2016 |
|
| 11. Nicholas Nethercote and Julian Seward, "Valgrind: A Framework for Heavyweight Dynamic Binary Instru- mentation", Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Im- plementation, 2007 |
Sách, tạp chí |
| Tiêu đề: |
Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation |
| Tác giả: |
Nicholas Nethercote, Julian Seward |
| Nhà XB: |
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation |
| Năm: |
2007 |
|
| 12. Luk, C., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Vijay Janapa Reddi, and Hazel- wood, K, "Pin: building customized program analysis tools with dynamic instrumentation", In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2005 |
Sách, tạp chí |
| Tiêu đề: |
Pin: building customized program analysis tools with dynamic instrumentation |
| Tác giả: |
C. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, Vijay Janapa Reddi, K. Hazelwood |
| Nhà XB: |
Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation |
| Năm: |
2005 |
|
| 13. Leonardo de Moura and Nikolaj Bjứrner, "Z3: An efficient SMT solver", 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2008 |
Sách, tạp chí |
| Tiêu đề: |
Z3: An efficient SMT solver |
|
| 14. Brummayer, Robert and Biere, Armin, "Boolector: An efficient SMT solver for bit-vectors and arrays.", 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2009 |
Sách, tạp chí |
| Tiêu đề: |
Boolector: An efficient SMT solver for bit-vectors and arrays |
| Tác giả: |
Robert Brummayer, Armin Biere |
| Nhà XB: |
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
| Năm: |
2009 |
|
| 15. Ganesh, V., Dill, D.L, "A decision procedure for bit-vectors and arrays.", Proceedings of the 19th International Conference on Computer Aided Verification, 2007 |
Sách, tạp chí |
| Tiêu đề: |
A decision procedure for bit-vectors and arrays |
|
| 16. Johannes Kinder, Helmut Veith, "Jakstab: A Static Analysis Platform for Binaries", Proceedings of the 20th International Conference on Computer Aided Verification, July 2008 |
Sách, tạp chí |
| Tiêu đề: |
Jakstab: A Static Analysis Platform for Binaries |
| Tác giả: |
Johannes Kinder, Helmut Veith |
| Nhà XB: |
Proceedings of the 20th International Conference on Computer Aided Verification |
| Năm: |
2008 |
|
| 17. Min Gyung Kang, Pongsin Poosankam, and Heng Yin, "Renovo: A Hidden Code Extractor for Packed Exe- cutables", 5th ACM Workshop on Recurring Malcode (WORM), Oct 2007 |
Sách, tạp chí |
| Tiêu đề: |
Renovo: A Hidden Code Extractor for Packed Exe- cutables |
| Tác giả: |
Min Gyung Kang, Pongsin Poosankam, Heng Yin |
| Nhà XB: |
5th ACM Workshop on Recurring Malcode (WORM) |
| Năm: |
2007 |
|
| 18. P. Godefroid, M. Y. Levin, and D. Molnar, "SAGE: Whitebox Fuzzing for Security Testing", Queue. vol. 10, no. 1, p. 20, Jan 2012 |
Sách, tạp chí |
| Tiêu đề: |
SAGE: Whitebox Fuzzing for Security Testing |
|
| 19. Hex-Rays SA, "IDA F.L.I.R.T.", Internet: https://www.hex-rays.com/products/ida/tech/flirt.shtml, May 2015 |
Sách, tạp chí |
|
| 20. Pongsin Poosankam, "Scaling Concolic Execution of Binary Programs for Security Applications", PhD Thesis, Carnegie Mellon University, 2013 |
Sách, tạp chí |
| Tiêu đề: |
Scaling Concolic Execution of Binary Programs for Security Applications |
| Tác giả: |
Pongsin Poosankam |
| Nhà XB: |
Carnegie Mellon University |
| Năm: |
2013 |
|