Showing results 1 to 2 of 2
가상화 기법으로 난독화된 바이너리에서 심볼릭 실행을 이용한 실행경로 축약 = Simplifying execution path of virtualization-obfuscated binaries using symbolic executionlink 현신영; 한태숙; et al, 한국과학기술원, 2017 |
심볼릭 배열 인덱스 참조 연산의 최적화를 통한 Concolic 테스팅의 커버리지 개선 = Coverage improvement of concolic testing by optimizing symbolic array index operationslink 김태진; Kim, Taejin; et al, 한국과학기술원, 2016 |
Discover