Ahn9807의 사용자 기여

2024년 12월 6일 (금)

• 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...

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 편집 요약 없음 최신