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이라는 모델을 개발하였다...) 태그: 시각 편집: 전환됨
2025년 7월 15일 (화)
- 06:482025년 7월 15일 (화) 06:48 USENIX OSDI 2025 (역사 | 편집) [18,206 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: USENIX OSDI == Distributed Systems and Data Centers I == === Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols === Distributed protocols들은 올바르게 설계하기 어렵다. 이를 위해서 Formal verification을 이용해서 Protocol이 Safety property를 만족하는지를 Verification하는 과정이 필요하다. Formal verification을 위해서 Inductive invariant들을 분석해야 하지만, 올바른 Inductive invar...) 태그: 시각 편집: 전환됨
2025년 7월 2일 (수)
- 06:572025년 7월 2일 (수) 06:57 CAMP: Compiler and Allocator-based Heap Memory Protection (역사 | 편집) [3,677 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: USENIX Security {{Paper|title=CAMP: Compiler and Allocator-based Heap Memory Protection|year=2024|conference=USENIX Security|author=Zhenpen Lin, Zheng Yu, Ziyi Guo, Simone Campanoni, Peter Dinda, Xinyu Xing|institution=Northwestern University}} == 개요 == Compiler support와 Memory allocator support를 이용해서 Memory santizier을 개발하였다. Memory allocator을 통한 Runtime-support로 다양한 Static instrumentation optimization을 통해서 overh...) 태그: 시각 편집: 전환됨
- 04:062025년 7월 2일 (수) 04:06 Delta Pointers: Buffer Overflow Checks Without the Checks (역사 | 편집) [4,031 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: ACM EuroSys Taddeus Kroes, Koen Koning, Erik van der Kouwe, Herbert Bos, CRistiano Giuffrida EuroSys 2018 == 개요 == Memory santizier에서 메모리 버그를 추적하기 위한 Branch개수와 Memory access빈도를 최소화 하는 것이 중요하다. == Motivation & Importance == Memory santizier은 중요한 연구 분야이다. 쉽게 Production system에 적용 가능하고, Performance overhead가 적은 Memory santizier를 개발하는 것이 따라...)
2025년 6월 30일 (월)
- 09:532025년 6월 30일 (월) 09:53 SHADOWBOUND: Efficient Heap Memory Protection Through Advanced Metadata Management and Customized Compiler Optimization (역사 | 편집) [4,598 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: USENIX Security Zheng Yu, Ganxiang Yang, Xinyu Xing USENIX Security 2024 == 개요 == 기존의 Use-after-free 버그를 막기 위한 여러 기법들<ref>MarkUs: Drop-in use-after-free prevention for low-level languages</ref><ref>Preventing Use-After-Free Attacks with Fast Forward Allocation</ref><ref>PUMM: Preventing Use-After-Free Using Execution Unit Partitioning</ref>에 새로운 Bound checking을 추가하여서 Temporal + Spatial Bug를 효...)
- 05:012025년 6월 30일 (월) 05:01 Debloating Address Sanitizer (역사 | 편집) [4,085 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: USENIX Security Yuchen Zhang, Chengbin Pang, Georgios Portokalidis, Nijos Triandopoulos, Jun Xu USENIX Security 2022 == 개요 == AddressSanitizer의 성능 분석과, 그에 대한 여러가지의 Optimization technique를 제시한 논문이다. == Motivation & Importance == ASAN은 강력한 '''Capability''', '''Scalability''', '''Usability'''덕분에 많이 사용되는 Memory Santizier이다. 그러나 ASAN은 대략 1.5x-3.x의 메모리 오버헤드...)
2025년 6월 29일 (일)
- 08:572025년 6월 29일 (일) 08:57 PACMem: Enforcing Spatial and Temporal Memory Safety via ARM Pointer Authentication (역사 | 편집) [1,868 바이트] Ahn9807 (토론 | 기여) (새 문서: 분류: ACM CCS Yuan Li, Wende Tan, Zhizheng Lv, Songtao Tang, Mathias Payer, Ying Liu, Chao Zhang ACM CCS 2022 == 개요 == ARM PAC기술을 이용하여서 Memory Sanitizer에서 큰 비용이 소요되는, Metadata propagation과 Metadata checking의 비용을 하드웨어적인 방법으로 줄인 논문이다. == Motivation & Importance == Spatial memory bug와 Temporal memory bug참고. == Design == 파일:CCS 2022 PACMem Figure 3.png|섬네일|가...)