9 June 2025
- 02:5702:57, 9 June 2025 diff hist +1,875 N NLP4Tests: AI-guided Authoring of Software Tests Milos Grigoric 새 문서: 분류: 시스템 세미나 일자: 6월 9일 월요일 오전 11시 장소: KAIST E3-1 4448호 연사: Milos Grigoric == 개요 == NLP기술을 Software testing에 어떻게 적용할까? 소프트웨어 테스팅은 기존에는 사람의 Intervention이 필요하였다. High quality의 fuzzing을 위해서는 사람이 어느정도 개입을 하여야 하였다. === Learning Deep Semantics for Test Completion === NLP는 Input이 있으면 Test코드를 만들어야... current
5 June 2025
- 09:4509:45, 5 June 2025 diff hist +885 PageFlex: Flexible and Efficient User-space Delegation of Linux Paging Policies with eBPF No edit summary current
4 June 2025
- 04:2104:21, 4 June 2025 diff hist +1,927 N PageFlex: Flexible and Efficient User-space Delegation of Linux Paging Policies with eBPF 새 문서: 분류: USENIX ATC Anil Yelam, Kan Wu, Zhiyuan Guo, Suli Yang, Rajath Shashidhara, Wei Xu, Stanko Novakovic, Alex C.Snoeren, Kimberly Keeton USENIX ATC 2025 == 개요 == Remote memory system에서 Paging을 어떻게 하느냐에 관한 많은 논문이 있지만, 구현방식에 따라서 Linux커널에 이식하기 힘들거나, 아니면 성능이 느려지는 문제가 있었다. 이 논문은 eBPF를 활용해서 Linux paging policy를 User-level에 Delegate하...
- 04:1204:12, 4 June 2025 diff hist +33 N 파일:USENIX ATC 2025 PageFlex Figure 3.png No edit summary current
2 June 2025
- 04:3604:36, 2 June 2025 diff hist +41 m Eden: Developer-Friendly Application-Integrated Far Memory No edit summary current
- 01:5101:51, 2 June 2025 diff hist +1,352 Eden: Developer-Friendly Application-Integrated Far Memory No edit summary Tag: Visual edit
- 01:5001:50, 2 June 2025 diff hist +20 N 파일:USENIX NSDI Figure 8.png No edit summary current
1 June 2025
- 07:3207:32, 1 June 2025 diff hist +192 N Network 새 문서: 분류:컴퓨터 네트워킹 == 개요 == 컴퓨터 네트워킹은 장치들이 서로 상호작용하기 위해서 어떤 방식으로 통신해야 하는지를 다루는 학문이다. current
- 07:3007:30, 1 June 2025 diff hist +4,144 N Eden: Developer-Friendly Application-Integrated Far Memory 새 문서: 분류: USENIX NSDI Anil Yelam, Stward Grant, Saart Deshpande, Nadav Amit, Radhika Niranjan Mysore, Amy Osterhout, Marcos K. Aguilera, Alex C. Snoeren 2025 NSDI == 개요 == Far memroy system은 Harware paging에 의존하여서 Transparent하지만 성능저하가 있는 방식과, Application을 수정하여서 Transparent하지 않지만 성능을 보장하는 방식으로 나뉠 수 있다. Eden은 최소한의 Attnotation과 Hardware의 도움을 복합적으로 사... Tag: Visual edit: Switched
- 07:1007:10, 1 June 2025 diff hist +227 N 파일:USENIX NSDI Eden Figure 3.png No edit summary current
28 May 2025
- 06:0406:04, 28 May 2025 diff hist +2,249 RangeSanitizer: Detecting Memory Errors with Efficient Range Checks No edit summary current Tag: Visual edit: Switched
- 05:1205:12, 28 May 2025 diff hist +27 N 파일:Security 2025 RSan Figure 2.png No edit summary current
- 01:5701:57, 28 May 2025 diff hist −1 AddressSanitizer No edit summary current
- 01:5601:56, 28 May 2025 diff hist +6,911 N AddressSanitizer 새 문서: 분류: 소프트웨어 기반 보안 = 개요 = '''AddressSanitizer''' ('''ASan''')는 C/C++ 프로그램에서 발생하는 메모리 오류를 탐지하기 위한 메모리 오류 검사 도구이다. AddressSanitizer는 다음과 같은 메모리 오류를 탐지할 수 있다: * Use-after-free * Heap buffer overflow * Stack buffer overflow * Global buffer overflow * Use-after-return * Use-after-scope * Initialization order bugs * Memory leaks == 작동 원리 == ===...
27 May 2025
- 11:1811:18, 27 May 2025 diff hist +227 N RangeSanitizer: Detecting Memory Errors with Efficient Range Checks 새 문서: 분류: USENIX Security Floris Gorter, Cristiano Giuffrida USENIX Security 2025 == 개요 == == Motivation & Importance == == Main Idea == == Design == == Conclusion == == 같이 보기 == # Code sanitizer
- 11:1211:12, 27 May 2025 diff hist +4,320 N Intel Memory Protection Extensions 새 문서: 분류: 하드웨어 기반 보안 분류: 인텔 = Intel Memory Protection Extensions (MPX) = '''Intel Memory Protection Extensions''' (MPX)는 Intel이 설계한 x86 아키텍처 확장으로, 런타임 시 포인터 참조의 유효 범위를 검사하여 버퍼 오버플로우와 같은 메모리 오류를 방지하는 것을 목표로 하였다. 그러나 실효성에 대한 우려와 다수의 설계적 결함으로 인해 대부분의 운영체제 및 컴파일... current
- 10:5810:58, 27 May 2025 diff hist +1,100 Code sanitizer No edit summary current Tag: Visual edit: Switched
- 10:5010:50, 27 May 2025 diff hist +850 N Code sanitizer 새 문서: 분류: 소프트웨어 기반 보안 == 개요 == Code santizier은 Compiler Instrumentation을 활용하여서 Runtime에 버그를 잡는 Programming tool을 의미한다. 대표적인 예로 Shadow memory를 활용하셔어 Memory corruption을 추적하는 AddressSanitizer과 같은 툴이 있다. == 종류 == {| class="wikitable" |+ !Name !Target !Target Vulnerability !Memory overhead !Performance overhead !Scalability !Tool Chain |- |ASAN |Ap... Tag: Visual edit
- 06:4806:48, 27 May 2025 diff hist +72 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World Add SwiftSweeper Poster current Tag: Visual edit
- 06:4706:47, 27 May 2025 diff hist +19 N 파일:SwiftSweeper Poster.png No edit summary current
- 04:1504:15, 27 May 2025 diff hist +3,062 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World No edit summary Tag: Visual edit: Switched
- 04:0204:02, 27 May 2025 diff hist +21 N 파일:SwiftSweeper Figure 5.png No edit summary current
- 03:5903:59, 27 May 2025 diff hist +26 N 파일:SwiftSweeper Delta Marking.png No edit summary current
- 03:5903:59, 27 May 2025 diff hist +21 N 파일:SwiftSweeper Figure 3.png No edit summary current
- 03:5303:53, 27 May 2025 diff hist +2 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World No edit summary
- 03:5003:50, 27 May 2025 diff hist +134 Sticky Tags: Efficient and Deterministic Spatial Memory Error Mitigation using Persistent Memory Tags No edit summary current
- 03:1503:15, 27 May 2025 diff hist +3,683 Sticky Tags: Efficient and Deterministic Spatial Memory Error Mitigation using Persistent Memory Tags No edit summary
26 May 2025
- 11:1911:19, 26 May 2025 diff hist +26 N 파일:S&P 2024 StickTag Figure 2.png No edit summary current
20 May 2025
- 11:4511:45, 20 May 2025 diff hist +462 N Sticky Tags: Efficient and Deterministic Spatial Memory Error Mitigation using Persistent Memory Tags 새 문서: 분류: IEEE S&P Floris Gorter, Taddeus Kroes, Herbert Bos and Cristiano Giuffrida IEEE S&P 2024 == 개요 == ARM MTE는 강력한 Lock-key매커니즘을 제공하지만 Random한 검출 방식이라는 문제가 있다. StickyTag는 이 문제를 stack 그리고 heap layout을 per-size-class region으로 구성하여서, persistent memory tag를 각 region에 부여하는 방식으로 determinstic한 spatial bug검출 방식을 제시하였다.
- 06:5206:52, 20 May 2025 diff hist +2,421 N TrustVisor: Efficient TCB Reduction and Attestation 새 문서: 분류: IEEE S&P Jonathan M. McCune Yanlin Li Ning Qu Zongwei Zhou Anupam Datta Virgil Gligor Adrian Perrig 2010 IEEE Symposium on Security and Privacy == 개요 == TrustVisor은 특수한 목적의 Hypervisor로 Code integrity와 Data integrity그리고 Secrecy를 Application의 일부분에 제공한다. == Motivation & Importance == 버그 없는 프로그램을 만드는 것은 매우 어려운 일이다. 따라서 Security sensitive한 코드의 일부분을... current
19 May 2025
- 05:2005:20, 19 May 2025 diff hist +24 INCOGNITOS: A Practical Unikernel Design for Full-System Obfuscation in Confidential Virtual Machines →Design current Tag: Visual edit
- 05:1905:19, 19 May 2025 diff hist +6,157 N INCOGNITOS: A Practical Unikernel Design for Full-System Obfuscation in Confidential Virtual Machines 새 문서: 분류: IEEE S&P Kha Dinh Duy, Jaeyoon Kim, Hajeong Lim, and Hojoon Lee IEEE S&P 2025 == 개요 == 최근 연구들은 사이드 채널 공격이 Intel SGX와 같은 신뢰 실행 환경(TEE)의 기밀성을 무력화할 수 있음을 반복적으로 입증해왔다. 한편, 클라우드 환경에서는 기밀 가상머신(CVM) 기술로의 전환이 진행 중이지만, 기존의 사이드 채널 공격 중 일부는 여전히 유효하며, CVM을 대상으로 한 새...
- 05:0705:07, 19 May 2025 diff hist +1,654 N Oblivious RAM 새 문서: 분류: 소프트웨어 기반 보안 == 개요 == ORAM은 알고리즘의 Input-output의 결과는 유지하면서, 메모리 접근 패턴을 숨기는 기법을 말한다. ORAM은 프로그램의 실행에서 공격자가 메모리 접근 패턴을 가지고 유의미한 공격을 할 수 있음에 착안하여, 메모리접근 위치를 모르게 하거나, 패턴을 랜덤화 시키는 등의 방법을 통해서 메모리를 보호한다. Turing machine(TM)은 In... current
- 04:2704:27, 19 May 2025 diff hist +33 N 파일:INCOGNITOS.png No edit summary current
- 01:3001:30, 19 May 2025 diff hist +105 N SwiftSweeper SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World 문서로 넘겨주기 current Tag: New redirect
18 May 2025
- 09:5809:58, 18 May 2025 diff hist +32 N Use-after-free Use after free 문서로 넘겨주기 current Tag: New redirect
- 09:3909:39, 18 May 2025 diff hist +28 N 분류:IEEE EuroS&P 새 문서: 분류: 시스템 논문 current
- 09:3909:39, 18 May 2025 diff hist +1,358 N XTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64 새 문서: 분류: IEEE EuroS&P Lukas Bernhard, Michael Rodler, Thorsten Holz, and Lucas Davi 2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P) == 개요 == Use after free버그를 해결하기 위해서, Software 기반의 Memory tagging기법과 이를 이용한 UAF Prevention기법을 제시하였다. == Motivation == ARM MTE와 같은 메모리 태깅 기법은 보안에 있어서 중요한 기법이다. 그러나 Intel X86과 같은 경우에는 메... current
30 April 2025
- 03:2103:21, 30 April 2025 diff hist −288 미디어위키:Citizen.css No edit summary current
- 03:2103:21, 30 April 2025 diff hist −227 미디어위키:Citizen.css No edit summary
- 03:1603:16, 30 April 2025 diff hist +18 미디어위키:Citizen.css No edit summary
- 03:1503:15, 30 April 2025 diff hist +3 미디어위키:Citizen.css No edit summary
- 03:1503:15, 30 April 2025 diff hist +3 미디어위키:Citizen.css No edit summary
- 03:1403:14, 30 April 2025 diff hist +585 N 미디어위키:Citizen.css 새 문서: →여기의 모든 CSS는 시티즌 스킨을 사용하는 사용자에게 로드됩니다: @media screen { →Hero image: .citizen-page-container:before { background-image: url(mages/d/de/사진_2023-1-3.jpg); background-position: 70% center; } →One Ring Inscription: →.citizen-body-container::after { background-image: url(mages/d/de/사진_2023-1-3.jpg); }: } →Middle Earth map: @media screen and (min-width: 1...
25 April 2025
- 11:2311:23, 25 April 2025 diff hist +3,517 N Adaptive Huge-Page Subrelease for Non-moving Memory Allocators in Warehouse-Scale Computers 새 문서: 분류: ACM ISMM Martin Maas, Chris Kennelly, Khanh Nguyen, Darryl Gove, Kathryn S. McKinley, Paul Turner ACM ISMM 2021 == 개요 == == Motivation & Importance == TLB압력을 줄이기 위해서 Huge page를 써야 한다. Huge page를 사용하면 Internal fragmentation문제를 겪게 된다. 이를 해결하기 위해서, Huge page-aware memroy allocator(E.g., TCMALLOC)과 같은 경우에는 Linux THP를 사용하는 것이 아니라, Huge page를 할당하고... current
- 10:5210:52, 25 April 2025 diff hist +30 N 파일:ISMM 2021 Martin Maas Figure 5.png No edit summary current
- 02:1002:10, 25 April 2025 diff hist +28 대문 No edit summary current
23 April 2025
- 06:0106:01, 23 April 2025 diff hist +28 N 분류:ACM ISMM 새 문서: 분류: 시스템 논문 current
- 06:0006:00, 23 April 2025 diff hist +13,080 Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code No edit summary current
- 03:2103:21, 23 April 2025 diff hist +1,755 Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code No edit summary