주요 공개 기록

noriwiki에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.

• 2025년 10월 1일 (수) 16:31 Ahn9807 토론 기여님이 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이 어려워진다. 이를 해결...) 태그: 시각 편집: 전환됨
• 2025년 10월 1일 (수) 16:21 Ahn9807 토론 기여님이 파일:NDSS 2025 TWINFUZZ Figure 2.png 문서를 만들었습니다
• 2025년 10월 1일 (수) 16:21 Ahn9807 토론 기여님이 파일:NDSS 2025 TWINFUZZ Figure 2.png 파일을 올렸습니다
• 2025년 9월 30일 (화) 14:10 Ahn9807 토론 기여님이 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...) 태그: 시각 편집: 전환됨
• 2025년 9월 30일 (화) 13:34 Ahn9807 토론 기여님이 파일:SOSP 2019 HYDRA Figure 6.png 문서를 만들었습니다
• 2025년 9월 30일 (화) 13:34 Ahn9807 토론 기여님이 파일:SOSP 2019 HYDRA Figure 6.png 파일을 올렸습니다
• 2025년 9월 26일 (금) 13:07 Ahn9807 토론 기여님이 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...) 태그: 시각 편집: 전환됨
• 2025년 9월 26일 (금) 12:40 Ahn9807 토론 기여님이 파일:IEEE SP 2023 SecureCells Figure 3.png 문서를 만들었습니다
• 2025년 9월 26일 (금) 12:40 Ahn9807 토론 기여님이 파일:IEEE SP 2023 SecureCells Figure 3.png 파일을 올렸습니다
• 2025년 9월 25일 (목) 16:35 Ahn9807 토론 기여님이 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)를 설계하였다. 제너레이터는 의미론적...) 태그: 시각 편집: 전환됨
• 2025년 9월 25일 (목) 16:00 Ahn9807 토론 기여님이 파일:SOSP 2025 VERITAS Figure 7.png 문서를 만들었습니다
• 2025년 9월 25일 (목) 16:00 Ahn9807 토론 기여님이 파일:SOSP 2025 VERITAS Figure 7.png 파일을 올렸습니다
• 2025년 9월 25일 (목) 13:47 Ahn9807 토론 기여님이 하이퍼바이저 문서를 만들었습니다 (Hypervisor 문서로 넘겨주기) 태그: 새 넘겨주기 시각 편집
• 2025년 9월 25일 (목) 13:46 Ahn9807 토론 기여님이 Hypervisor 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == 하이퍼바이저(Hypervisor)는 가상화를 위해서 사용되는 소프트웨어 또는 펌웨어를 말한다. 하이퍼바이저는 각 게스트에 가상화된 CPU, Memory, Storage, Network 등을 제공하며, Isolation과 Resource management를 제공한다. 이를 통해 하나의 물리적 하드웨어 위에서 다수의 운영체제가 동시에 독립적으로 실행될 수 있으며, 클라우드...)
• 2025년 9월 25일 (목) 13:31 Ahn9807 토론 기여님이 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...) 태그: 시각 편집: 전환됨
• 2025년 9월 25일 (목) 12:06 Ahn9807 토론 기여님이 Affine type 문서를 만들었습니다 (새 문서: 분륲: 프로그래밍 언어 == 개요 == Affine type이란 프로그래밍 언어나 타입 시스템에서, 어떤 값이 '''최대 한 번만 사용될 수 있음'''을 보장하는 타입이다. 정확히 한번 사용해야 하는 Linear type과는 다르게, 최대 사용안하거나 1번 사용하는 것을 허용한다. Affine type은 한번 사용된 type이 다시 사용되는 것을 막기 때문에 안전성을 컴파일 타임에 보장할 수 있다. Rust...)
• 2025년 9월 25일 (목) 12:00 Ahn9807 토론 기여님이 파일:USENIX Security 2021 NYX Figure 1.png 문서를 만들었습니다
• 2025년 9월 25일 (목) 12:00 Ahn9807 토론 기여님이 파일:USENIX Security 2021 NYX Figure 1.png 파일을 올렸습니다
• 2025년 9월 22일 (월) 18:15 Ahn9807 토론 기여님이 Differential fuzzing 문서를 만들었습니다 (Differential testing 문서로 넘겨주기) 태그: 새 넘겨주기 시각 편집
• 2025년 9월 22일 (월) 18:15 Ahn9807 토론 기여님이 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은 많이...)
• 2025년 9월 22일 (월) 17:42 Ahn9807 토론 기여님이 파일:CCS 2024 BPFCHECKER Figure 3.png 문서를 만들었습니다
• 2025년 9월 22일 (월) 17:42 Ahn9807 토론 기여님이 파일:CCS 2024 BPFCHECKER Figure 3.png 파일을 올렸습니다
• 2025년 7월 27일 (일) 15:31 Ahn9807 토론 기여님이 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 ==) 태그: 시각 편집: 전환됨
• 2025년 7월 27일 (일) 14:59 Ahn9807 토론 기여님이 파일:ACM ISCA DVMT 2017 Figure 5.png 문서를 만들었습니다
• 2025년 7월 27일 (일) 14:59 Ahn9807 토론 기여님이 파일:ACM ISCA DVMT 2017 Figure 5.png 파일을 올렸습니다
• 2025년 7월 27일 (일) 11:48 Ahn9807 토론 기여님이 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관리를 하도록 하였다...) 태그: 시각 편집: 전환됨
• 2025년 7월 27일 (일) 07:32 Ahn9807 토론 기여님이 파일:USENIX ATC 2024 FBMM Table 2.png 문서를 만들었습니다
• 2025년 7월 27일 (일) 07:32 Ahn9807 토론 기여님이 파일:USENIX ATC 2024 FBMM Table 2.png 파일을 올렸습니다
• 2025년 7월 24일 (목) 11:48 Ahn9807 토론 기여님이 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...) 태그: 시각 편집: 전환됨
• 2025년 7월 24일 (목) 10:41 Ahn9807 토론 기여님이 파일:USENIX ATC 2024 FBMM Figure 1.png 문서를 만들었습니다
• 2025년 7월 24일 (목) 10:41 Ahn9807 토론 기여님이 파일:USENIX ATC 2024 FBMM Figure 1.png 파일을 올렸습니다
• 2025년 7월 24일 (목) 09:43 Ahn9807 토론 기여님이 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...) 태그: 시각 편집: 전환됨
• 2025년 7월 24일 (목) 07:28 Ahn9807 토론 기여님이 파일:USENIX OSDI 2025 EMT Figure 5.png 문서를 만들었습니다
• 2025년 7월 24일 (목) 07:28 Ahn9807 토론 기여님이 파일:USENIX OSDI 2025 EMT Figure 5.png 파일을 올렸습니다
• 2025년 7월 24일 (목) 05:26 Ahn9807 토론 기여님이 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=...) 태그: 시각 편집: 전환됨
• 2025년 7월 23일 (수) 11:34 Ahn9807 토론 기여님이 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와 같은 경우에는 버그를...) 태그: 시각 편집: 전환됨
• 2025년 7월 20일 (일) 09:27 Ahn9807 토론 기여님이 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이라는 모델을 개발하였다...) 태그: 시각 편집: 전환됨
• 2025년 7월 20일 (일) 08:07 Ahn9807 토론 기여님이 파일:USENIX OSDI 2025 EIM Figure 3.png 문서를 만들었습니다
• 2025년 7월 20일 (일) 08:07 Ahn9807 토론 기여님이 파일:USENIX OSDI 2025 EIM Figure 3.png 파일을 올렸습니다
• 2025년 7월 20일 (일) 08:07 Ahn9807 토론 기여님이 파일:USENIX OSDI 2025 EIM Figure 2.png 문서를 만들었습니다
• 2025년 7월 20일 (일) 08:07 Ahn9807 토론 기여님이 파일:USENIX OSDI 2025 EIM Figure 2.png 파일을 올렸습니다
• 2025년 7월 17일 (목) 03:51 Ahn9807 토론 기여님이 파일:USENIX OSDI 2022 zIO Figure 3.png 문서를 만들었습니다
• 2025년 7월 17일 (목) 03:51 Ahn9807 토론 기여님이 파일:USENIX OSDI 2022 zIO Figure 3.png 파일을 올렸습니다
• 2025년 7월 16일 (수) 09:03 Ahn9807 토론 기여님이 파일:USENIX OSDI 2022 zIO Figure 1.png 문서를 만들었습니다
• 2025년 7월 16일 (수) 09:03 Ahn9807 토론 기여님이 파일:USENIX OSDI 2022 zIO Figure 1.png 파일을 올렸습니다
• 2025년 7월 15일 (화) 06:48 Ahn9807 토론 기여님이 USENIX OSDI 2025 문서를 만들었습니다 (새 문서: 분류: 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:57 Ahn9807 토론 기여님이 CAMP: Compiler and Allocator-based Heap Memory Protection 문서를 만들었습니다 (새 문서: 분류: 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...) 태그: 시각 편집: 전환됨
• 2025년 7월 2일 (수) 04:37 Ahn9807 토론 기여님이 틀:Paper 문서를 만들었습니다 (새 문서: <includeonly> <table class="tg-infobox floatright"> <!-- Image --> {{Infobox image row | image = {{{image|}}} | caption = {{{caption|}}} | imageWidth = {{{imageWidth|}}} | imageHeight = {{{imageHeight|}}} }} <!-- Youtube --> {{#if:{{{youtube|}}} | <div class="video-container"> {{#tag:iframe | | width="320" height="180" src="https://www.youtube.com/embed/{{#invoke:URLDecode|decode|{{#replace:{{{youtube}}}|https://www.youtube.com/watch?v=|}}}}"...)
• 2025년 7월 2일 (수) 04:06 Ahn9807 토론 기여님이 Delta Pointers: Buffer Overflow Checks Without the Checks 문서를 만들었습니다 (새 문서: 분류: 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년 7월 2일 (수) 01:44 Ahn9807 토론 기여님이 파일:EuroSys 2018 Delta Pointers Figure 2.png 문서를 만들었습니다