새 문서 목록

12:292026년 4월 28일 (화) 12:29 DMGUARD: Safeguarding Kernels from Physical-Page Use-After-Free Vulnerabilities (역사 | 편집) [25,816 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류:USENIX Security {{Paper|title=DMGUARD: Safeguarding Kernels from Physical-Page Use-After-Free Vulnerabilities|author=Juhee Kim, Jaeyoung Chung, Dae R. Jeong, Byoungyoung Lee|year=2026|conference=USENIX Security}} == 개요 == Physical-page use after free라는 Page table entry에서 일어나는 Use after free를 새로운 Vulnerability도메인으로 정의하고, 이를 막을 수 있는 Reference counting방식의 기법을 제시하였다. == Motivation & Impo...) 태그: 시각 편집: 전환됨

11:472026년 4월 27일 (월) 11:47 OS-SANITIZER: System-wide Latent Defect Inference in Linux Applications (역사 | 편집) [11,579 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: USENIX Security == 개요 == eBPF를 활용하여 커널 및 애플리케이션의 런타임 동작을 관찰하고, 해당 동작이 실제 failure로 이어지기 전에 잠재적인 defect가 될 수 있는지를 추론하는 Framework를 제안하였다. 즉, 기존 sanitizer가 주로 실제 fault나 failure가 발생한 이후 이를 탐지하는 데 초점을 맞추었다면, 본 논문은 정상적으로 실행되는 것처럼 보이는 런타임 동작...)
03:332026년 4월 27일 (월) 03:33 캐논 EOS 620 (역사 | 편집) [3,388 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류:필름 카메라 {{camera | name = Canon EOS 620 | image = Canon_EOS_620.jpg | manufacturer = Canon | released = 1987 | lens_mount = Canon EF mount | sensor = N/A (Film Camera) | film_format = 35mm | shutter = Focal-plane shutter, electronic | metering = 6-zone evaluative metering / partial metering | focus = TTL phase-detection autofocus | exposure = Program AE, Aperture-priority AE, Shutter-priority AE, Manual, Depth-of-field AE | viewfinder = Optical, fixed eye-le...)

06:562026년 4월 15일 (수) 06:56 논문 쓰는 법 (역사 | 편집) [3,966 바이트] Ahn9807 (토론 | 기여) (새 문서: index.php?title=분류:논문 작성법 index.php?title=분류:아티클 논문을 어떻게 하면 잘 쓸 수 있을까? 이 고민은 대학원생이라면 누구나 하는 문제일 것이다. 26년 4월에 논문 작성과 Proposal을 작성할 일이 있어서 열심히 노력해봤지만, 안타깝게도 좋은 글을 쓸 수가 없었다. 교수님께서 다시 작성해주신 글과 비교하니 부족한 부분이 너무나도 많이 보였다. 이처럼 아...) 태그: 시각 편집

08:202026년 3월 25일 (수) 08:20 Data Flow Analysis (역사 | 편집) [8,978 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류:프로그램 분석 == 개요 == '''Data Flow Analysis'''는 프로그램의 각 지점(program point)에서 변수나 메모리 상태에 대한 정보를 계산하는 정적 분석 기법이다. 이 분석은 프로그램을 실행하지 않고도, 가능한 모든 실행 경로를 고려하여 변수의 값, 상태, 혹은 속성(property)을 추론하는 것을 목표로 한다. 특히, Data Flow Analysis는 프로그램을 '''Control Flow Graph (CFG)'''로 변...)

07:112026년 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...)

02:222026년 3월 19일 (목) 02:22 Principles and Methodologies for Serial Performance Optimization (역사 | 편집) [6,331 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류:USENIX OSDI {{Paper|title=Principles and Methodologies for Serial Performance Optimization|author=Sujin Park, Mingyu Guan, Xiang Cheng, Taesoo Kim Georgia Institute of Technology|year=2025|conference=USENIX OSDI 19}} == 개요 == 이 논문은 시스템 성능 최적화에 초점을 맞추고, 이를 체계적으로 최적화하기 위한 framework를 제안한다. 기존에는 성능 최적화가 경험과 직관에 의존했으나, 본 논문은 이를 구조화된...) 태그: 시각 편집: 전환됨

08:022026년 3월 18일 (수) 08:02 Fast Pointer Nullification for Use-After-Free Prevention (역사 | 편집) [8,288 바이트] Ahn9807 (토론 | 기여) (새 문서: index.php?title=분류:NDSS {{Paper|title=Fast Pointer Nullification for Use-After-Free Prevention|author=Yubo Du University of Pittsburgh yubo.du@pitt.edu Youtao Zhang University of Pittsburgh youtao@pitt.edu Jun Yang University of Pittsburgh juy9@pitt.edu|conference=NDSS 2026|year=2026}} == 개요 == Pointer nullification기법은 Use-after-free버그를 효과적으로 막을 수 있지만, 기존의 PN (Pointer nullification)기법들은 메타데이터 Looku...) 태그: 시각 편집

13:342026년 2월 3일 (화) 13:34 Evaluating the Effectiveness of Memory Safety Sanitizers (역사 | 편집) [1,633 바이트] Ahn9807 (토론 | 기여) (새 문서: {{Paper|title=Evaluating the Effectiveness of Memory Safety Sanitizers|conference=IEEE Symposium on Security and Privacy (SP)|year=2025|author=Emanuel Q. Vintila Technical University of Munich emanuel.vintila@tum.de Philipp Zieris Fraunhofer AISEC philipp.zieris@aisec.fraunhofer.de Julian Horsch Fraunhofer AISEC julian.horsch@aisec.fraunhofer.de}} 분류: IEEE S&P == 개요 == 기존의 다양한 Memory sanitizer들은 성능으로는 Evlauation결과를 보여주지만...) 태그: 시각 편집: 전환됨