Ahn9807의 사용자 기여

16:002025년 10월 9일 (목) 16:00 차이 역사 +2,717 새글 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은 매... 최신 태그: 시각 편집: 전환됨
12:592025년 10월 9일 (목) 12:59 차이 역사 +58 새글 Intel UIPI Intel User Interface Privilege Isolation 문서로 넘겨주기 최신 태그: 새 넘겨주기 시각 편집
12:572025년 10월 9일 (목) 12:57 차이 역사 −5 Intel User Interface Privilege Isolation →한계 최신
12:562025년 10월 9일 (목) 12:56 차이 역사 +3,068 새글 Intel User Interface Privilege Isolation 새 문서: == 개요 == Intel UIPI는 기존의 커널 의존적 IPC 메커니즘을 대체하기 위해, 하드웨어 수준에서 메시지 큐와 인터럽트 전달 메커니즘을 통합하였다. 각 프로세스는 사용자 공간 내에 존재하는 UIPI 엔드포인트(Endpoint)를 통해 다른 프로세스와 직접 데이터를 교환할 수 있다. === 기본 구조 === * '''UIPI 엔드포인트 (Endpoint)''': 각 프로세스는 하나 이상의 엔드포인트를 할...

16:322025년 10월 1일 (수) 16:32 차이 역사 −22 TWINFUZZ: Differential Testing of Video Hardware Acceleration Stacks 편집 요약 없음 최신
16:312025년 10월 1일 (수) 16:31 차이 역사 +2,399 새글 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이 어려워진다. 이를 해결... 태그: 시각 편집: 전환됨
16:212025년 10월 1일 (수) 16:21 차이 역사 +27 새글 파일:NDSS 2025 TWINFUZZ Figure 2.png 편집 요약 없음 최신

14:102025년 9월 30일 (화) 14:10 차이 역사 +4,308 새글 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... 최신 태그: 시각 편집: 전환됨
13:342025년 9월 30일 (화) 13:34 차이 역사 +24 새글 파일:SOSP 2019 HYDRA Figure 6.png 편집 요약 없음 최신

13:082025년 9월 26일 (금) 13:08 차이 역사 +21 잔글 Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing 편집 요약 없음 최신
13:082025년 9월 26일 (금) 13:08 차이 역사 +29 잔글 NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types 편집 요약 없음 최신
13:072025년 9월 26일 (금) 13:07 차이 역사 +22 EBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle 편집 요약 없음 최신
13:072025년 9월 26일 (금) 13:07 차이 역사 +3,052 새글 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... 최신 태그: 시각 편집: 전환됨
12:402025년 9월 26일 (금) 12:40 차이 역사 +33 새글 파일:IEEE SP 2023 SecureCells Figure 3.png 편집 요약 없음 최신

16:362025년 9월 25일 (목) 16:36 차이 역사 −2 EBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle 편집 요약 없음
16:352025년 9월 25일 (목) 16:35 차이 역사 +4,308 새글 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)를 설계하였다. 제너레이터는 의미론적... 태그: 시각 편집: 전환됨
16:002025년 9월 25일 (목) 16:00 차이 역사 +26 새글 파일:SOSP 2025 VERITAS Figure 7.png 편집 요약 없음 최신
13:472025년 9월 25일 (목) 13:47 차이 역사 +28 새글 하이퍼바이저 Hypervisor 문서로 넘겨주기 최신 태그: 새 넘겨주기 시각 편집
13:462025년 9월 25일 (목) 13:46 차이 역사 +3,620 새글 Hypervisor 새 문서: 분류: 가상화 == 개요 == 하이퍼바이저(Hypervisor)는 가상화를 위해서 사용되는 소프트웨어 또는 펌웨어를 말한다. 하이퍼바이저는 각 게스트에 가상화된 CPU, Memory, Storage, Network 등을 제공하며, Isolation과 Resource management를 제공한다. 이를 통해 하나의 물리적 하드웨어 위에서 다수의 운영체제가 동시에 독립적으로 실행될 수 있으며, 클라우드... 최신
13:312025년 9월 25일 (목) 13:31 차이 역사 +3,980 새글 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... 태그: 시각 편집: 전환됨
12:062025년 9월 25일 (목) 12:06 차이 역사 +872 새글 Affine type 새 문서: 분륲: 프로그래밍 언어 == 개요 == Affine type이란 프로그래밍 언어나 타입 시스템에서, 어떤 값이 '''최대 한 번만 사용될 수 있음'''을 보장하는 타입이다. 정확히 한번 사용해야 하는 Linear type과는 다르게, 최대 사용안하거나 1번 사용하는 것을 허용한다. Affine type은 한번 사용된 type이 다시 사용되는 것을 막기 때문에 안전성을 컴파일 타임에 보장할 수 있다. Rust... 최신
12:002025년 9월 25일 (목) 12:00 차이 역사 +33 새글 파일:USENIX Security 2021 NYX Figure 1.png 편집 요약 없음 최신

18:152025년 9월 22일 (월) 18:15 차이 역사 +38 새글 Differential fuzzing Differential testing 문서로 넘겨주기 최신 태그: 새 넘겨주기 시각 편집
18:152025년 9월 22일 (월) 18:15 차이 역사 +3,480 새글 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:422025년 9월 22일 (월) 17:42 차이 역사 +28 새글 파일:CCS 2024 BPFCHECKER Figure 3.png 편집 요약 없음 최신

13:232025년 9월 19일 (금) 13:23 차이 역사 −25 특허 편집 요약 없음 최신 태그: 수동 되돌리기
13:222025년 9월 19일 (금) 13:22 차이 역사 +25 특허 편집 요약 없음 태그: 되돌려진 기여
13:082025년 9월 19일 (금) 13:08 차이 역사 +103 BRF: Fuzzing the eBPF Runtime 편집 요약 없음 최신

03:412025년 7월 28일 (월) 03:41 차이 역사 +1,914 AVM: Application-Level Virtual Memory 편집 요약 없음 최신

15:312025년 7월 27일 (일) 15:31 차이 역사 +283 새글 AVM: Application-Level Virtual Memory 새 문서: 분류: ACM HotOS {{Paper|title=AVM: Application-Level Virtual Memory|author=Dawson R. Engler, Sandeep K. Gupta, M. Frans Kasshoek|conference=ACM HotOS|year=1995}} == 개요 == == Motvation & Importance == == Main Idea == == Design == == Evaluation == == Conclusion == 태그: 시각 편집: 전환됨
15:242025년 7월 27일 (일) 15:24 차이 역사 +357 Do-It-Yourself Virtual Memory Translation 편집 요약 없음 최신
15:202025년 7월 27일 (일) 15:20 차이 역사 +3,975 Do-It-Yourself Virtual Memory Translation 편집 요약 없음
14:592025년 7월 27일 (일) 14:59 차이 역사 +27 새글 파일:ACM ISCA DVMT 2017 Figure 5.png 편집 요약 없음 최신
11:482025년 7월 27일 (일) 11:48 차이 역사 +565 새글 Do-It-Yourself Virtual Memory Translation 새 문서: 분류: ACM ISCA {{Paper|title=Do-It-Yourself Virtual Memory Translation|author=Hanna Alam, Tianhao Zhang, Mattan Erez2, Yoav Etsion|conference=ACM ISCA 2017}} == 개요 == DVMT는 하드웨어 Translation을 효율적으로 만들 수 있도록 하기 위한 Memory Translation Architecture이다. DVMT는 Virtual to physical mapping을 Decoupling해서, Application이 Mapping을 관리할 수 있도록 함과 동시에, OS가 안전한 Security관리를 하도록 하였다... 태그: 시각 편집: 전환됨
08:012025년 7월 27일 (일) 08:01 차이 역사 +2,636 FBMM: Making Memory Management Extensible With Filesystems 편집 요약 없음 최신
07:322025년 7월 27일 (일) 07:32 차이 역사 +28 새글 파일:USENIX ATC 2024 FBMM Table 2.png 편집 요약 없음 최신

11:482025년 7월 24일 (목) 11:48 차이 역사 +1,377 새글 FBMM: Making Memory Management Extensible With Filesystems 새 문서: 분류: USENIX ATC {{Paper|title=FBMM: Making Memory Management Extensible With Filesystems|author=Bijan Tabatabai, James Sorenson and Michael M. Swift, University of Wisconsin–Madison|pdf=https://www.usenix.org/conference/atc24/presentation/tabatabai|year=2024|conference=USENIX ATC 2024}} == 개요 == Virtual file system을 이용해서 Memory management도 확장가능할 수 있도록 Memory file system이라는 것을 만들었다. 이를 통해서 File Based Mem... 태그: 시각 편집: 전환됨
10:412025년 7월 24일 (목) 10:41 차이 역사 +29 새글 파일:USENIX ATC 2024 FBMM Figure 1.png 편집 요약 없음 최신
09:432025년 7월 24일 (목) 09:43 차이 역사 +6,094 새글 EMT: An OS Framework for New Memory Translation Architectures 새 문서: 분류: USENIX OSDI {{Paper|title=EMT: An OS Framework for New Memory Translation Architectures|author=Siyuan Chai, Jiyuan Zhang, Jongyul Kim, Alan Wang, Fan Chung, and Jovan Stojkovic, University of Illinois Urbana-Champaign; Weiwei Jia, University of Rhode Island; Dimitrios Skarlatos, Carnegie Mellon University; Josep Torrellas and Tianyin Xu, University of Illinois Urbana-Champaign|conference=USENIX OSDI 2025|year=2025|pdf=https://www.usenix.org/system/files/osdi25-c... 최신 태그: 시각 편집: 전환됨
07:282025년 7월 24일 (목) 07:28 차이 역사 +29 새글 파일:USENIX OSDI 2025 EMT Figure 5.png 편집 요약 없음 최신
05:292025년 7월 24일 (목) 05:29 차이 역사 −581 Building Bridges: Safe Interactions with Foreign Languages through Omniglot 편집 요약 없음 최신
05:262025년 7월 24일 (목) 05:26 차이 역사 +3,344 새글 Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB 새 문서: 분류: USENIX ATC {{Paper|title=Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB|author=Yuke Peng, SUSTech; Hongliang Tian, Ant Group; Junyang Zhang and Ruihan Li, Peking University and Zhongguancun Laboratory; Chengjun Chen and Jianfeng Jiang, Ant Group; Jinyi Xian, SUSTech; Xiaolin Wang, Chenren Xu, Diyu Zhou, and Yingwei Luo, Peking University and Zhongguancun Laboratory; Shoumeng Yan, Ant Group; Yinqian Zhang, SUSTech|conference=... 최신 태그: 시각 편집: 전환됨

11:342025년 7월 23일 (수) 11:34 차이 역사 +2,703 새글 Building Bridges: Safe Interactions with Foreign Languages through Omniglot 새 문서: 분류: USENIX OSDI {{Paper|title=Building Bridges: Safe Interactions with Foreign Languages through Omniglot|author=Leon Schuermann and Jack Toubes, Princeton University; Tyler Potyondy and Pat Pannuto, University of California San Diego; Mae Milano and Amit Levy, Princeton University|conference=USENIX OSDI 2025|year=2025|pdf=https://www.usenix.org/conference/osdi25/presentation/schuermann}} == 개요 == Memory, type safety language와 같은 경우에는 버그를... 태그: 시각 편집: 전환됨
05:332025년 7월 23일 (수) 05:33 차이 역사 +126 Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code 편집 요약 없음 최신 태그: 시각 편집: 전환됨

11:582025년 7월 21일 (월) 11:58 차이 역사 +423 Light-Weight Contexts: An OS Abstraction for Safety and Performance 편집 요약 없음 최신 태그: 시각 편집: 전환됨

09:272025년 7월 20일 (일) 09:27 차이 역사 +12,946 새글 Extending Applications Safely and Efficiently 새 문서: {{Paper|title=Extending Applications Safely and Efficiently|author=Yusheng Zheng, UC Santa Cruz; Tong Yu, eunomia-bpf Community; Yiwei Yang, UC Santa Cruz; Yanpeng Hu, ShanghaiTech University; Xiaozheng Lai, South China University of Technology; Dan Williams, Virginia Tech; Andi Quinn, UC Santa Cruz|pdf=https://www.usenix.org/system/files/osdi25-zheng-yusheng.pdf|conference=USENIX OSDI 2025|year=2025}} == 개요 == 논문은 EIM과 bpftime이라는 모델을 개발하였다... 최신 태그: 시각 편집: 전환됨
08:072025년 7월 20일 (일) 08:07 차이 역사 +29 새글 파일:USENIX OSDI 2025 EIM Figure 3.png 편집 요약 없음 최신
08:072025년 7월 20일 (일) 08:07 차이 역사 +29 새글 파일:USENIX OSDI 2025 EIM Figure 2.png 편집 요약 없음 최신
06:052025년 7월 20일 (일) 06:05 차이 역사 +10,443 USENIX OSDI 2025 편집 요약 없음 최신

10:352025년 7월 18일 (금) 10:35 차이 역사 +2,273 USENIX OSDI 2025 편집 요약 없음

2025년 10월 9일 (목)

2025년 10월 1일 (수)

2025년 9월 30일 (화)

2025년 9월 26일 (금)

2025년 9월 25일 (목)

2025년 9월 22일 (월)

2025년 9월 19일 (금)

2025년 7월 28일 (월)

2025년 7월 27일 (일)

2025년 7월 24일 (목)

2025년 7월 23일 (수)

2025년 7월 21일 (월)

2025년 7월 20일 (일)

2025년 7월 18일 (금)