Ahn9807의 사용자 기여

2024년 12월 6일 (금)

• 13:142024년 12월 6일 (금) 13:14 차이 역사 −1 잔글 Preventing Use-After-Free Attacks with Fast Forward Allocation 편집 요약 없음 최신
• 13:142024년 12월 6일 (금) 13:14 차이 역사 −5 잔글 POSIX Abstractions in Modern Operating Systems: The Old, the New, and the Missing 편집 요약 없음 최신
• 13:132024년 12월 6일 (금) 13:13 차이 역사 −8 잔글 PACTree: A High Performance Persistent Range Index Using PAC Guidelines 편집 요약 없음 최신
• 13:132024년 12월 6일 (금) 13:13 차이 역사 +28 새글 분류:ACM FSE 새 문서: 분류: 시스템 논문 최신
• 13:132024년 12월 6일 (금) 13:13 차이 역사 +2,015 새글 BRF: Fuzzing the eBPF Runtime 새 문서: 분류: ACM FSE HSIN-WEI HUNG, ARDALAN AMIRI SANI ACM FSE 2024 == 개요 == eBPF Fuzzer설계시에 기존 시스템의 한계인 대부분의 경우 eBPF Static verifier가 프로그램을 Reject시키는 문제를 eBPF Semantic정보를 통하여 해결하여 극복한 논문이다. == Motivation == eBPF 버그 많다. eBPF 버그 Fuzzer로 잡으면 좋다. == Importance == 그러나 기존의 방식들은 eBPF Semantic에 맞지않는 프로그램을 생성하여... 최신
• 04:152024년 12월 6일 (금) 04:15 차이 역사 +2,840 새글 Validating the eBPF Verifier via State Embedding 새 문서: 분류: USENIX OSDI Hao Sun, Zhendong Su USENIX OSDI 2024 == 개요 == State embedding (Assertion을 집어 넣는 것)을 통하여 eBPF의 State transition을 반영한 Gray-box기반의 eBPF Fuzzer를 개발함 == Motivation == eBPF중요함. 버그 많음. 기존 Fuzzer black-box임. Black-box Fuzzing으로는 eBPF에서 발생하는 버그들은 Hard to notice, Hard to detect의 두가지 성질을 가지고 있음. 따라서, 새로운 eBPF Fuzzer개발해야 함.... 최신

2024년 12월 5일 (목)

• 09:312024년 12월 5일 (목) 09:31 차이 역사 −1 잔글 Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program 편집 요약 없음 최신
• 09:292024년 12월 5일 (목) 09:29 차이 역사 −7 잔글 분류:컴파일러 편집 요약 없음 최신
• 09:292024년 12월 5일 (목) 09:29 차이 역사 +34 새글 분류:컴파일러 새 문서: 분류: 프로그래밍 언어
• 09:262024년 12월 5일 (목) 09:26 차이 역사 +2,966 새글 Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program 새 문서: 분류: ACM EuroSys Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang EuroSys 2024 == 개요 == eBPF를 효과적으로 Fuzzing하는 기법에 대한 소개 == Motivation == eBPF는 중요하다. eBPF의 버그는 Critical하다. 따라서 Fuzzer를 통해서 eBPF의 버그를 해결해야 한다. == Design == ; Correctness Bug Indicators : eBPF의 버그는 크게 두가지로 나눌 수 있다. 1. eBPF가 직접 커널에 영향을 미치는 경우 2...
• 09:242024년 12월 5일 (목) 09:24 차이 역사 −35 잔글 Noriwiki:저작권 편집 요약 없음 최신
• 09:242024년 12월 5일 (목) 09:24 차이 역사 +16,738 새글 Noriwiki:저작권 새 문서: =License= By exercising the Licensed Rights (defined below), You accept and agree to be bound by the terms and conditions of this Creative Commons Attribution-ShareAlike 4.0 International Public License ("Public License"). To the extent this Public License may be interpreted as a contract, You are granted the Licensed Rights in consideration of Your acceptance of these terms and conditions, and the Licensor grants You such rights in consideration of benefits the Licensor receive...

2024년 12월 4일 (수)

• 09:382024년 12월 4일 (수) 09:38 차이 역사 +28 새글 분류:ACM OOPSLA 새 문서: 분류: 시스템 논문 최신
• 09:372024년 12월 4일 (수) 09:37 차이 역사 +7,114 새글 Random Testing for C and C++ Compilers with YARPGen 새 문서: 분류: ACM OOPSLA VSEVOLOD LIVINSHII, DMITRY BABOKIN, JOHN REGEHR ACM OOPSLA 2020 == 개요 == 컴파일러 테스팅을 위하여 프로그램을 랜덤 생성할시 커버리지를 높이기 위하여 코드 특성을 체계적으로 변경하는 매커니즘을 제공하고, 언어의 제한된 하위 집합에 머물지 않으면서도 정의되지 않은 동작이 없는 코드를 생성해내는 새로운 Compiler fuzzing test generator을 고안하였다. == Mot... 최신
• 05:342024년 12월 4일 (수) 05:34 차이 역사 +28 새글 분류:소프트웨어 테스트 새 문서: 분류: 시스템 보안
• 05:332024년 12월 4일 (수) 05:33 차이 역사 +37 새글 분류:Fuzzing 새 문서: 분류: 소프트웨어 테스트 최신
• 05:312024년 12월 4일 (수) 05:31 차이 역사 +1,454 새글 Differential testing 새 문서: 분류: Fuzzing == 개요 == Differential testing은 동일한 입력을 여러 유사한 Application (혹은 버전만 다른 같은 Application)에 제공하고 실행의 차이를 관찰하여 버그를 탐지하는 Fuzzing기법이다. Differnetial testing은 Crash나 Abortion을 유발하지 않는 Semantic혹은 Logical bug를 발견하기 위해서 사용된다. Differential testing은 다른 발로 Back-to-Back testing이라고 불리기도 한다. Differential tes... 최신

2024년 12월 3일 (화)

• 08:022024년 12월 3일 (화) 08:02 차이 역사 −8 잔글 J-NVM: Off-heap Persistent Objects in Java 편집 요약 없음 최신
• 08:012024년 12월 3일 (화) 08:01 차이 역사 +28 새글 분류:IEEE HPDC 새 문서: 분류: 시스템 논문 최신
• 08:012024년 12월 3일 (화) 08:01 차이 역사 −7 잔글 NVL-C: Static analysis techniques for efficient, correct programming of non-volatile main memory systems 편집 요약 없음 최신
• 08:002024년 12월 3일 (화) 08:00 차이 역사 −6 잔글 OSv Optimizing the Operating System for Virtual Machines 편집 요약 없음 최신
• 08:002024년 12월 3일 (화) 08:00 차이 역사 −1 잔글 Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers 편집 요약 없음 최신
• 07:592024년 12월 3일 (화) 07:59 차이 역사 −5 잔글 Operating System Support for Safe and Efficient Auxiliary Execution 편집 요약 없음
• 07:592024년 12월 3일 (화) 07:59 차이 역사 +28 새글 분류:NDSS 새 문서: 분류: 시스템 논문 최신
• 07:592024년 12월 3일 (화) 07:59 차이 역사 −12 잔글 CRCount: Pointer Invalidation with Reference Counting to Mitigate Use-after-free in Legacy C/C++ 편집 요약 없음 최신
• 07:572024년 12월 3일 (화) 07:57 차이 역사 −6 잔글 Corundum: Statically-Enforced Persistent Memory Safety 편집 요약 없음 최신
• 07:552024년 12월 3일 (화) 07:55 차이 역사 −5 잔글 Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud 편집 요약 없음 최신
• 07:022024년 12월 3일 (화) 07:02 차이 역사 −5 잔글 Coordinated and efficient huge page management with ingens 편집 요약 없음
• 07:022024년 12월 3일 (화) 07:02 차이 역사 −5 잔글 Cooperation and Security Isolation of Library OSes for Multi-Process Applications 편집 요약 없음 최신
• 07:002024년 12월 3일 (화) 07:00 차이 역사 −1 잔글 Cling: A Memory Allocator to Mitigate Dangling Pointers 편집 요약 없음 최신
• 07:002024년 12월 3일 (화) 07:00 차이 역사 −6 잔글 Characterizing a Memory Allocator at Warehouse Scale 편집 요약 없음 최신
• 07:002024년 12월 3일 (화) 07:00 차이 역사 −6 CBMM: Financial Advice for Kernel Memory Managers 편집 요약 없음 최신
• 06:592024년 12월 3일 (화) 06:59 차이 역사 −6 잔글 LXDs: Towards Isolation of Kernel Subsystems 편집 요약 없음 최신
• 06:592024년 12월 3일 (화) 06:59 차이 역사 −8 잔글 My VM is Lighter (and Safer) than your Container 편집 요약 없음 최신
• 06:582024년 12월 3일 (화) 06:58 차이 역사 −6 잔글 Mnemosyne: Lightweight persistent memory 편집 요약 없음 최신
• 06:582024년 12월 3일 (화) 06:58 차이 역사 −1 잔글 Capsicum: practical capabilities for UNIX 편집 요약 없음 최신
• 06:572024년 12월 3일 (화) 06:57 차이 역사 +28 새글 분류:ACM SIGPLAN Notices 새 문서: 분류: 시스템 논문 최신
• 06:572024년 12월 3일 (화) 06:57 차이 역사 +3 C4: The Continuously Concurrent Compacting Collector 편집 요약 없음 최신
• 06:562024년 12월 3일 (화) 06:56 차이 역사 −5 잔글 BlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating Systems 편집 요약 없음 최신
• 06:562024년 12월 3일 (화) 06:56 차이 역사 −8 Bit Fusion: Bit-Level Dynamically Composable Architecture for Accelerating Deep Neural Networks 편집 요약 없음 최신
• 06:552024년 12월 3일 (화) 06:55 차이 역사 −6 잔글 LibMPK: Software abstraction for intel memory protection keys (Intel MPK) 편집 요약 없음 최신
• 06:542024년 12월 3일 (화) 06:54 차이 역사 −6 잔글 LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCs 편집 요약 없음 최신
• 06:532024년 12월 3일 (화) 06:53 차이 역사 +28 새글 분류:ACM ISCA 새 문서: 분류: 시스템 논문 최신
• 06:532024년 12월 3일 (화) 06:53 차이 역사 −8 Bit Fusion: Bit-Level Dynamically Composable Architecture for Accelerating Deep Neural Network 편집 요약 없음 최신
• 06:452024년 12월 3일 (화) 06:45 차이 역사 −5 잔글 Nooks: an architecture for reliable device drivers 편집 요약 없음 최신

2024년 12월 2일 (월)

• 08:192024년 12월 2일 (월) 08:19 차이 역사 −58 잔글 Operating System Transactions 편집 요약 없음 최신
• 06:562024년 12월 2일 (월) 06:56 차이 역사 +4,269 새글 Operating System Transactions 새 문서: 분류: ACM SOSP Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, and Emmett Witchel SOSP’09 == 개요 == 시스템 콜을 Transaction하게 만든 디자인을 제시한 논문이다. == Motivation == Applications developer들은 논리적으로 연관된 여러개의 시스템콜을 사용한다. 이러한 Complexity는 buggy하거나 malicious한 어플리케이션에서 Critical한 Attack point혹은 Data lose로 이어질 수 있다...

2024년 11월 29일 (금)

• 04:482024년 11월 29일 (금) 04:48 차이 역사 −5 ZIO: Accelerating IO-Intensive Applications with Transparent Zero-Copy IO 편집 요약 없음
• 04:472024년 11월 29일 (금) 04:47 차이 역사 +28 새글 분류:ACM EuroSys 새 문서: 분류: 시스템 논문 최신
• 04:472024년 11월 29일 (금) 04:47 차이 역사 −5 PKRU-safe: automatically locking down the heap between safe and unsafe languages 편집 요약 없음 최신