Ahn9807의 사용자 기여

2024년 12월 6일 (금)

• 13:302024년 12월 6일 (금) 13:30 차이 역사 −5 잔글 FreeSentry: Protecting Against Use-After-Free Vulnerabilities Due to Dangling Pointers 편집 요약 없음 최신
• 13:302024년 12월 6일 (금) 13:30 차이 역사 +2 잔글 FreeGuard: A Faster Secure Heap Allocator 편집 요약 없음 최신
• 13:292024년 12월 6일 (금) 13:29 차이 역사 −6 잔글 FetchBPF: Customizable Prefetching Policies in Linux with eBPF 편집 요약 없음 최신
• 13:292024년 12월 6일 (금) 13:29 차이 역사 −6 잔글 EXTMEM: Enabling Application-Aware Virtual Memory Management for Data-Intensive Applications 편집 요약 없음 최신
• 13:292024년 12월 6일 (금) 13:29 차이 역사 −6 잔글 Extension Framework for File Systems in User space 편집 요약 없음 최신
• 13:282024년 12월 6일 (금) 13:28 차이 역사 −8 잔글 Extensibility, safety and performance in the SPIN operating system 편집 요약 없음 최신
• 13:282024년 12월 6일 (금) 13:28 차이 역사 +15 잔글 ERIM: Secure, efficient in-process isolation with protection keys (MPK) 편집 요약 없음 최신
• 13:272024년 12월 6일 (금) 13:27 차이 역사 −8 잔글 Strata: A Cross Media File System 편집 요약 없음 최신
• 13:262024년 12월 6일 (금) 13:26 차이 역사 −5 잔글 HXDP: Efficient software packet processing on FPGA NICs 편집 요약 없음 최신
• 13:262024년 12월 6일 (금) 13:26 차이 역사 −8 잔글 Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel 편집 요약 없음 최신
• 13:252024년 12월 6일 (금) 13:25 차이 역사 +28 새글 분류:ACM TOCS 새 문서: 분류: 시스템 논문 최신
• 13:252024년 12월 6일 (금) 13:25 차이 역사 −8 Sharing and Protection in a Single-Address-Space Operating System 편집 요약 없음 최신
• 13:242024년 12월 6일 (금) 13:24 차이 역사 −8 잔글 Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems 편집 요약 없음 최신
• 13:232024년 12월 6일 (금) 13:23 차이 역사 −5 잔글 Wedge: Splitting Applications into Reduced-Privilege Compartments 편집 요약 없음
• 13:232024년 12월 6일 (금) 13:23 차이 역사 +28 새글 분류:ACM SIGOPS Operating Systems Review 새 문서: 분류: 시스템 논문 최신
• 13:232024년 12월 6일 (금) 13:23 차이 역사 +19 잔글 Singularity: Rethinking the Software Stack 편집 요약 없음 최신
• 13:222024년 12월 6일 (금) 13:22 차이 역사 −5 잔글 Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency 편집 요약 없음 최신
• 13:222024년 12월 6일 (금) 13:22 차이 역사 −5 잔글 Shielding applications from an untrusted cloud with Haven 편집 요약 없음 최신
• 13:222024년 12월 6일 (금) 13:22 차이 역사 −9 잔글 SHELTER: Extending Arm CCA with Isolation in User Space 편집 요약 없음 최신
• 13:212024년 12월 6일 (금) 13:21 차이 역사 −6 잔글 Go-pmem: Native support for programming persistent memory in go 편집 요약 없음 최신
• 13:202024년 12월 6일 (금) 13:20 차이 역사 −5 잔글 Dune: Safe User-level Access to Privileged CPU Features 편집 요약 없음 최신
• 13:202024년 12월 6일 (금) 13:20 차이 역사 +28 새글 분류:USENIX NSDI 새 문서: 분류: 시스템 논문 최신
• 13:202024년 12월 6일 (금) 13:20 차이 역사 −5 잔글 DINT: Fast In-Kernel Distributed Transactions with eBPF 편집 요약 없음 최신
• 13:202024년 12월 6일 (금) 13:20 차이 역사 −9 잔글 DieHarder: Securing the Heap 편집 요약 없음 최신
• 13:192024년 12월 6일 (금) 13:19 차이 역사 +28 새글 분류:ACM PLDI 새 문서: 분류: 시스템 논문 최신
• 13:192024년 12월 6일 (금) 13:19 차이 역사 −8 잔글 DieHard: Probabilistic Memory Safety for Unsafe Languages 편집 요약 없음 최신
• 13:192024년 12월 6일 (금) 13:19 차이 역사 −6 잔글 Iago Attacks: Why the System Call API is a Bad Untrusted RPC Interface 편집 요약 없음 최신
• 13:182024년 12월 6일 (금) 13:18 차이 역사 −5 잔글 IX: A Protected Dataplane Operating System for High Throughput and Low Latency 편집 요약 없음 최신
• 13:182024년 12월 6일 (금) 13:18 차이 역사 −5 잔글 Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data 편집 요약 없음 최신
• 13:172024년 12월 6일 (금) 13:17 차이 역사 −6 잔글 Rethinking the Library OS from the Top Down 편집 요약 없음 최신
• 13:172024년 12월 6일 (금) 13:17 차이 역사 −5 잔글 KSplit: Automating Device Driver Isolation 편집 요약 없음 최신
• 13:162024년 12월 6일 (금) 13:16 차이 역사 +28 새글 분류:ACSAC 새 문서: 분류: 시스템 논문 최신
• 13:162024년 12월 6일 (금) 13:16 차이 역사 −11 잔글 Keeping Safe Rust Safe with Galeed 편집 요약 없음 최신
• 13:152024년 12월 6일 (금) 13:15 차이 역사 −9 잔글 DangZero: Efficient Use-After-Free Detection via Direct Page Table Access 편집 요약 없음 최신
• 13:152024년 12월 6일 (금) 13:15 차이 역사 −8 잔글 Pushing Performance Isolation Boundaries into Application with pBox 편집 요약 없음
• 13:152024년 12월 6일 (금) 13:15 차이 역사 −1 잔글 PUMM: Preventing Use-After-Free Using Execution Unit Partitioning 편집 요약 없음 최신
• 13:142024년 12월 6일 (금) 13:14 차이 역사 −6 잔글 Privbox: Faster System Calls Through Sandboxed Privileged Execution 편집 요약 없음 최신
• 13:142024년 12월 6일 (금) 13:14 차이 역사 −12 잔글 Preventing Use-after-free with Dangling Pointers Nullification 편집 요약 없음 최신
• 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...