Nori wiki
Author
안준호 (Ahn, Junho)
KAIST E3-1 CASYS Lab
✉️ junhoahn@kaist.ac.kr
Submissions
- USENIX Security 2024 Junho Ahn, Jaehyeon Lee, KangHyuk Lee, Wooseok Gwak, Minseong Hwang, Youngjin Kwon, "BUDAlloc: Defeating Use-After-Free Bugs by Decoupling Virtual Address Management from Kernel" (Acceptance rate: 18.32%, BK21++)
- IEEE S&P 2025 Junho Ahn, KangHyuk Lee, Chanyoung Park, Hyungon Moon, Youngjin Kwon, "SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World" (Acceptance rate: 14.8%, BK21++)
- European Conference on Computer Systems (EuroSys), 2026 Minkyu Jung, Chanshin Kwak, Junho Ahn, Sunho Park, Changjun Lee, Jongyul Kim, Jeehoon Kang, Youngjin Kwon "[CofferOS: Hardening OS-level Virtualization with Rust" (BK21++)
최근 바뀜
약어 목록:
- 새글
- 새 문서 (새 문서 목록도 보세요)
- 잔글
- 사소한 편집
- 봇
- 봇이 수행한 편집
- (±123)
- 바이트 수로 표현한 문서 크기의 차이
2026년 3월 25일 (수)
| 새글 08:20 | Data Flow Analysis 차이역사 +8,978 Ahn9807 토론 기여 (새 문서: 분류:프로그램 분석 == 개요 == '''Data Flow Analysis'''는 프로그램의 각 지점(program point)에서 변수나 메모리 상태에 대한 정보를 계산하는 정적 분석 기법이다. 이 분석은 프로그램을 실행하지 않고도, 가능한 모든 실행 경로를 고려하여 변수의 값, 상태, 혹은 속성(property)을 추론하는 것을 목표로 한다. 특히, Data Flow Analysis는 프로그램을 '''Control Flow Graph (CFG)'''로 변...) | ||||
| 05:59 | 올리기 기록 Ahn9807 토론 기여님이 파일:Data Flow Analysis Lattice.png 파일을 올렸습니다 | ||||
2026년 3월 23일 (월)
| 새글 07:11 | AddressSanitizer Optimization 차이역사 +13,272 Ahn9807 토론 기여 (새 문서: 분류:AddressSanitizer 분류:Program Analysis 분류:Optimization == 개요 == 이 문서는 AddressSanitizer(ASan)의 실행 오버헤드를 줄이기 위한 다양한 최적화 기법들을 정리한 문서이다. ASan은 heap, stack, global object에 대한 out-of-bounds access와 heap use-after-free를 효과적으로 검출하지만, 각 memory access마다 shadow memory를 확인하는 check를 삽입하므로 실행 시간 오버헤드가 크다. == Remo...) | ||||