Browse "College of Engineering(공과대학)" by Author Cha, Sang Kil

Showing results 1 to 60 of 62

1
AEG: Automatic Exploit Generation

Avgerinos, Thanassis; Cha, Sang Kil; Lim, Brent; Brumley, David, Network and Distributed System Security Symposium, Internet Society, 2011-02-06

2
AlertVision: Visualizing Security Alerts

Hong, Jina; Lee, JinKi; Lee, HyunKyu; Chang, YoonHa; Choi, KwangHo; Cha, Sang Kil, 19th World International Conference on Information Security and Applications (WISA), pp.173 - 184, Korea Institute of Information Security and Cryptology, 2018-08-24

3
Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference

Manes, Valentin J. M.; KIM, SOOMIN; Cha, Sang Kil, 42nd ACM/IEEE International Conference on Software Engineering, ICSE 2020, pp.1024 - 1036, ACM Special Interest Group on Software Engineering, IEEE Computer Society Technical Council on Software Engineering, 2020-07-07

4
Asia's Surging Interest in Binary Analysis

Cha, Sang Kil; Liang, Zhenkai, COMMUNICATIONS OF THE ACM, v.63, no.4, pp.86 - 88, 2020-04

5
Automatic Exploit Generation

Avgerinos, Thanassis; Cha, Sang Kil; Rebert, Alexandre; Schwartz, Edward J.; Woo, Maverick; Brumley, David, COMMUNICATIONS OF THE ACM, v.57, no.2, pp.74 - 84, 2014-02

6
B2R2: Building an Efficient Front-End for Binary Analysis

Jung, Minkyu; Kim, Soomin; Han, HyungSeok; Choi, Jaeseung; Cha, Sang Kil, The NDSS Workshop on Binary Analysis Research, Internet Society, 2019-02-24

7
Boosting fuzzer efficiency: an information theoretic perspective

Böhme, Marcel; Manès, Valentin J. M.; Cha, Sang Kil, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, 2020-11-08

8
Boosting Fuzzer Efficiency: An Information Theoretic Perspective

Böhme, Marcel; Manès, Valentin J. M.; Cha, Sang Kil, COMMUNICATIONS OF THE ACM, v.66, no.11, pp.89 - 97, 2023-11

9
BotScreen: Trust Everybody, but Cut the Aimbots Yourself

Choi, Minyeop; Ko, Gihyuk; Cha, Sang Kil, USENIX Security '23, USENIX, 2023-08-09

10
BRemu: 정밀한 중간표현 기반의 확장 가능한 동적 바이너리 분석 프레임워크 = BRemu: precise-intermediate-representation-based extensible dynamic binary analysis frameworklink

김도혁; 차상길; et al, 한국과학기술원, 2021

11
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines

Han, HyungSeok; Oh, DongHyeon; Cha, Sang Kil, 26th Annual Network and Distributed System Security Symposium (NDSS), Internet Society, 2019-02-26

12
DAFL: Directed Grey-box Fuzzing guided by Data Dependency

Kim, Tae Eun; Choi, Jaeseung; Heo, Kihong; Cha, Sang Kil, USENIX Security '23, pp.4931 - 4948, USENIX, 2023-08-10

13
Enhancing Symbolic Execution with Veritesting

Avgerinos, Thanassis; Rebert, Alexandre; Cha, Sang Kil; Brumley, David, International Conference on Software Engineering, IEEE Computer Society and ACM SIGSOFT, 2014-06-06

14
Enhancing Symbolic Execution with Veritesting

Avgerinos, Thanassis; Rebert, Alexandre; Cha, Sang Kil; Brumley, David, COMMUNICATIONS OF THE ACM, v.59, no.6, pp.93 - 100, 2016-06

15
Extending the capacity of program-aware fuzzing with binary-level static analysis = 바이너리 정적 분석을 활용한 프로그램 인식형 퍼징 기술의 역량 확장link

Choi, Jaeseung; Cha, Sang Kil; et al, 한국과학기술원, 2022

16
Fuzzle: Making a Puzzle for Fuzzers

Lee, Haeun; Kim, Soomin; Cha, Sang Kil, The 37th IEEE/ACM International Conference on Automated Software Engineering, IEEE/ACM, 2022-10-10

17
Git-based CTF: A Simple and Effective Approach to Organizing In-Course Attack-and-Defense Security Competition

Wi, SeongIl; Choi, Jaeseung; Cha, Sang Kil, USENIX Workshop on Advances in Security Education, USENIX, 2018-08-13

18
Grey-box Concolic Testing on Binary Code

Choi, Jaeseung; Jang, Joonun; Han, Choongwoo; Cha, Sang Kil, 41st IEEE/ACM International Conference on Software Engineering (ICSE), pp.736 - 747, ACM/IEEE, 2019-05-31

19
How'd Security Benefit Reverse Engineers? — The Implication of Intel CET on Function Identification

Kim, Hyungseok; Lee, Junoh; Kim, Soomin; Jung, SeungIl; Cha, Sang Kil, The 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022, pp.559 - 566, IEEE/IFIP, 2022-06-27

20
IMF: Inferred Model-based Fuzzer

Han, HyungSeok; Cha, Sang Kil, ACM Conference on Computer and Communications Security, ACM Special Interest Group on Security, Audit and Control (SIGSAC), 2017-11-03

21
INDAGO: A New Framework For Detecting Malicious SDN Applications

Lee, Chanhee; Yoon, Changhoon; Shin, Seungwon; Cha, Sang Kil, The IEEE International Conference on Network Protocols, IEEE, 2018-09-26

22
METHOD AND SYSTEM FOR FUZZING WINDOWS KERNEL BY UTILIZING TYPE INFORMATION OBTAINED THROUGH BINARY STATIC ANALYSIS

Cha, Sang Kil; Choi, Jaeseung; Lee, Daejin; Kim, Kangsu

23
Mind control attack: Undermining deep learning with GPU memory exploitation

Park, Sang-Ok; Kwon, Ohmin; Kim, Yonggon; Cha, Sang Kil; Yoon, Hyunsoo, COMPUTERS & SECURITY, v.102, 2021-03

24
Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer

Lee, Suyoung; Han, HyungSeok; Cha, Sang Kil; Son, Sooel, 29th USENIX Security Symposium (USENIX Security 2020), pp.2613 - 2630, USENIX, 2020-08-12

25
NtFuzz: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis

Choi, Jaeseung; Kim, Kangsu; Lee, Daejin; Cha, Sang Kil, 42nd IEEE Symposium on Security and Privacy, SP 2021, pp.677 - 693, IEEE, 2021-05

26
Optimizing Seed Selection for Fuzzing

Rebert, Alexandre; Cha, Sang Kil; Avgerinos, Thanassis; Foote, Jonathan; Warren, David; Grieco, Gustavo; Brumley, David, USENIX Security Symposium, USENIX Association, 2014-08-22

27
PDF 파일의 포맷 기반 퍼즈 테스팅 = Format-aware fuzzing on PDF fileslink

김호빈; 차상길; et al, 한국과학기술원, 2017

28
Platform-Independent Programs

Cha, Sang Kil; Pak, Brian; Brumley, David; Lipton, Richard J, ACM Conference on Computer and Communications Security, ACM, 2010-10-07

29
Program-Adaptive Mutational Fuzzing

Cha, Sang Kil; Woo, Maverick; Brumley, David, IEEE Symposium on Security and Privacy, pp.725 - 741, IEEE Computer Society, 2015-05-20

30
Prov-DFT: 정보흐름분석을 이용한 의존성 폭발 억제 방법에 관한 연구 = Prov-DFT: mitigating dependency explosion with information flow analysislink

신명근; 차상길; et al, 한국과학기술원, 2022

31
Reassembly is Hard: A Reflection on Challenges and Strategies

Kim, Hyungseok; KIM, SOOMIN; Lee, Junoh; Jee, Kangkook; Cha, Sang Kil, USENIX Security '23, USENIX, 2023-08-09

32
RecurFI : Practical coarse-grained CFI on windows binary code = RecurFI : 윈도우 바이너리에 대한 효율적 제어흐름 무결성 검사 시스템link

Hong, jina; Kim, Kwangjo; 김광조; Cha, Sang Kil; et al, 한국과학기술원, 2017

33
RecurFI: 윈도우 바이너리에 대한 효율적 제어흐름 무결성 검사 시스템

홍진아; Cha, Sang Kil; Kim, Kwangjo, 정보보호학회 동계학술대회, 한국정보보호학회, 2016-12-03

34
RETracer: Triaging Crashes by Reverse Execution from Partial Memory Dumps

Cui, Weidong; Peinado, Marcus; Cha, Sang Kil; Fratantonio, Yanick; Kemerlis, Vasileios P., International Conference on Software Engineering, IEEE Computer Society, 2016-05-19

35
Revisiting Binary Code Similarity Analysis using Interpretable Feature Engineering and Lessons Learned

Kim, Dongkwan; Kim, Eunsoo; Cha, Sang Kil; Son, Sooel; Kim, Yongdae, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.49, no.4, pp.1661 - 1682, 2023-04

36
Scheduling Black-box Mutational Fuzzing

Woo, Maverick; Cha, Sang Kil; Gottlieb, Samantha; Brumley, David, ACM Conference on Computer and Communications Security, ACM, 2013-11-06

37
SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses

Choi, Jaeseung; Doyeon Kim; KIM, SOOMIN; Gustavo Grieco; Alex Groce; Cha, Sang Kil, 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.227 - 239, IEEE/ACM, 2021-11-16

38
SplitScreen: Enabling Efficient, Distributed Malware Detection

Cha, Sang Kil; Moraru, Iulian; Jang, Ji Yong; Truelove, John; Brumley, David; Andersen, David G, USENIX Symposium on Networked Systems Design and Implementation, USENIX, 2010-04-30

39
SplitScreen: Enabling Efficient, Distributed Malware Detection

Cha, Sang Kil; Moraru, Iulian; Jang, Jiyong; Truelove, John; Brumley, David; Andersen, David G., JOURNAL OF COMMUNICATIONS AND NETWORKS, v.13, no.2, pp.187 - 200, 2011-04

40
Testing intermediate representation for binary analysis = 바이너리 분석 용 중간 언어 점검link

Kim, Soomin; Cha, Sang Kil; et al, 한국과학기술원, 2018

41
Testing Intermediate Representations for Binary Analysis

Kim, Soomin; Faerevaag, Markus; Jung, Minkyu; Jung, Seungil; Oh, DongYeop; Lee, JongHyup; Cha, Sang Kil, 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.353 - 364, IEEE Computer Society and ACM SIGSFOT, 2017-11-03

42
The Art, Science, and Engineering of Fuzzing: A Survey

Manes, Valentin Jean Marie; Han, HyungSeok; Han, Choongwoo; Cha, Sang Kil; Egele, Manuel; Schwartz, Edward J.; Woo, Maverick, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.47, no.11, pp.2312 - 2331, 2021-11

43
UniqueBin: 레지스터 재할당을 이용한 저위험 JIT-ROP 공격 방어 = UniqueBin: low-risk JIT-ROP defense using register reallocationlink

김강수; 차상길; et al, 한국과학기술원, 2021

44
Unleashing Mayhem on Binary Code

Cha, Sang Kil; Avgerinos, Thanassis; Rebert, Alexandre; Brumley, David, IEEE Symposium on Security and Privacy, IEEE, 2012-05-02

45
강화 학습을 이용한 패스워드 추측 공격 = Password guessing with reinforcement learninglink

윤지현; 차상길; et al, 한국과학기술원, 2018

46
검색 기반 퍼즈 테스팅 = Search-based fuzzinglink

한충우; 차상길; et al, 한국과학기술원, 2017

47
기호실행과 인-메모리 퍼징을 활용한 IoT 기기 퍼징 = Fuzzing for IoT devices using symbolic execution and in-memory fuzzinglink

Kim, Hongsik; 차상길; et al, 한국과학기술원, 2020

48
데이터 재사용 공격에 대한 방어법 고찰 = Protecting against data-reuse attackslink

이대진; 차상길; et al, 한국과학기술원, 2021

49
데이터 흐름 기반 피드백을 이용한 이더리움 스마트 컨트랙트 퍼즈 테스팅 = Fuzzing ethereum smart contracts with data-flow-based feedbacklink

김도연; 차상길; et al, 한국과학기술원, 2021

50
동적 데이터 흐름 분석을 통해 변이 기법을 자바스크립트 인터프리터 퍼징에 적용하는 방법과 그 효용성에 관한 고찰 = Method and efficiency of mutational fuzzing on Javascript interpreter with dynamic data-flow analysislink

Oh, DongHyeon; 차상길; et al, 한국과학기술원, 2020

51
명령어 문법 인식 기반의 효율적인 에뮬레이터 차등 테스팅 = Grammar-aware differential testing for emulatorslink

이용우; 차상길; et al, 한국과학기술원, 2023

52
모듈형 바이너리 함수 식별 체계의 개발 = Pluggable binary function identification systemlink

이준오; 차상길; et al, 한국과학기술원, 2022

53
미로 기반 프로그램 합성을 활용한 퍼징 벤치마크 생성 기법 = Towards a maze-based synthesis of fuzzing benchmarkslink

이하은; 차상길; et al, 한국과학기술원, 2023

54
바이너리 코드 재조립 시스템의 한계에 관한 고찰 = (A) study on limitation of binary reassembler systemlink

최지원; 차상길; et al, 한국과학기술원, 2019

55
악용가능성 분석 도구의 성능 평가 및 개선 연구 = (An) evaluation and improvement of exploitability analyzerslink

이시훈; 차상길; et al, 한국과학기술원, 2023

56
에임봇 탐지를 위한 분산 시스템 설계 = Enabling distributed aimbot detectionlink

최민엽; 차상길; et al, 한국과학기술원, 2023

57
윈도우즈 커널 퍼징 = Windows kernel fuzzinglink

김문범; 차상길; et al, 한국과학기술원, 2018

58
이중 Just-In-Time 컴파일을 통한 플랫폼 독립적 에뮬레이터 설계 = Design of a platform-independent emulator using dual Just-In-Time compilationlink

김영훈; Kim, Yeonghun; et al, 한국과학기술원, 2023

59
자바스크립트 엔진의 최적화 버그에 대한 분석 = Analyzing optimization bugs in Javascript engineslink

김지훈; 차상길; et al, 한국과학기술원, 2018

60
점진적 데이터 흐름 분석 기반 EVM 바이트 코드 제어 흐름 그래프 복원 연구 = On the recovery of EVM bytecode control-flow graph via incremental data-flow analysislink

김정현; Kim, Jung Hyun; et al, 한국과학기술원, 2023

rss_1.0 rss_2.0 atom_1.0