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++)
최근 바뀜
약어 목록:
- 새글
- 새 문서 (새 문서 목록도 보세요)
- 잔글
- 사소한 편집
- 봇
- 봇이 수행한 편집
- (±123)
- 바이트 수로 표현한 문서 크기의 차이
2025년 7월 17일 (목)
| 07:13 | ZIO: Accelerating IO-Intensive Applications with Transparent Zero-Copy IO 차이역사 +1,504 Ahn9807 토론 기여 | ||||
| 03:51 | 올리기 기록 Ahn9807 토론 기여님이 파일:USENIX OSDI 2022 zIO Figure 3.png 파일을 올렸습니다 | ||||
2025년 7월 16일 (수)
| 09:03 | 올리기 기록 Ahn9807 토론 기여님이 파일:USENIX OSDI 2022 zIO Figure 1.png 파일을 올렸습니다 | ||||
2025년 7월 15일 (화)
| 새글 06:48 | USENIX OSDI 2025 차이역사 +5,490 Ahn9807 토론 기여 (새 문서: 분류: USENIX OSDI == Distributed Systems and Data Centers I == === Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols === Distributed protocols들은 올바르게 설계하기 어렵다. 이를 위해서 Formal verification을 이용해서 Protocol이 Safety property를 만족하는지를 Verification하는 과정이 필요하다. Formal verification을 위해서 Inductive invariant들을 분석해야 하지만, 올바른 Inductive invar...) | ||||