Ahn9807의 사용자 기여

02:572025년 6월 9일 (월) 02:57 차이 역사 +1,875 새글 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코드를 만들어야... 최신

09:452025년 6월 5일 (목) 09:45 차이 역사 +885 PageFlex: Flexible and Efficient User-space Delegation of Linux Paging Policies with eBPF 편집 요약 없음 최신

04:212025년 6월 4일 (수) 04:21 차이 역사 +1,927 새글 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:122025년 6월 4일 (수) 04:12 차이 역사 +33 새글 파일:USENIX ATC 2025 PageFlex Figure 3.png 편집 요약 없음 최신

04:362025년 6월 2일 (월) 04:36 차이 역사 +41 잔글 Eden: Developer-Friendly Application-Integrated Far Memory 편집 요약 없음 최신
01:512025년 6월 2일 (월) 01:51 차이 역사 +1,352 Eden: Developer-Friendly Application-Integrated Far Memory 편집 요약 없음 태그: 시각 편집
01:502025년 6월 2일 (월) 01:50 차이 역사 +20 새글 파일:USENIX NSDI Figure 8.png 편집 요약 없음 최신

07:322025년 6월 1일 (일) 07:32 차이 역사 +192 새글 Network 새 문서: 분류:컴퓨터 네트워킹 == 개요 == 컴퓨터 네트워킹은 장치들이 서로 상호작용하기 위해서 어떤 방식으로 통신해야 하는지를 다루는 학문이다. 최신
07:302025년 6월 1일 (일) 07:30 차이 역사 +4,144 새글 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의 도움을 복합적으로 사... 태그: 시각 편집: 전환됨
07:102025년 6월 1일 (일) 07:10 차이 역사 +227 새글 파일:USENIX NSDI Eden Figure 3.png 편집 요약 없음 최신

06:042025년 5월 28일 (수) 06:04 차이 역사 +2,249 RangeSanitizer: Detecting Memory Errors with Efficient Range Checks 편집 요약 없음 최신 태그: 시각 편집: 전환됨
05:122025년 5월 28일 (수) 05:12 차이 역사 +27 새글 파일:Security 2025 RSan Figure 2.png 편집 요약 없음 최신
01:572025년 5월 28일 (수) 01:57 차이 역사 −1 AddressSanitizer 편집 요약 없음 최신
01:562025년 5월 28일 (수) 01:56 차이 역사 +6,911 새글 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 == 작동 원리 == ===...

11:182025년 5월 27일 (화) 11:18 차이 역사 +227 새글 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:122025년 5월 27일 (화) 11:12 차이 역사 +4,320 새글 Intel Memory Protection Extensions 새 문서: 분류: 하드웨어 기반 보안 분류: 인텔 = Intel Memory Protection Extensions (MPX) = '''Intel Memory Protection Extensions''' (MPX)는 Intel이 설계한 x86 아키텍처 확장으로, 런타임 시 포인터 참조의 유효 범위를 검사하여 버퍼 오버플로우와 같은 메모리 오류를 방지하는 것을 목표로 하였다. 그러나 실효성에 대한 우려와 다수의 설계적 결함으로 인해 대부분의 운영체제 및 컴파일... 최신
10:582025년 5월 27일 (화) 10:58 차이 역사 +1,100 Code sanitizer 편집 요약 없음 최신 태그: 시각 편집: 전환됨
10:502025년 5월 27일 (화) 10:50 차이 역사 +850 새글 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... 태그: 시각 편집
06:482025년 5월 27일 (화) 06:48 차이 역사 +72 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World Add SwiftSweeper Poster 최신 태그: 시각 편집
06:472025년 5월 27일 (화) 06:47 차이 역사 +19 새글 파일:SwiftSweeper Poster.png 편집 요약 없음 최신
04:152025년 5월 27일 (화) 04:15 차이 역사 +3,062 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World 편집 요약 없음 태그: 시각 편집: 전환됨
04:022025년 5월 27일 (화) 04:02 차이 역사 +21 새글 파일:SwiftSweeper Figure 5.png 편집 요약 없음 최신
03:592025년 5월 27일 (화) 03:59 차이 역사 +26 새글 파일:SwiftSweeper Delta Marking.png 편집 요약 없음 최신
03:592025년 5월 27일 (화) 03:59 차이 역사 +21 새글 파일:SwiftSweeper Figure 3.png 편집 요약 없음 최신
03:532025년 5월 27일 (화) 03:53 차이 역사 +2 SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World 편집 요약 없음
03:502025년 5월 27일 (화) 03:50 차이 역사 +134 Sticky Tags: Efficient and Deterministic Spatial Memory Error Mitigation using Persistent Memory Tags 편집 요약 없음 최신
03:152025년 5월 27일 (화) 03:15 차이 역사 +3,683 Sticky Tags: Efficient and Deterministic Spatial Memory Error Mitigation using Persistent Memory Tags 편집 요약 없음

11:192025년 5월 26일 (월) 11:19 차이 역사 +26 새글 파일:S&P 2024 StickTag Figure 2.png 편집 요약 없음 최신

11:452025년 5월 20일 (화) 11:45 차이 역사 +462 새글 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:522025년 5월 20일 (화) 06:52 차이 역사 +2,421 새글 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한 코드의 일부분을... 최신

05:202025년 5월 19일 (월) 05:20 차이 역사 +24 INCOGNITOS: A Practical Unikernel Design for Full-System Obfuscation in Confidential Virtual Machines →Design 최신 태그: 시각 편집
05:192025년 5월 19일 (월) 05:19 차이 역사 +6,157 새글 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:072025년 5월 19일 (월) 05:07 차이 역사 +1,654 새글 Oblivious RAM 새 문서: 분류: 소프트웨어 기반 보안 == 개요 == ORAM은 알고리즘의 Input-output의 결과는 유지하면서, 메모리 접근 패턴을 숨기는 기법을 말한다. ORAM은 프로그램의 실행에서 공격자가 메모리 접근 패턴을 가지고 유의미한 공격을 할 수 있음에 착안하여, 메모리접근 위치를 모르게 하거나, 패턴을 랜덤화 시키는 등의 방법을 통해서 메모리를 보호한다. Turing machine(TM)은 In... 최신
04:272025년 5월 19일 (월) 04:27 차이 역사 +33 새글 파일:INCOGNITOS.png 편집 요약 없음 최신
01:302025년 5월 19일 (월) 01:30 차이 역사 +105 새글 SwiftSweeper SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World 문서로 넘겨주기 최신 태그: 새 넘겨주기

09:582025년 5월 18일 (일) 09:58 차이 역사 +32 새글 Use-after-free Use after free 문서로 넘겨주기 최신 태그: 새 넘겨주기
09:392025년 5월 18일 (일) 09:39 차이 역사 +28 새글 분류:IEEE EuroS&P 새 문서: 분류: 시스템 논문 최신
09:392025년 5월 18일 (일) 09:39 차이 역사 +1,358 새글 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과 같은 경우에는 메... 최신

03:212025년 4월 30일 (수) 03:21 차이 역사 −288 미디어위키:Citizen.css 편집 요약 없음 최신
03:212025년 4월 30일 (수) 03:21 차이 역사 −227 미디어위키:Citizen.css 편집 요약 없음
03:162025년 4월 30일 (수) 03:16 차이 역사 +18 미디어위키:Citizen.css 편집 요약 없음
03:152025년 4월 30일 (수) 03:15 차이 역사 +3 미디어위키:Citizen.css 편집 요약 없음
03:152025년 4월 30일 (수) 03:15 차이 역사 +3 미디어위키:Citizen.css 편집 요약 없음
03:142025년 4월 30일 (수) 03:14 차이 역사 +585 새글 미디어위키: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...

11:232025년 4월 25일 (금) 11:23 차이 역사 +3,517 새글 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를 할당하고... 최신
10:522025년 4월 25일 (금) 10:52 차이 역사 +30 새글 파일:ISMM 2021 Martin Maas Figure 5.png 편집 요약 없음 최신
02:102025년 4월 25일 (금) 02:10 차이 역사 +28 대문 편집 요약 없음 최신

06:012025년 4월 23일 (수) 06:01 차이 역사 +28 새글 분류:ACM ISMM 새 문서: 분류: 시스템 논문 최신
06:002025년 4월 23일 (수) 06:00 차이 역사 +13,080 Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code 편집 요약 없음 최신
03:212025년 4월 23일 (수) 03:21 차이 역사 +1,755 Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code 편집 요약 없음

2025년 6월 9일 (월)

2025년 6월 5일 (목)

2025년 6월 4일 (수)

2025년 6월 2일 (월)

2025년 6월 1일 (일)

2025년 5월 28일 (수)

2025년 5월 27일 (화)

2025년 5월 26일 (월)

2025년 5월 20일 (화)

2025년 5월 19일 (월)

2025년 5월 18일 (일)

2025년 4월 30일 (수)

2025년 4월 25일 (금)

2025년 4월 23일 (수)