- 601부터 #650까지의 범위에서 50개의 결과가 아래에 보입니다.
- Keeping Safe Rust Safe with Galeed (2024년 12월 6일 (금) 13:16)
- KSplit: Automating Device Driver Isolation (2024년 12월 6일 (금) 13:17)
- Rethinking the Library OS from the Top Down (2024년 12월 6일 (금) 13:17)
- Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data (2024년 12월 6일 (금) 13:18)
- IX: A Protected Dataplane Operating System for High Throughput and Low Latency (2024년 12월 6일 (금) 13:18)
- Iago Attacks: Why the System Call API is a Bad Untrusted RPC Interface (2024년 12월 6일 (금) 13:19)
- DieHard: Probabilistic Memory Safety for Unsafe Languages (2024년 12월 6일 (금) 13:19)
- DieHarder: Securing the Heap (2024년 12월 6일 (금) 13:20)
- DINT: Fast In-Kernel Distributed Transactions with eBPF (2024년 12월 6일 (금) 13:20)
- Dune: Safe User-level Access to Privileged CPU Features (2024년 12월 6일 (금) 13:20)
- Go-pmem: Native support for programming persistent memory in go (2024년 12월 6일 (금) 13:21)
- SHELTER: Extending Arm CCA with Isolation in User Space (2024년 12월 6일 (금) 13:22)
- Shielding applications from an untrusted cloud with Haven (2024년 12월 6일 (금) 13:22)
- Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency (2024년 12월 6일 (금) 13:22)
- Singularity: Rethinking the Software Stack (2024년 12월 6일 (금) 13:23)
- Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems (2024년 12월 6일 (금) 13:24)
- Sharing and Protection in a Single-Address-Space Operating System (2024년 12월 6일 (금) 13:25)
- Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel (2024년 12월 6일 (금) 13:26)
- HXDP: Efficient software packet processing on FPGA NICs (2024년 12월 6일 (금) 13:26)
- Strata: A Cross Media File System (2024년 12월 6일 (금) 13:27)
- ERIM: Secure, efficient in-process isolation with protection keys (MPK) (2024년 12월 6일 (금) 13:28)
- Extensibility, safety and performance in the SPIN operating system (2024년 12월 6일 (금) 13:28)
- Extension Framework for File Systems in User space (2024년 12월 6일 (금) 13:29)
- EXTMEM: Enabling Application-Aware Virtual Memory Management for Data-Intensive Applications (2024년 12월 6일 (금) 13:29)
- FetchBPF: Customizable Prefetching Policies in Linux with eBPF (2024년 12월 6일 (금) 13:29)
- FreeGuard: A Faster Secure Heap Allocator (2024년 12월 6일 (금) 13:30)
- FreeSentry: Protecting Against Use-After-Free Vulnerabilities Due to Dangling Pointers (2024년 12월 6일 (금) 13:30)
- Hardening Hypervisors with Ombro (2024년 12월 6일 (금) 13:30)
- Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication (2024년 12월 6일 (금) 13:31)
- High Velocity Kernel File Systems with Bento (2024년 12월 6일 (금) 13:32)
- The Aurora Single Level Store Operating System (2024년 12월 6일 (금) 13:33)
- The Design and Implementation of Hyperupcalls (2024년 12월 6일 (금) 13:34)
- The Multikernel: A new OS architecture for scalable multicore systems (2024년 12월 6일 (금) 13:34)
- The Pauseless GC Algorithm (2024년 12월 6일 (금) 13:35)
- The performance of the Container Shipping I/O system (2024년 12월 6일 (금) 13:37)
- The UNIX Time-Sharing System (2024년 12월 6일 (금) 13:37)
- UBfuzz: Finding Bugs in Sanitizer Implementations (2024년 12월 6일 (금) 13:37)
- Unikernel Linux (UKL) (2024년 12월 6일 (금) 13:38)
- Unikernels: Library operating systems for the cloud (2024년 12월 6일 (금) 13:38)
- Unikraft: Fast, Specialized Unikernels the Easy Way (2024년 12월 6일 (금) 13:38)
- Xen and the Art of Virtualization (2024년 12월 6일 (금) 13:39)
- 화이트박스 검사 (2024년 12월 9일 (월) 04:59)
- 그레이박스 검사 (2024년 12월 9일 (월) 05:39)
- 블랙박스 검사 (2024년 12월 9일 (월) 05:42)
- Fuzzing (2024년 12월 9일 (월) 14:01)
- State machine (2024년 12월 10일 (화) 03:46)
- IJON: Exploring Deep State Spaces via Fuzzing (2024년 12월 10일 (화) 06:56)
- 코드 커버리지 (2024년 12월 11일 (수) 02:18)
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing (2024년 12월 11일 (수) 11:53)
- BUDAlloc: Defeating Use-After-Free Bugs by Decoupling Virtual Address Management from Kernel (2024년 12월 12일 (목) 05:23)