2024년 12월 6일 (금)
- 13:322024년 12월 6일 (금) 13:32 차이 역사 −5 잔글 High Velocity Kernel File Systems with Bento 편집 요약 없음 최신
- 13:312024년 12월 6일 (금) 13:31 차이 역사 −6 잔글 HawkEye: Efficient Fine-grained OS Support for Huge Pages 편집 요약 없음
- 13:312024년 12월 6일 (금) 13:31 차이 역사 −13 잔글 Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication 편집 요약 없음 최신
- 13:302024년 12월 6일 (금) 13:30 차이 역사 −6 잔글 Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication 편집 요약 없음
- 13:302024년 12월 6일 (금) 13:30 차이 역사 −25 잔글 Hardening Hypervisors with Ombro 편집 요약 없음 최신
- 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개발해야 함.... 최신