2025년 10월 17일 (금)
- 15:162025년 10월 17일 (금) 15:16 Skyloft: A General High-Efficient Scheduling Framework in User Space (역사 | 편집) [4,851 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 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]...) 태그: 시각 편집: 전환됨
- 09:352025년 10월 17일 (금) 09:35 Extended User Interrupts (xUI): Fast and Flexible Notification without Polling (역사 | 편집) [2,608 바이트] Ahn9807 (토론 | 기여) (새 문서: {{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...) 태그: 시각 편집: 전환됨
2025년 10월 9일 (목)
- 16:002025년 10월 9일 (목) 16:00 FuzzBench: An Open Fuzzer Benchmarking Platform and Service (역사 | 편집) [2,717 바이트] Ahn9807 (토론 | 기여) (새 문서: {{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:562025년 10월 9일 (목) 12:56 Intel User Interface Privilege Isolation (역사 | 편집) [12,532 바이트] Ahn9807 (토론 | 기여) (새 문서: == 개요 == Intel UIPI는 기존의 커널 의존적 IPC 메커니즘을 대체하기 위해, 하드웨어 수준에서 메시지 큐와 인터럽트 전달 메커니즘을 통합하였다. 각 프로세스는 사용자 공간 내에 존재하는 UIPI 엔드포인트(Endpoint)를 통해 다른 프로세스와 직접 데이터를 교환할 수 있다. === 기본 구조 === * '''UIPI 엔드포인트 (Endpoint)''': 각 프로세스는 하나 이상의 엔드포인트를 할...)
2025년 10월 1일 (수)
- 16:312025년 10월 1일 (수) 16:31 TWINFUZZ: Differential Testing of Video Hardware Acceleration Stacks (역사 | 편집) [2,377 바이트] Ahn9807 (토론 | 기여) (새 문서: {{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이 어려워진다. 이를 해결...) 태그: 시각 편집: 전환됨
2025년 9월 30일 (화)
- 14:102025년 9월 30일 (화) 14:10 Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework (역사 | 편집) [4,308 바이트] Ahn9807 (토론 | 기여) (새 문서: {{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...) 태그: 시각 편집: 전환됨
2025년 9월 26일 (금)
- 13:072025년 9월 26일 (금) 13:07 SecureCells: A Secure Compartmentalized Architecture (역사 | 편집) [3,052 바이트] Ahn9807 (토론 | 기여) (새 문서: {{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...) 태그: 시각 편집: 전환됨
2025년 9월 25일 (목)
- 16:352025년 9월 25일 (목) 16:35 EBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle (역사 | 편집) [4,328 바이트] Ahn9807 (토론 | 기여) (새 문서: {{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)를 설계하였다. 제너레이터는 의미론적...) 태그: 시각 편집: 전환됨
- 13:462025년 9월 25일 (목) 13:46 Hypervisor (역사 | 편집) [3,620 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 가상화 == 개요 == 하이퍼바이저(Hypervisor)는 가상화를 위해서 사용되는 소프트웨어 또는 펌웨어를 말한다. 하이퍼바이저는 각 게스트에 가상화된 CPU, Memory, Storage, Network 등을 제공하며, Isolation과 Resource management를 제공한다. 이를 통해 하나의 물리적 하드웨어 위에서 다수의 운영체제가 동시에 독립적으로 실행될 수 있으며, 클라우드...)
- 13:312025년 9월 25일 (목) 13:31 NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types (역사 | 편집) [4,009 바이트] Ahn9807 (토론 | 기여) (새 문서: {{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 Affine type (역사 | 편집) [872 바이트] Ahn9807 (토론 | 기여) (새 문서: 분륲: 프로그래밍 언어 == 개요 == Affine type이란 프로그래밍 언어나 타입 시스템에서, 어떤 값이 '''최대 한 번만 사용될 수 있음'''을 보장하는 타입이다. 정확히 한번 사용해야 하는 Linear type과는 다르게, 최대 사용안하거나 1번 사용하는 것을 허용한다. Affine type은 한번 사용된 type이 다시 사용되는 것을 막기 때문에 안전성을 컴파일 타임에 보장할 수 있다. Rust...)
2025년 9월 22일 (월)
- 18:152025년 9월 22일 (월) 18:15 Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing (역사 | 편집) [3,501 바이트] Ahn9807 (토론 | 기여) (새 문서: {{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은 많이...)
2025년 7월 27일 (일)
- 15:312025년 7월 27일 (일) 15:31 AVM: Application-Level Virtual Memory (역사 | 편집) [2,197 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 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 ==) 태그: 시각 편집: 전환됨
- 11:482025년 7월 27일 (일) 11:48 Do-It-Yourself Virtual Memory Translation (역사 | 편집) [4,897 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 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관리를 하도록 하였다...) 태그: 시각 편집: 전환됨
2025년 7월 24일 (목)
- 11:482025년 7월 24일 (목) 11:48 FBMM: Making Memory Management Extensible With Filesystems (역사 | 편집) [4,013 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 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...) 태그: 시각 편집: 전환됨
- 09:432025년 7월 24일 (목) 09:43 EMT: An OS Framework for New Memory Translation Architectures (역사 | 편집) [6,094 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 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...) 태그: 시각 편집: 전환됨
- 05:262025년 7월 24일 (목) 05:26 Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB (역사 | 편집) [3,344 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 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=...) 태그: 시각 편집: 전환됨
2025년 7월 23일 (수)
- 11:342025년 7월 23일 (수) 11:34 Building Bridges: Safe Interactions with Foreign Languages through Omniglot (역사 | 편집) [2,122 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: 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와 같은 경우에는 버그를...) 태그: 시각 편집: 전환됨
2025년 7월 20일 (일)
- 09:272025년 7월 20일 (일) 09:27 Extending Applications Safely and Efficiently (역사 | 편집) [12,946 바이트] Ahn9807 (토론 | 기여) (새 문서: {{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이라는 모델을 개발하였다...) 태그: 시각 편집: 전환됨