Combined display of all available logs of noriwiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 08:20, 25 March 2026 Ahn9807 talk contribs created page Data Flow Analysis (새 문서: 분류:프로그램 분석 == 개요 == '''Data Flow Analysis'''는 프로그램의 각 지점(program point)에서 변수나 메모리 상태에 대한 정보를 계산하는 정적 분석 기법이다. 이 분석은 프로그램을 실행하지 않고도, 가능한 모든 실행 경로를 고려하여 변수의 값, 상태, 혹은 속성(property)을 추론하는 것을 목표로 한다. 특히, Data Flow Analysis는 프로그램을 '''Control Flow Graph (CFG)'''로 변...)
- 05:59, 25 March 2026 Ahn9807 talk contribs created page 파일:Data Flow Analysis Lattice.png
- 05:59, 25 March 2026 Ahn9807 talk contribs uploaded 파일:Data Flow Analysis Lattice.png
- 07:11, 23 March 2026 Ahn9807 talk contribs created page 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:22, 19 March 2026 Ahn9807 talk contribs created page 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를 제안한다. 기존에는 성능 최적화가 경험과 직관에 의존했으나, 본 논문은 이를 구조화된...) Tag: Visual edit: Switched
- 12:03, 18 March 2026 Ahn9807 talk contribs created page 파일:USENIX OSDI 2025 Sujin, Park Table 1.png
- 12:03, 18 March 2026 Ahn9807 talk contribs uploaded 파일:USENIX OSDI 2025 Sujin, Park Table 1.png
- 08:02, 18 March 2026 Ahn9807 talk contribs created page 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...) Tag: Visual edit
- 04:56, 18 March 2026 Ahn9807 talk contribs created page 파일:NDSS 2026 FPN Figure 4.png
- 04:56, 18 March 2026 Ahn9807 talk contribs uploaded 파일:NDSS 2026 FPN Figure 4.png
- 03:54, 18 March 2026 Ahn9807 talk contribs created page 파일:NDSS 2026 FPN Figure 2.png
- 03:54, 18 March 2026 Ahn9807 talk contribs uploaded 파일:NDSS 2026 FPN Figure 2.png
- 13:34, 3 February 2026 Ahn9807 talk contribs created page 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결과를 보여주지만...) Tag: Visual edit: Switched
- 10:20, 19 January 2026 Ahn9807 talk contribs created page 분류:LLVM (새 문서: 분류: 컴파일러)
- 10:19, 19 January 2026 Ahn9807 talk contribs created page LLVM (새 문서: 분류: 오픈소스 프로젝트 분류: LLVM == 개요 == LLVM(Low Level Virtual Machine)은 모듈화된 구조를 가진 오픈소스 컴파일러 인프라 프로젝트이다. 특정 프로그래밍 언어에 종속되지 않고, 공통의 중간 표현(IR, Intermediate Representation)을 중심으로 다양한 컴파일 최적화와 코드 생성을 수행하는 것이 특징이다. LLVM의 핵심 아이디어는 프로그래밍 언어 → 중간 표현(IR) →...)
- 15:17, 15 January 2026 Ahn9807 talk contribs deleted page 분류:데이터베이스 시스템 (내용: "". 유일한 편집자는 "Pinkgo" (토론))
- 15:15, 15 January 2026 Ahn9807 talk contribs deleted page 분류:컴퓨터 네트워크 (내용: "". 유일한 편집자는 "Pinkgo" (토론))
- 14:19, 25 November 2025 Ahn9807 talk contribs created page TriCache: A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs (새 문서: 분류: USENIX OSDI {{Paper|title=TriCache: A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs|author=Guanyu Feng and Huanqi Cao, Tsinghua University; Xiaowei Zhu, Ant Group; Bowen Yu, Yuanwei Wang, Zixuan Ma, Shengqi Chen, and Wenguang Chen, Tsinghua University|conference=OSDI|year=2022}} == 개요 ==) Tag: Visual edit: Switched
- 15:16, 17 October 2025 Ahn9807 talk contribs created page Skyloft: A General High-Efficient Scheduling Framework in User Space (새 문서: 분류: ACM SOSP {{Paper|title=Skyloft: A General High-Efficient Scheduling Framework in User Space|author=Yuekai Jia†∗, Kaifu Tian†∗, Yuyang You†, Yu Chen‡†, Kang Chen† †Tsinghua University, Beijing, China ‡Quan Cheng Laboratory, Jinan, China Both authors contributed equally to this research(*).|conference=SOSP|year=2024}} == 개요 == Skyloft는 General하고 매우 효율적인 User-space scheduling framework를 User-level interrupt([[Intel UIPI]...) Tag: Visual edit: Switched
- 14:31, 17 October 2025 Ahn9807 talk contribs created page 파일:SOSP 2024 Skyloft Figure 3.png
- 14:31, 17 October 2025 Ahn9807 talk contribs uploaded 파일:SOSP 2024 Skyloft Figure 3.png
- 11:24, 17 October 2025 Ahn9807 talk contribs created page 파일:ASPLOS 2025 xUI Figure 2.png
- 11:24, 17 October 2025 Ahn9807 talk contribs uploaded 파일:ASPLOS 2025 xUI Figure 2.png
- 11:14, 17 October 2025 Ahn9807 talk contribs created page 파일:ASPLOS 2025 xUI Figure 1.png
- 11:14, 17 October 2025 Ahn9807 talk contribs uploaded 파일:ASPLOS 2025 xUI Figure 1.png
- 09:35, 17 October 2025 Ahn9807 talk contribs created page Extended User Interrupts (xUI): Fast and Flexible Notification without Polling (새 문서: {{Paper|title=Extended User Interrupts (xUI): Fast and Flexible Notification without Polling|author=Berk Aydogmus, Linsong Guo, Danial Zuberi, Tal Garfinkel, Dean Tullsen, Amy Ousterhout, Kazem Taram|year=2025|conference=ACM ASPLOS}} 분류: ASPLOS == 개요 == Intel UIPI의 기능을 분석하고, 이를 기반으로 User Interrupt 처리 효율을 향상시키는 네 가지 모델, Tracked Interrupt, Hardware Safepoints, Kernel Bypass Timer, 그리고 Interrupt Forwa...) Tag: Visual edit: Switched
- 16:00, 9 October 2025 Ahn9807 talk contribs created page FuzzBench: An Open Fuzzer Benchmarking Platform and Service (새 문서: {{Paper|title=FuzzBench: An Open Fuzzer Benchmarking Platform and Service|author=Jonathan Metzman, Laszlo Szekeres, Laurent Simon, Read Sprabery, Abhishek Arya|conference=ACM FSE|year=2021}} 분류: ACM FSE == 개요 == Fuzzer을 Evaluation하는 것은 매우 힘든 일이다. FuzzBench는 Fuzzer를 최대한 효율적으로, 그리고 정확히 Evaluating할 수 있는 Opensource Benchmark tool을 개발하였다. == Motivation & Importance == Fuzzing은 매...) Tag: Visual edit: Switched
- 12:59, 9 October 2025 Ahn9807 talk contribs created page Intel UIPI (Intel User Interface Privilege Isolation 문서로 넘겨주기) Tags: New redirect Visual edit
- 12:56, 9 October 2025 Ahn9807 talk contribs created page Intel User Interface Privilege Isolation (새 문서: == 개요 == Intel UIPI는 기존의 커널 의존적 IPC 메커니즘을 대체하기 위해, 하드웨어 수준에서 메시지 큐와 인터럽트 전달 메커니즘을 통합하였다. 각 프로세스는 사용자 공간 내에 존재하는 UIPI 엔드포인트(Endpoint)를 통해 다른 프로세스와 직접 데이터를 교환할 수 있다. === 기본 구조 === * '''UIPI 엔드포인트 (Endpoint)''': 각 프로세스는 하나 이상의 엔드포인트를 할...)
- 16:31, 1 October 2025 Ahn9807 talk contribs created page TWINFUZZ: Differential Testing of Video Hardware Acceleration Stacks (새 문서: {{Paper|title=TWINFUZZ: Differential Testing of Video Hardware Acceleration Stacks|author=Matteo Leonelli, Addison Crump, Meng Wang, Florian Bauckholt, Keno Hassler, Ali Abbasi, Thorsten Holz|year=2025|conference=NDSS}} 분류: NDSS == 개요 == Video codec decoding(비디오 코덱 디코딩)은 여러개의 소프트웨어와 하드웨어계층으로 이루어져 있고, 내려갈수록 State를 관측하기 힘들어, Fuzzing이 어려워진다. 이를 해결...) Tag: Visual edit: Switched
- 16:21, 1 October 2025 Ahn9807 talk contribs created page 파일:NDSS 2025 TWINFUZZ Figure 2.png
- 16:21, 1 October 2025 Ahn9807 talk contribs uploaded 파일:NDSS 2025 TWINFUZZ Figure 2.png
- 14:10, 30 September 2025 Ahn9807 talk contribs created page Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework (새 문서: {{Paper|title=Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework|conference=ACM SOSP|year=2019|author=Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, Taesoo Kim}} 분류:ACM SOSP == 개요 == 본 연구에서는 메모리 오류뿐 아니라 '''파일 시스템의 시맨틱 버그'''를 탐지하기 위하여 새로운 퍼저(fuzzer)를 설계하였다. 제안된 퍼저는 입력 변형기(input mutator), 피드백 엔진(feedbac...) Tag: Visual edit: Switched
- 13:34, 30 September 2025 Ahn9807 talk contribs created page 파일:SOSP 2019 HYDRA Figure 6.png
- 13:34, 30 September 2025 Ahn9807 talk contribs uploaded 파일:SOSP 2019 HYDRA Figure 6.png
- 13:07, 26 September 2025 Ahn9807 talk contribs created page SecureCells: A Secure Compartmentalized Architecture (새 문서: {{Paper|title=SecureCells: A Secure Compartmentalized Architecture|author=Atri Bhattacharyya, Florian Hofhammer, Yuanlong Li, Siddharth Gupta, Andres Sanchez, Babak Falsafi, Mathias Payer|conference=IEEE Symposium on Security and Privacy (SP)|year=2023}} 분류: IEEE S&P == 개요 == SecureCell은 Protection domain에 관련된 연구로, 하드웨어-소프트웨어 Co-desig을 통한 Per-Virtual Memory Area Permissions을 가능하게 하여, 효율적인 User space...) Tag: Visual edit: Switched
- 12:40, 26 September 2025 Ahn9807 talk contribs created page 파일:IEEE SP 2023 SecureCells Figure 3.png
- 12:40, 26 September 2025 Ahn9807 talk contribs uploaded 파일:IEEE SP 2023 SecureCells Figure 3.png
- 16:35, 25 September 2025 Ahn9807 talk contribs created page EBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle (새 문서: {{Paper|title=eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle|author=Tao Lyu Kumar Kartikeya Dwivedi Thomas Bourgeat Mathias Payer Meng Xu, Sanidhya Kashyap|conference=SOSP|year=2025}} == 개요 == 본 연구에서는 eBPF semantics을 반영한 제너레이터가 생성한 오라클(oracle) 을 활용하여 eBPF Verifier의 False-positive 및 False-negative 버그를 검출하는 퍼저(fuzzer)를 설계하였다. 제너레이터는 의미론적...) Tag: Visual edit: Switched
- 16:00, 25 September 2025 Ahn9807 talk contribs created page 파일:SOSP 2025 VERITAS Figure 7.png
- 16:00, 25 September 2025 Ahn9807 talk contribs uploaded 파일:SOSP 2025 VERITAS Figure 7.png
- 13:47, 25 September 2025 Ahn9807 talk contribs created page 하이퍼바이저 (Hypervisor 문서로 넘겨주기) Tags: New redirect Visual edit
- 13:46, 25 September 2025 Ahn9807 talk contribs created page Hypervisor (새 문서: 분류: 가상화 == 개요 == 하이퍼바이저(Hypervisor)는 가상화를 위해서 사용되는 소프트웨어 또는 펌웨어를 말한다. 하이퍼바이저는 각 게스트에 가상화된 CPU, Memory, Storage, Network 등을 제공하며, Isolation과 Resource management를 제공한다. 이를 통해 하나의 물리적 하드웨어 위에서 다수의 운영체제가 동시에 독립적으로 실행될 수 있으며, 클라우드...)
- 13:31, 25 September 2025 Ahn9807 talk contribs created page NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types (새 문서: {{Paper|title=NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types|author=Sergej Schumilo, Cornelius Aschermann, Ali Abbasi, Simon Wörner and Thorsten Holz|year=2021|conference=30th USENIX Security Symposium|pdf=https://www.usenix.org/conference/usenixsecurity21/presentation/schumilo}} == 개요 == Hypervisor fuzzing을 위해서 2020년 시점으로는 Emulating해서 Code coverage를 구하는 방식과, Code covereage는 사용하지 않지만, Blac...) Tag: Visual edit: Switched
- 12:06, 25 September 2025 Ahn9807 talk contribs created page Affine type (새 문서: 분륲: 프로그래밍 언어 == 개요 == Affine type이란 프로그래밍 언어나 타입 시스템에서, 어떤 값이 '''최대 한 번만 사용될 수 있음'''을 보장하는 타입이다. 정확히 한번 사용해야 하는 Linear type과는 다르게, 최대 사용안하거나 1번 사용하는 것을 허용한다. Affine type은 한번 사용된 type이 다시 사용되는 것을 막기 때문에 안전성을 컴파일 타임에 보장할 수 있다. Rust...)
- 12:00, 25 September 2025 Ahn9807 talk contribs created page 파일:USENIX Security 2021 NYX Figure 1.png
- 12:00, 25 September 2025 Ahn9807 talk contribs uploaded 파일:USENIX Security 2021 NYX Figure 1.png
- 18:15, 22 September 2025 Ahn9807 talk contribs created page Differential fuzzing (Differential testing 문서로 넘겨주기) Tags: New redirect Visual edit
- 18:15, 22 September 2025 Ahn9807 talk contribs created page Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing (새 문서: {{Paper|title=Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing|author=Chaoyuan Peng, Muhui Jiang, Lei Wu, Yajin Zhou|conference=CCS|year=2024}} == 개요 == BPFChecker는 Differential fuzzing을 사용하여서, eBPF runtime의 오류를 찾아내는 Fuzzing기법을 개발하였다. == Motivatioin & Implementation == eBPF버그는 시스템에 Critical한 영향을 미치기에 Verifier에 대한 Fuzzing은 많이...)
- 17:42, 22 September 2025 Ahn9807 talk contribs created page 파일:CCS 2024 BPFCHECKER Figure 3.png
