새 문서 목록

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...) 태그: 시각 편집: 전환됨

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)''': 각 프로세스는 하나 이상의 엔드포인트를 할...)

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이 어려워진다. 이를 해결...) 태그: 시각 편집: 전환됨

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...) 태그: 시각 편집: 전환됨

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...) 태그: 시각 편집: 전환됨

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...)

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은 많이...)

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관리를 하도록 하였다...) 태그: 시각 편집: 전환됨

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=...) 태그: 시각 편집: 전환됨

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와 같은 경우에는 버그를...) 태그: 시각 편집: 전환됨

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이라는 모델을 개발하였다...) 태그: 시각 편집: 전환됨

2025년 10월 17일 (금)

2025년 10월 9일 (목)

2025년 10월 1일 (수)

2025년 9월 30일 (화)

2025년 9월 26일 (금)

2025년 9월 25일 (목)

2025년 9월 22일 (월)

2025년 7월 27일 (일)

2025년 7월 24일 (목)

2025년 7월 23일 (수)

2025년 7월 20일 (일)