Ahn9807의 사용자 기여

11:192026년 4월 29일 (수) 11:19 차이 역사 0 DMGUARD: Safeguarding Kernels from Physical-Page Use-After-Free Vulnerabilities 편집 요약 없음 최신
11:182026년 4월 29일 (수) 11:18 차이 역사 +25,235 DMGUARD: Safeguarding Kernels from Physical-Page Use-After-Free Vulnerabilities 편집 요약 없음

12:292026년 4월 28일 (화) 12:29 차이 역사 +581 새글 DMGUARD: Safeguarding Kernels from Physical-Page Use-After-Free Vulnerabilities 새 문서: 분류: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:482026년 4월 27일 (월) 11:48 차이 역사 −16 OS-SANITIZER: System-wide Latent Defect Inference in Linux Applications 편집 요약 없음 최신
11:482026년 4월 27일 (월) 11:48 차이 역사 +448 OS-SANITIZER: System-wide Latent Defect Inference in Linux Applications 편집 요약 없음 태그: 시각 편집: 전환됨
11:472026년 4월 27일 (월) 11:47 차이 역사 +11,147 새글 OS-SANITIZER: System-wide Latent Defect Inference in Linux Applications 새 문서: 분류: USENIX Security == 개요 == eBPF를 활용하여 커널 및 애플리케이션의 런타임 동작을 관찰하고, 해당 동작이 실제 failure로 이어지기 전에 잠재적인 defect가 될 수 있는지를 추론하는 Framework를 제안하였다. 즉, 기존 sanitizer가 주로 실제 fault나 failure가 발생한 이후 이를 탐지하는 데 초점을 맞추었다면, 본 논문은 정상적으로 실행되는 것처럼 보이는 런타임 동작...
11:362026년 4월 27일 (월) 11:36 차이 역사 +42 새글 파일:USENIX Security 2026 OS-SANITIZER Figure 2.png 편집 요약 없음 최신
06:092026년 4월 27일 (월) 06:09 차이 역사 +98 캐논 EOS 620 편집 요약 없음 최신
06:082026년 4월 27일 (월) 06:08 차이 역사 +49 새글 파일:사진 26 04 26 2 캐논 EOS 620 컨트미어 100.png 편집 요약 없음 최신
05:542026년 4월 27일 (월) 05:54 차이 역사 +40 새글 파일:사진 26 04 26 EOS 620 켄트미아 100.png 편집 요약 없음 최신
03:332026년 4월 27일 (월) 03:33 차이 역사 +3,290 새글 캐논 EOS 620 새 문서: 분류:필름 카메라 {{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...
03:322026년 4월 27일 (월) 03:32 차이 역사 −426 야시카 FX-3 Ahn9807 (토론)의 7102 판 편집을 되돌림 최신 태그: 편집 취소
03:312026년 4월 27일 (월) 03:31 차이 역사 +426 야시카 FX-3 편집 요약 없음 태그: 되돌려진 기여 시각 편집: 전환됨

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

04:262026년 4월 14일 (화) 04:26 차이 역사 +40 대문 편집 요약 없음 최신
04:242026년 4월 14일 (화) 04:24 차이 역사 −96 대문 편집 요약 없음 태그: 시각 편집: 전환됨
04:232026년 4월 14일 (화) 04:23 차이 역사 −10 대문 편집 요약 없음
04:012026년 4월 14일 (화) 04:01 차이 역사 −204 대문 편집 요약 없음
03:562026년 4월 14일 (화) 03:56 차이 역사 0 틀:대문/shared/styles.css 편집 요약 없음 최신
03:412026년 4월 14일 (화) 03:41 차이 역사 +478 대문 편집 요약 없음

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

07:112026년 3월 23일 (월) 07:11 차이 역사 +13,272 새글 AddressSanitizer Optimization 새 문서: 분류: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:232026년 3월 19일 (목) 02:23 차이 역사 −5 Principles and Methodologies for Serial Performance Optimization 편집 요약 없음 최신
02:222026년 3월 19일 (목) 02:22 차이 역사 +6,336 새글 Principles and Methodologies for Serial Performance Optimization 새 문서: 분류: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를 제안한다. 기존에는 성능 최적화가 경험과 직관에 의존했으나, 본 논문은 이를 구조화된... 태그: 시각 편집: 전환됨

12:032026년 3월 18일 (수) 12:03 차이 역사 +157 새글 파일:USENIX OSDI 2025 Sujin, Park Table 1.png 편집 요약 없음 최신
08:032026년 3월 18일 (수) 08:03 차이 역사 −16 Fast Pointer Nullification for Use-After-Free Prevention 편집 요약 없음 최신 태그: 시각 편집: 전환됨
08:022026년 3월 18일 (수) 08:02 차이 역사 +8,304 새글 Fast Pointer Nullification for Use-After-Free Prevention 새 문서: 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... 태그: 시각 편집
04:562026년 3월 18일 (수) 04:56 차이 역사 +366 새글 파일:NDSS 2026 FPN Figure 4.png 편집 요약 없음 최신
03:542026년 3월 18일 (수) 03:54 차이 역사 +22 새글 파일:NDSS 2026 FPN Figure 2.png 편집 요약 없음 최신

14:112026년 2월 6일 (금) 14:11 차이 역사 −1 대문 편집 요약 없음 태그: 시각 편집: 전환됨
14:102026년 2월 6일 (금) 14:10 차이 역사 +247 대문 편집 요약 없음 태그: 시각 편집: 전환됨

13:342026년 2월 3일 (화) 13:34 차이 역사 +1,633 새글 Evaluating the Effectiveness of Memory Safety Sanitizers 새 문서: {{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결과를 보여주지만... 최신 태그: 시각 편집: 전환됨

10:202026년 1월 19일 (월) 10:20 차이 역사 +24 새글 분류:LLVM 새 문서: 분류: 컴파일러 최신
10:192026년 1월 19일 (월) 10:19 차이 역사 +1,752 새글 LLVM 새 문서: 분류: 오픈소스 프로젝트 분류: LLVM == 개요 == LLVM(Low Level Virtual Machine)은 모듈화된 구조를 가진 오픈소스 컴파일러 인프라 프로젝트이다. 특정 프로그래밍 언어에 종속되지 않고, 공통의 중간 표현(IR, Intermediate Representation)을 중심으로 다양한 컴파일 최적화와 코드 생성을 수행하는 것이 특징이다. LLVM의 핵심 아이디어는 프로그래밍 언어 → 중간 표현(IR) →... 최신
09:522026년 1월 19일 (월) 09:52 차이 역사 +54 대문 편집 요약 없음 태그: 시각 편집: 전환됨
09:502026년 1월 19일 (월) 09:50 차이 역사 +290 대문 편집 요약 없음

15:302026년 1월 15일 (목) 15:30 차이 역사 +141 대문 편집 요약 없음 태그: 시각 편집: 전환됨
15:262026년 1월 15일 (목) 15:26 차이 역사 −29 잔글 컴퓨터 시스템 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
15:262026년 1월 15일 (목) 15:26 차이 역사 −28 잔글 컴퓨터 네트워크 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
15:262026년 1월 15일 (목) 15:26 차이 역사 −27 잔글 알고리즘 설계와 분석 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
15:262026년 1월 15일 (목) 15:26 차이 역사 −28 잔글 데이터베이스 시스템 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
15:262026년 1월 15일 (목) 15:26 차이 역사 −27 잔글 계산 이론 개론 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
15:262026년 1월 15일 (목) 15:26 차이 역사 −27 잔글 Vertex Cover 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
15:252026년 1월 15일 (목) 15:25 차이 역사 −27 잔글 Turing Machines 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
15:252026년 1월 15일 (목) 15:25 차이 역사 −27 잔글 Topological Sorting 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
15:252026년 1월 15일 (목) 15:25 차이 역사 −27 잔글 The RAM Model of Computation 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
15:252026년 1월 15일 (목) 15:25 차이 역사 −27 잔글 The Gas Station Problem 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신
15:252026년 1월 15일 (목) 15:25 차이 역사 −27 잔글 The Big Oh Notation 봇: 자동으로 텍스트 교체 (-\[\[분류:컴퓨터 공학(\|[^\]]+)?\]\] +) 최신

2026년 4월 29일 (수)

2026년 4월 28일 (화)

2026년 4월 27일 (월)

2026년 4월 15일 (수)

2026년 4월 14일 (화)

2026년 3월 25일 (수)

2026년 3월 23일 (월)

2026년 3월 19일 (목)

2026년 3월 18일 (수)

2026년 2월 6일 (금)

2026년 2월 3일 (화)

2026년 1월 19일 (월)

2026년 1월 15일 (목)