이 페이지에서 위키의 최근 바뀜을 추적합니다.
약어 목록:
- 새글
- 새 문서 (새 문서 목록도 보세요)
- 잔글
- 사소한 편집
- 봇
- 봇이 수행한 편집
- (±123)
- 바이트 수로 표현한 문서 크기의 차이
2025년 10월 9일 (목)
| 새글 16:00 | FuzzBench: An Open Fuzzer Benchmarking Platform and Service 차이역사 +2,717 Ahn9807 토론 기여 (새 문서: {{Paper|title=FuzzBench: An Open Fuzzer Benchmarking Platform and Service|author=Jonathan Metzman, Laszlo Szekeres, Laurent Simon, Read Sprabery, Abhishek Arya|conference=ACM FSE|year=2021}} 분류: ACM FSE == 개요 == Fuzzer을 Evaluation하는 것은 매우 힘든 일이다. FuzzBench는 Fuzzer를 최대한 효율적으로, 그리고 정확히 Evaluating할 수 있는 Opensource Benchmark tool을 개발하였다. == Motivation & Importance == Fuzzing은 매...) | ||||
| 새글 12:59 | Intel UIPI 차이역사 +58 Ahn9807 토론 기여 (Intel User Interface Privilege Isolation 문서로 넘겨주기) | ||||
|
|
새글 12:57 | Intel User Interface Privilege Isolation 2개 바뀜 역사 +3,063 [Ahn9807 (2×)] | |||
|
|
12:57 (최신 | 이전) −5 Ahn9807 토론 기여 (→한계) | ||||
| 새글 |
|
12:56 (최신 | 이전) +3,068 Ahn9807 토론 기여 (새 문서: == 개요 == Intel UIPI는 기존의 커널 의존적 IPC 메커니즘을 대체하기 위해, 하드웨어 수준에서 메시지 큐와 인터럽트 전달 메커니즘을 통합하였다. 각 프로세스는 사용자 공간 내에 존재하는 UIPI 엔드포인트(Endpoint)를 통해 다른 프로세스와 직접 데이터를 교환할 수 있다. === 기본 구조 === * '''UIPI 엔드포인트 (Endpoint)''': 각 프로세스는 하나 이상의 엔드포인트를 할...) | |||
2025년 10월 1일 (수)
|
|
새글 16:32 | TWINFUZZ: Differential Testing of Video Hardware Acceleration Stacks 2개 바뀜 역사 +2,377 [Ahn9807 (2×)] | |||
|
|
16:32 (최신 | 이전) −22 Ahn9807 토론 기여 | ||||
| 새글 |
|
16:31 (최신 | 이전) +2,399 Ahn9807 토론 기여 (새 문서: {{Paper|title=TWINFUZZ: Differential Testing of Video Hardware Acceleration Stacks|author=Matteo Leonelli, Addison Crump, Meng Wang, Florian Bauckholt, Keno Hassler, Ali Abbasi, Thorsten Holz|year=2025|conference=NDSS}} 분류: NDSS == 개요 == Video codec decoding(비디오 코덱 디코딩)은 여러개의 소프트웨어와 하드웨어계층으로 이루어져 있고, 내려갈수록 State를 관측하기 힘들어, Fuzzing이 어려워진다. 이를 해결...) 태그: 시각 편집: 전환됨 | |||
| 16:21 | 올리기 기록 Ahn9807 토론 기여님이 파일:NDSS 2025 TWINFUZZ Figure 2.png 파일을 올렸습니다 | ||||
2025년 9월 30일 (화)
| 새글 14:10 | Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework 차이역사 +4,308 Ahn9807 토론 기여 (새 문서: {{Paper|title=Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework|conference=ACM SOSP|year=2019|author=Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, Taesoo Kim}} 분류:ACM SOSP == 개요 == 본 연구에서는 메모리 오류뿐 아니라 '''파일 시스템의 시맨틱 버그'''를 탐지하기 위하여 새로운 퍼저(fuzzer)를 설계하였다. 제안된 퍼저는 입력 변형기(input mutator), 피드백 엔진(feedbac...) | ||||
| 13:34 | 올리기 기록 Ahn9807 토론 기여님이 파일:SOSP 2019 HYDRA Figure 6.png 파일을 올렸습니다 | ||||
2025년 9월 26일 (금)
| 잔글 13:08 | Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing 차이역사 +21 Ahn9807 토론 기여 | ||||
| 잔글 13:08 | NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types 차이역사 +29 Ahn9807 토론 기여 | ||||
| 13:07 | EBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle 차이역사 +22 Ahn9807 토론 기여 | ||||
| 새글 13:07 | SecureCells: A Secure Compartmentalized Architecture 차이역사 +3,052 Ahn9807 토론 기여 (새 문서: {{Paper|title=SecureCells: A Secure Compartmentalized Architecture|author=Atri Bhattacharyya, Florian Hofhammer, Yuanlong Li, Siddharth Gupta, Andres Sanchez, Babak Falsafi, Mathias Payer|conference=IEEE Symposium on Security and Privacy (SP)|year=2023}} 분류: IEEE S&P == 개요 == SecureCell은 Protection domain에 관련된 연구로, 하드웨어-소프트웨어 Co-desig을 통한 Per-Virtual Memory Area Permissions을 가능하게 하여, 효율적인 User space...) | ||||
| 12:40 | 올리기 기록 Ahn9807 토론 기여님이 파일:IEEE SP 2023 SecureCells Figure 3.png 파일을 올렸습니다 | ||||
2025년 9월 25일 (목)
|
|
새글 16:36 | EBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle 2개 바뀜 역사 +4,306 [Ahn9807 (2×)] | |||
|
|
16:36 (최신 | 이전) −2 Ahn9807 토론 기여 | ||||
| 새글 |
|
16:35 (최신 | 이전) +4,308 Ahn9807 토론 기여 (새 문서: {{Paper|title=eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle|author=Tao Lyu Kumar Kartikeya Dwivedi Thomas Bourgeat Mathias Payer Meng Xu, Sanidhya Kashyap|conference=SOSP|year=2025}} == 개요 == 본 연구에서는 eBPF semantics을 반영한 제너레이터가 생성한 오라클(oracle) 을 활용하여 eBPF Verifier의 False-positive 및 False-negative 버그를 검출하는 퍼저(fuzzer)를 설계하였다. 제너레이터는 의미론적...) 태그: 시각 편집: 전환됨 | |||
|
|
16:00 | (올리기 기록) [Ahn9807 (2×)] | |||
|
|
16:00 Ahn9807 토론 기여님이 파일:SOSP 2025 VERITAS Figure 7.png 파일을 올렸습니다 | ||||
|
|
12:00 Ahn9807 토론 기여님이 파일:USENIX Security 2021 NYX Figure 1.png 파일을 올렸습니다 | ||||
| 새글 13:47 | 하이퍼바이저 차이역사 +28 Ahn9807 토론 기여 (Hypervisor 문서로 넘겨주기) | ||||
| 새글 13:46 | Hypervisor 차이역사 +3,620 Ahn9807 토론 기여 (새 문서: 분류: 가상화 == 개요 == 하이퍼바이저(Hypervisor)는 가상화를 위해서 사용되는 소프트웨어 또는 펌웨어를 말한다. 하이퍼바이저는 각 게스트에 가상화된 CPU, Memory, Storage, Network 등을 제공하며, Isolation과 Resource management를 제공한다. 이를 통해 하나의 물리적 하드웨어 위에서 다수의 운영체제가 동시에 독립적으로 실행될 수 있으며, 클라우드...) | ||||
| 새글 13:31 | NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types 차이역사 +3,980 Ahn9807 토론 기여 (새 문서: {{Paper|title=NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types|author=Sergej Schumilo, Cornelius Aschermann, Ali Abbasi, Simon Wörner and Thorsten Holz|year=2021|conference=30th USENIX Security Symposium|pdf=https://www.usenix.org/conference/usenixsecurity21/presentation/schumilo}} == 개요 == Hypervisor fuzzing을 위해서 2020년 시점으로는 Emulating해서 Code coverage를 구하는 방식과, Code covereage는 사용하지 않지만, Blac...) | ||||
| 새글 12:06 | Affine type 차이역사 +872 Ahn9807 토론 기여 (새 문서: 분륲: 프로그래밍 언어 == 개요 == Affine type이란 프로그래밍 언어나 타입 시스템에서, 어떤 값이 '''최대 한 번만 사용될 수 있음'''을 보장하는 타입이다. 정확히 한번 사용해야 하는 Linear type과는 다르게, 최대 사용안하거나 1번 사용하는 것을 허용한다. Affine type은 한번 사용된 type이 다시 사용되는 것을 막기 때문에 안전성을 컴파일 타임에 보장할 수 있다. Rust...) | ||||
2025년 9월 22일 (월)
| 새글 18:15 | Differential fuzzing 차이역사 +38 Ahn9807 토론 기여 (Differential testing 문서로 넘겨주기) | ||||
| 새글 18:15 | Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing 차이역사 +3,480 Ahn9807 토론 기여 (새 문서: {{Paper|title=Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing|author=Chaoyuan Peng, Muhui Jiang, Lei Wu, Yajin Zhou|conference=CCS|year=2024}} == 개요 == BPFChecker는 Differential fuzzing을 사용하여서, eBPF runtime의 오류를 찾아내는 Fuzzing기법을 개발하였다. == Motivatioin & Implementation == eBPF버그는 시스템에 Critical한 영향을 미치기에 Verifier에 대한 Fuzzing은 많이...) | ||||
| 17:42 | 올리기 기록 Ahn9807 토론 기여님이 파일:CCS 2024 BPFCHECKER Figure 3.png 파일을 올렸습니다 | ||||
