A Method of Path Feasibility Judgment Based on Symbolic Execution and Range Analysis
보안공학연구지원센터(IJFGCN) International Journal of Future Generation Communication and Networking Vol.7 No.3 2014.06 pp.205-212
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Deterministic Parallelism for Symbolic Execution Programs based on a Name-Freshness Monad Library
[Kisti 연계] 한국컴퓨터정보학회 Journal of the Korea society of computer and information Vol.26 No.2 2021 pp.1-9
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
동적 기호 실행을 이용한 그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼
[Kisti 연계] 한국정보보호학회 정보보호학회논문지 Vol.24 No.3 2014 pp.437-444
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
소프트웨어 안전성 검증을 위한 입력 파일 기반 동적 기호 실행 방법
[Kisti 연계] 한국정보보호학회 정보보호학회논문지 Vol.27 No.4 2017 pp.811-820
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
심볼릭 수행 방법을 이용한 철도 소프트웨어 코드분석 도구제안
[Kisti 연계] 대한전기학회 전기학회논문지. The Transactions of the Korean Institute of Electrical Engineers. P Vol.65 No.4 2016 pp.242-249
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
동적 기호 실행을 이용한 힙 메모리 OOB 취약점 자동 탐지 방법
[Kisti 연계] 한국정보보호학회 정보보호학회논문지 Vol.28 No.4 2018 pp.919-928
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
동적 기호 실행을 이용한 윈도우 시스템 콜 Use-After-Free 취약점 자동 탐지 방법
[Kisti 연계] 한국정보보호학회 정보보호학회논문지 Vol.27 No.4 2017 pp.803-810
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-