1 | Automated Analysis of Malicious Applications in WebOS 박재유; 차상길, 정보보호학회 동계학술대회, 한국정보보호학회, 2017-12-09 |
2 | BRemu: 정밀한 중간표현 기반의 확장 가능한 동적 바이너리 분석 프레임워크 = BRemu: precise-intermediate-representation-based extensible dynamic binary analysis frameworklink 김도혁; 차상길; et al, 한국과학기술원, 2021 |
3 | CCS 2015 학회 탐방기 차상길, 정보보호학회지, v.25, no.6, pp.59 - 60, 2015-12 |
4 | Extending the capacity of program-aware fuzzing with binary-level static analysis = 바이너리 정적 분석을 활용한 프로그램 인식형 퍼징 기술의 역량 확장link Choi, Jaeseung; Cha, Sang Kil; et al, 한국과학기술원, 2022 |
5 | PDF 파일의 포맷 기반 퍼즈 테스팅 = Format-aware fuzzing on PDF fileslink 김호빈; 차상길; et al, 한국과학기술원, 2017 |
6 | Prov-DFT: 정보흐름분석을 이용한 의존성 폭발 억제 방법에 관한 연구 = Prov-DFT: mitigating dependency explosion with information flow analysislink 신명근; 차상길; et al, 한국과학기술원, 2022 |
7 | RecurFI : Practical coarse-grained CFI on windows binary code = RecurFI : 윈도우 바이너리에 대한 효율적 제어흐름 무결성 검사 시스템link Hong, jina; Kim, Kwangjo; 김광조; Cha, Sang Kil; et al, 한국과학기술원, 2017 |
8 | Securely executing malicious code = 악성코드의 안전한 실행에 대하여link Faerevaag, Markus Veie; Cha, Sang Kil; 차상길; Kang, Brent Byung Hoon; et al, 한국과학기술원, 2019 |
9 | Testing intermediate representation for binary analysis = 바이너리 분석 용 중간 언어 점검link Kim, Soomin; Cha, Sang Kil; et al, 한국과학기술원, 2018 |
10 | UniqueBin: 레지스터 재할당을 이용한 저위험 JIT-ROP 공격 방어 = UniqueBin: low-risk JIT-ROP defense using register reallocationlink 김강수; 차상길; et al, 한국과학기술원, 2021 |
11 | 강화 학습을 이용한 패스워드 추측 공격 = Password guessing with reinforcement learninglink 윤지현; 차상길; et al, 한국과학기술원, 2018 |
12 | 거리 기반 피트니스 함수를 사용한 그레이 박스 퍼징 방법 및 장치 차상길; 마네스 발렌틴 쟝 마리; 김수민 |
13 | 검색 기반 퍼즈 테스팅 = Search-based fuzzinglink 한충우; 차상길; et al, 한국과학기술원, 2017 |
14 | 공격방어형식의 해킹대회를 운용하기 위한 쉽고 효율적인 접근법 = (A) simple and effective approach to organizing in-course attack-and-defense security competitionlink 위성일; 차상길; et al, 한국과학기술원, 2019 |
15 | 기계 학습을 이용한 자바스크립트 해석 엔진 테스트 방법 및 장치 손수엘; 이수영; 차상길; 김인성; 김태규 |
16 | 기호실행과 인-메모리 퍼징을 활용한 IoT 기기 퍼징 = Fuzzing for IoT devices using symbolic execution and in-memory fuzzinglink Kim, Hongsik; 차상길; et al, 한국과학기술원, 2020 |
17 | 느긋한 심볼화를 활용한 바이너리 재조립 기술의 정확도 향상 기술 및 도구 차상길; 최지원 |
18 | 데이터 재사용 공격에 대한 방어 방법 및 시스템 차상길; 이대진; 이준오 |
19 | 데이터 재사용 공격에 대한 방어법 고찰 이대진; 이준오; 차상길, 한국정보보호학회 하계학술대회, 한국정보보호학회, 2021-06-24 |
20 | 데이터 재사용 공격에 대한 방어법 고찰 = Protecting against data-reuse attackslink 이대진; 차상길; et al, 한국과학기술원, 2021 |
21 | 데이터 흐름 기반 피드백을 이용한 이더리움 스마트 컨트랙트 퍼즈 테스팅 = Fuzzing ethereum smart contracts with data-flow-based feedbacklink 김도연; 차상길; et al, 한국과학기술원, 2021 |
22 | 동적 데이터 흐름 분석을 통해 변이 기법을 자바스크립트 인터프리터 퍼징에 적용하는 방법과 그 효용성에 관한 고찰 = Method and efficiency of mutational fuzzing on Javascript interpreter with dynamic data-flow analysislink Oh, DongHyeon; 차상길; et al, 한국과학기술원, 2020 |
23 | 명령어 문법 인식 기반의 효율적인 에뮬레이터 차등 테스팅 = Grammar-aware differential testing for emulatorslink 이용우; 차상길; et al, 한국과학기술원, 2023 |
24 | 모듈형 바이너리 함수 식별 체계의 개발 = Pluggable binary function identification systemlink 이준오; 차상길; et al, 한국과학기술원, 2022 |
25 | 미로 기반 프로그램 합성을 활용한 퍼징 벤치마크 생성 기법 = Towards a maze-based synthesis of fuzzing benchmarkslink 이하은; 차상길; et al, 한국과학기술원, 2023 |
26 | 바이너리 구조 도식화 장치 및 방법 차상길; 김수민; 이민수, 2019-04-24 |
27 | 바이너리 분석을 위한 중간 언어 테스트 방법 및 장치 차상길; 김수민; 오동엽; 정승일; 정민규 |
28 | 바이너리 정적 분석을 통해 얻은 타입 정보를 활용하는 윈도우 커널 퍼징 기법 차상길; 최재승; 이대진; 김강수 |
29 | 바이너리 코드 재조립 시스템의 한계에 관한 고찰 = (A) study on limitation of binary reassembler systemlink 최지원; 차상길; et al, 한국과학기술원, 2019 |
30 | 분산 버전 관리 시스템 기반 공격방어 형식의 해킹 플랫폼 제공 시스템 및 이를 이용한 해킹 대회 제공 방법 차상길; 위성일; 최재승; 한형석 |
31 | 소프트웨어 보안과 바이너리 분석 차상길, 정보과학회지, v.36, no.3, pp.11 - 16, 2018-03 |
32 | 소프트웨어 정의 네트워크에서의 악성 프로그램 탐지 장치, 방법 및 컴퓨터 프로그램 신승원; 이찬희; 윤창훈; 차상길, 2019-04-01 |
33 | 악용가능성 분석 도구의 성능 평가 및 개선 연구 = (An) evaluation and improvement of exploitability analyzerslink 이시훈; 차상길; et al, 한국과학기술원, 2023 |
34 | 에임봇 탐지를 위한 분산 시스템 설계 = Enabling distributed aimbot detectionlink 최민엽; 차상길; et al, 한국과학기술원, 2023 |
35 | 오픈 커뮤니티 기반 해킹 플랫폼의 제공 방법 및 이를 이용하는 제공 시스템 차상길; 조호묵; 이정호; 신명근 |
36 | 윈도우즈 커널 퍼징 = Windows kernel fuzzinglink 김문범; 차상길; et al, 한국과학기술원, 2018 |
37 | 이중 Just-In-Time 컴파일을 통한 플랫폼 독립적 에뮬레이터 설계 = Design of a platform-independent emulator using dual Just-In-Time compilationlink 김영훈; Kim, Yeonghun; et al, 한국과학기술원, 2023 |
38 | 자바스크립트 엔진에 대한 시맨틱 보존적 변이기반 퍼징 오동현; 최재승; 차상길, 정보보호학회논문지, v.30, no.4, pp.573 - 582, 2020-08 |
39 | 자바스크립트 엔진의 최적화 버그에 대한 분석 = Analyzing optimization bugs in Javascript engineslink 김지훈; 차상길; et al, 한국과학기술원, 2018 |
40 | 자바스크립트 파일 재작성을 통한 자바스크립트 해석 엔진 테스트 방법 및 장치 차상길; 한형석; 손수엘; 김인성; 김태규 |
41 | 적대적 예제를 활용한 딥러닝에 대한 공격 기술 연구 동향 차상길; 이용우, 정보과학회논문지, v.49, no.5, pp.339 - 346, 2022-05 |
42 | 점진적 데이터 흐름 분석 기반 EVM 바이트 코드 제어 흐름 그래프 복원 연구 = On the recovery of EVM bytecode control-flow graph via incremental data-flow analysislink 김정현; Kim, Jung Hyun; et al, 한국과학기술원, 2023 |
43 | 추론된 모델 기반 커널 퍼즈 테스팅 = Inferred model-based kernel fuzz testinglink 한형석; 차상길; et al, 한국과학기술원, 2018 |
44 | 효율적인 바이너리 분석 프론트엔드 = Efficient binary analysis frontendlink 정민규; 차상길; et al, 한국과학기술원, 2019 |
45 | GPU 코드 메모리에 적용할 수 있는 CUDA 메모리 페이지 스캔 및 CUDA 함수 위치 탐색 방법 차상길; 박상옥; 권오민; 김용곤 |