모든 공개 기록

noriwiki에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.

• 2023년 11월 10일 (금) 03:30 Ahn9807 토론 기여님이 Anderson Algorithm 문서를 넘겨주기를 만들지 않고 Anderson algorithm 문서로 이동했습니다
• 2023년 11월 9일 (목) 09:46 Ahn9807 토론 기여님이 Anderson Algorithm 문서를 만들었습니다 (새 문서: 분류: 프로그램 분석 == 개요 == 앤덜슨 알고리즘은 프로그램 분석에서 기본이 되는 2가지 알고리즘 중에 하나로, 제일 정확하지만, 제일 오래걸리는 특징을 가진다. Context-insensitive 알고리즘 이며, Flow-insensitive분석 방법이다. == 알고리즘 == 포인터는 다음 4가지의 상태에서 연산된다. * address of: A = &B or (A = malloc(size), A = new ...) * copy: A = B * assign: *A = B * dere...)
• 2023년 11월 8일 (수) 07:33 Ahn9807 토론 기여님이 Complete partial order 문서를 만들었습니다 (Order 문서로 넘겨주기) 태그: 새 넘겨주기 시각 편집: 전환됨
• 2023년 11월 8일 (수) 07:32 Ahn9807 토론 기여님이 Partial order 문서를 만들었습니다 (Order 문서로 넘겨주기) 태그: 새 넘겨주기 시각 편집: 전환됨
• 2023년 11월 8일 (수) 07:32 Ahn9807 토론 기여님이 Fixed point 문서를 만들었습니다 (새 문서: 분류: Abstract interpretation == 개요 == Fixed point란 F(X) = X를 만족시키는 점들을 말한다. * x 는 만약 <math>f : A \rightarrow A, x \in A </math>을 만족시키면 fixed point이다. 이때 함수가 Monotonic function이고, Partial order이 정의되어 있다면, 항상 제일큰 fixed point와 가장 작은 fixed point가 존재할 것이다. * leat fixed point: Monotonic 그리고 partial order인 집합 A에서, 제일 작은 fixed point...)
• 2023년 11월 8일 (수) 04:26 Ahn9807 토론 기여님이 Order 문서를 만들었습니다 (새 문서: 분류: 프로그래밍 언어 == 개요 == 순서쌍 (a,b)에 대해서 관계를 정의하고, 그 관계를 통해서 나온 == 관계 == 집합 <math>X</math> 위의 이항 관계 <math>\le</math>가 다음 관계가 있다. * Reflexive: 임의의 <math>x\in X</math>에 대하여, <math>x\le x</math> * Anit-Reflexive: 임의의 <math>x\in X</math>에 대하여, <math>x\not< x</math> * Transitive: 임의의 <math>x,y,z\in X</math>에 대하여, <math>x\le y\le z</m...)
• 2023년 11월 8일 (수) 03:44 Ahn9807 토론 기여님이 Abstract interpretation 문서를 만들었습니다 (새 문서: 분류: 프로그램 분석 == 개요 == Abstract Interpretation이란, 프로그램을 Soundess를 충족하는 Abstraction(추상화)를 만들어서 Program을 검증하는 것이다. Abstract Interpretation은 Static analysis를 구현하는 이론적인 토대가 되어서, Compiler에서 프로그램의 Optimization이나, Verifier에서 프로그램의 문제를 분석하는 것에 사용된다. 프로그램을 Concrete한 정보를 가지고 분석하는 일은...)
• 2023년 11월 7일 (화) 06:32 Ahn9807 토론 기여님이 Infinite loop 문서를 만들었습니다 (새 문서: 분류: 소프트웨어 버그 == 개요 == Infinite loop은 Intended된 경우와, Unintended된 경우로 나눌 수 있다. Polling과 같은 서비스 루틴을 돌리기 위한 Infinite loop은 정상적인 것 이지만, 프로그래머의 실수로 인해서 야기된 Uninited infinite loop은 시스템을 halting시키기 때문에 취약점으로 악용될 수 있다. (Deny of service) 무한 루프의 검출 알고리즘은 프로그램이 무한루프를 가...)
• 2023년 10월 17일 (화) 11:31 Ahn9807 토론 기여님이 FreeSentry: Protecting Against Use-After-Free Vulnerabilities Due to Dangling Pointers 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Yves Younan Proceedings 2015 Network and Distributed System Security Symposium == 개요 == Binary Instrumentation을 통해서 Pointer가 Free되는 경우에, Pointer에 해당하는 오브젝트 접근을 Invalidate하도록 하여서, UAF버그를 제거하였다. == Motivation == Use after free 버그는 C나 C++에서 자주 발생하는 버그지만, 그 파급력에 불구하고, Detect하는 것은 매우 어려운 일이다. ==...)
• 2023년 10월 17일 (화) 03:35 Ahn9807 토론 기여님이 Use after free 문서를 만들었습니다 (새 문서: 분류: 시스템 보안 == 개요 == Use after free 버그는 Free된 버그에 Access가 일어나서, 예측하지 못한 행동이 프로그램에 일어나는 버그를 말한다. 간단한 개념에 쉬운 작동방식을 가지고 있지만, UAF버그는 많은 사용 프로그램에서 지속적으로 발생하며, 발생할 경우 치명적인 영향을 프로그램에 미칠수도 있는 버그이다. 실제로 UAF버그는 매우 복잡한 환경에서 일어난...)
• 2023년 10월 13일 (금) 08:42 Ahn9807 토론 기여님이 Preventing Use-after-free with Dangling Pointers Nullification 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Byoungyoung Lee, Chengyu Song, Yeongjin Jang, Tielei Wang, Taesoo Kim, Long Lu, Wenke Lee Proceedings 2015 Network and Distributed System Security Symposium == 개요 == DangNull은 포인터와 오브젝트의 관계를 추적해서, 나중에 Object가 free될 경우 연관된 모든 오브젝트들을 Nullification시켜서 Use-after-free 버그가 시스템에 치명적인 영향을 미치지 않도록 하였다. == Motivation == Use-afte...)
• 2023년 10월 11일 (수) 01:26 Ahn9807 토론 기여님이 분류:디버깅 문서를 만들었습니다 (새 문서: 분류: 프로그래밍)
• 2023년 10월 9일 (월) 08:50 Ahn9807 토론 기여님이 PUMM: Preventing Use-After-Free Using Execution Unit Partitioning 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Carter Yagemann, Simon P. Chung, Brendan Saltaformaggio, Wenke Lee USENIX Security 2023 == 개요 == == Motivation == Use-after-free 버그는 C나 C++에서 자주 발생하는 버그지만, 그 파급력에 불구하고, Detect하는 것은 매우 어려운 일이다. 이 문제를 해결하기 위해서 One-time-allocator나 Garbage collection과 같은 방식들이 많이 사용되지만, OTA는 Virtual address exhaustion문제...) 태그: 시각 편집: 전환됨
• 2023년 8월 25일 (금) 11:56 Ahn9807 토론 기여님이 Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers 문서를 만들었습니다 (CET)
• 2023년 8월 24일 (목) 07:48 Ahn9807 토론 기여님이 MineSweeper: A łClean Sweepž for Drop-In Use-after-Free Prevention 문서를 넘겨주기를 만들지 않고 MineSweeper: A “Clean Sweep” for Drop-In Use-After-Free Prevention 문서로 이동했습니다
• 2023년 8월 24일 (목) 07:42 Ahn9807 토론 기여님이 FreeGuard: A Faster Secure Heap Allocator 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 == 개요 == FreeGuard는 Secure하고 Performance를 동시에 추구하는 Memory allocator으로서, 기존의 Dieharder와 BSD Allocator의 단점을 분석하여 그에 따른 해결책을 내놓았다. == Motivation == C/C++ 처럼 많은 Unsafe한 Langauge들은 메모리 버그에 취약하다. 이를 Memory allocator의 디자인으로 막을 수 있다. == Importance == 기존의 있는 방식인 ASLR, Bum-pointer allocator, Sequential a...)
• 2023년 8월 24일 (목) 06:59 Ahn9807 토론 기여님이 파일:스크린샷 2023-08-24 오후 3.58.45.png 문서를 만들었습니다
• 2023년 8월 24일 (목) 06:59 Ahn9807 토론 기여님이 파일:스크린샷 2023-08-24 오후 3.58.45.png 파일을 올렸습니다
• 2023년 8월 24일 (목) 04:30 Ahn9807 토론 기여님이 Memory node 문서를 만들었습니다 (메모리 노드 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 8월 24일 (목) 04:30 Ahn9807 토론 기여님이 메모리 노드 문서를 만들었습니다 (새 문서: 분류: 메모리 관리 == 개요 == 리눅스에서 메모리 관리시 접근 속도가 같은 영역을 뱅크로 나타내며 이를 노드라는 자료구조로 나타낸다. 모든 코어가 메모리 접근에 같은 속도로 접근하는 UMA시스템에서는 노드는 하나이고, NUMA환경에서는 노드는 최대 1024(CONFIG_NODE_SHIFT)개의 NUMA Memory Bank들을 지정할 수 있다. 노드의 접근은 리스트를 통해서 관리되며, pgdat_list...)
• 2023년 8월 18일 (금) 11:11 Ahn9807 토론 기여님이 MineSweeper: A łClean Sweepž for Drop-In Use-after-Free Prevention 문서를 만들었습니다 (ㅇ)
• 2023년 8월 5일 (토) 10:44 Ahn9807 토론 기여님이 PARSEC 문서를 만들었습니다 (새 문서: 분류: 시스템 벤치마크 == 개요 == Princeton Application Repository for Shared-Memory Computers(PARSEC)은 프린스턴 대학교에서 만든 벤치마크 툴로, 무료로 다양한 범위의 컴퓨팅 벤치마크를 할 수 있게 한다. PARSEC은 병렬컴퓨팅 환경에서 다양한 컴퓨팅 파워를 체크할 수 있도록 설계되었다. PARSEC은 현재 Version 3까지 나와있으며 다음과 같은 벤치마크를 돌릴 수 있다. * blacksholes *...)
• 2023년 8월 3일 (목) 03:54 Ahn9807 토론 기여님이 KASAN 문서를 만들었습니다 (Kernel address sanitizer 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 8월 3일 (목) 03:54 Ahn9807 토론 기여님이 Kernel address sanitizer 문서를 만들었습니다 (새 문서: 분류: 리눅스 커널 == 개요 == Kernel address sanitizer (KASAN)은 out-of-bound 버그와 user-after-free 버그를 체크하기 위한 dynamic safety error checking 매커니즘이다. KASAN은 세가지 모드로 구성된다. ; 소프트웨어 방식 : 소프트웨어 방식 KASAN은 컴팡일러의 도움을 통해서 모든 memory access validation test코드를 삽입하는 방식으로 작동한다. * Generic KASAN: 디버깅을 위해서 사용되며, 다양...)
• 2023년 7월 28일 (금) 10:54 Ahn9807 토론 기여님이 Preventing Use-After-Free Attacks with Fast Forward Allocation 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Brian Wickman, Hong Hu, Insu Yun, Daehee Jang USENIX Security 2021 == 개요 == One time allocation이라는 아이디어를 다시 가져와 Use-after-free (UAF)버그를 막을 수 있는 효율적인 Memory allocator을 만들었다. == Motivation == C와 C++같은 Memory unsafe 언어에서 UAF버그는 치명적임. == Importance == 기존의 UAF를 막기 위한 방법들은 CPU가 많이 사용되거나, Overhead가 너무 큰 문제점...)
• 2023년 7월 27일 (목) 12:14 Ahn9807 토론 기여님이 DangZero: Efficient Use-After-Free Detection via Direct Page Table Access 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Floris Gorter, Keon Koning, Herbert Bos, Cristiano Giuffrida CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security == 개요 == DangZero는 user가 Page table에 직접 접근할 수 있도록 하여서, 효율적으로 Use after free을 사전에 차단할 수 있도록 하였다. == Motivation == User after free(UAF)버그는 많이 발생하며 버그라서 이를 찾아내고 차단하는 것은 보안상 중요한...) 태그: 시각 편집: 전환됨
• 2023년 7월 17일 (월) 02:04 Ahn9807 토론 기여님이 분류:프로그래밍 문서를 만들었습니다 (새 문서: 분류: 전산과학)
• 2023년 7월 17일 (월) 02:03 Ahn9807 토론 기여님이 분류:프로그래밍 개발 도구 문서를 만들었습니다 (새 문서: 분류: 프로그래밍)
• 2023년 7월 17일 (월) 02:03 Ahn9807 토론 기여님이 Vscode 설정 문서를 만들었습니다 (새 문서: 분류: 프로그래밍 개발 도구 == 개요 == 이 문서는 Vscode를 사용하면서 유용한 팁들을 작성한다. == Clangd == Linux처럼 큰 프로젝트의 경우에는 내장 C/C++ Intellisence가 Tag parsing을 매우 느리게하는데, 이를 해결하기 위해서 clangd를 사용하면 좋다. vscode clangd extension 설치후, cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=1 . 혹은 리눅스 커널 소스 파일의 ./scripts/clang-tools/gen_compile_commands.p...)
• 2023년 6월 23일 (금) 10:43 Ahn9807 토론 기여님이 Cooperation and Security Isolation of Library OSes for Multi-Process Applications 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Chia-Che Tsai, Kumar Saurabh Arora, ... , Donald E. Porter EuroSys 2014: Ninth Eurosys Conference 2014 == 개요 == TBU)
• 2023년 6월 23일 (금) 05:48 Ahn9807 토론 기여님이 Shielding applications from an untrusted cloud with Haven 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Shielding Applications from an Untrusted Cloud with Haven Andrew Baumann, Marcus Peinado, Galen Hunt ==개요== Intel SGX환경에서 Application을 안전하게 돌리기 위해서, Draw bridge에서 소개된 Library OS방식을 통해, Iago Attack, Side-channel attack과 같은 Security 위협을 최소화 하여 실행하는 방법을 제시하였다. == Motivation == 증가하는...) 태그: 시각 편집: 전환됨
• 2023년 6월 22일 (목) 08:00 Ahn9807 토론 기여님이 Rethinking the Library OS from the Top Down 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen C. Hunt ASPLOS’11 250px|가운데 == 개요 == Windows처럼 Pratical하게 사용되고 있는 OS를 LibraryOS로 만들기 위해서는 어떠한 일을 해야 하는지 정리 하였다. == Motivation == Per-application customization을 하게 되면 Application의 성능을 올릴 수 있다. == Importance == LibraryOS를 통...) 태그: 시각 편집: 전환됨
• 2023년 6월 22일 (목) 07:23 Ahn9807 토론 기여님이 파일:Drawbridge overview.png 문서를 만들었습니다
• 2023년 6월 22일 (목) 07:23 Ahn9807 토론 기여님이 파일:Drawbridge overview.png 파일을 올렸습니다
• 2023년 6월 20일 (화) 11:22 Ahn9807 토론 기여님이 OS 문서를 만들었습니다 (Operating system 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 6월 15일 (목) 10:44 Ahn9807 토론 기여님이 HKID 문서를 만들었습니다 (Total memory encryption 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 6월 15일 (목) 10:41 Ahn9807 토론 기여님이 MKTME 문서를 만들었습니다 (Total memory encryption 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 6월 15일 (목) 10:39 Ahn9807 토론 기여님이 TME 문서를 만들었습니다 (Total memory encryption 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 6월 15일 (목) 10:38 Ahn9807 토론 기여님이 분류:인텔 문서를 만들었습니다 (새 문서: 분류: 컴퓨터 구조)
• 2023년 6월 15일 (목) 10:38 Ahn9807 토론 기여님이 Total memory encryption 문서를 만들었습니다 (새 문서: 분류: 하드웨어 기반 보안 분류: 인텔 == 개요 == TME (Total Memory Encrpytion)은 SoC 메모리 암호화 복호화 엔진으로 메모리의 내용을 SoC을 이용해서 암호화 하기 위해서 사용하는 장치를 말한다. Memory의 내용이 Cache에 올라가는 순간 TME는 메모리의 내용을 복호화 시켜서 캐쉬에 올린다.)
• 2023년 6월 14일 (수) 08:11 Ahn9807 토론 기여님이 Remote attestation 문서를 만들었습니다 (새 문서: 분류: CPU 분류: 하드웨어 기반 보안 분류: 시스템 보안 분류: 가상화 == 개요 == Attestation이란 소프트웨어가 지금 돌아가는 Hardware에서 Intel SGX나 Intel TDX와 같은 기능을 잘 제공하고 있는지 확인하기 위한 절차를 말한다. 인증에는 Local Attestation과 Remote Attestation이 있다. Local은 Encalve와 Encalve사이에서의 인증이고, Remote attestation은 Enclave와 Hardwa...)
• 2023년 6월 14일 (수) 06:52 Ahn9807 토론 기여님이 EPID 문서를 만들었습니다 (새 문서: 분류: 하드웨어 기반 보안 분류: 시스템 보안 == 개요 == Enhanced Privacy ID (EPID)란 Intel이 개발한 Remote attestation을 위한 알고리즘을 말한다. 디지털 서명은 보통 private key - public key의 pair로 이루어지는 시스템을 통해서 작동한다. 그러나, Private key를 가진 사람이 추적된다는 점 (세상에는 단 하나의 private key만이 존재함으로)과 Public key의 Validation을 증명할 CA가...)
• 2023년 6월 14일 (수) 05:00 Ahn9807 토론 기여님이 Enclave 문서를 만들었습니다 (새 문서: 분류: 시스템 보안 == 개요 == Enclave란 컴퓨터 보안에서, 특정 Application의 Trusted Componenet부분을 말한다. 예를 들어서, Intel SGX에서 Enclave는 Application중에서 Intel SGX에서 돌아가는 부분을 말한다.)
• 2023년 6월 14일 (수) 03:33 Ahn9807 토론 기여님이 Independent software vendor 문서를 만들었습니다 (새 문서: 분류: 전산 용어 == 개요 == ISV란 Independent software vendor의 약자로서, Software을 개발하고 배포하는 회사들을 말한다. 쉽게 말하면 소프트웨어 개발 회사를 ISV라고 한다. 예를 들어서 Apple이 Iphone을 만들면 ISV들이 게임이나, Utility와 같은 Application을 개발해서 AppStore에서 판매한다.)
• 2023년 6월 12일 (월) 04:40 Ahn9807 토론 기여님이 HTTP/응답 코드 문서를 만들었습니다 (HTTP 응답 코드 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 6월 11일 (일) 10:04 Ahn9807 토론 기여님이 Shim 문서를 만들었습니다 (새 문서: 분류: 전산용어 == 개요 == 컴퓨터 프로그램, 컴퓨터 시스템에서 shim이란, 특정 API에 대한 요청을 transparent하게 intercept해서 실행시키는 라이브러리를 의미한다. Shim은 오래된 API에 대한 지원이나, 새로운 API를 오래된 Application에서 사용하기 위해서 사용된다. 예를 들어서,LD_PRELOAD는 libc라이브러리와 같은 Shared library에 대한 API를 중간에서 가로채서 새...)
• 2023년 6월 9일 (금) 05:32 Ahn9807 토론 기여님이 분류:수학 문서를 만들었습니다 (새 문서: 수학은 숫자와 기호를 사용하여 수량과 도형 및 그것들의 관계를 다루는 학문이다. 수학은 본질적인 것만을 기호로 표현하는 ‘과학의 언어’라고 하며, 자연과학과 거의 모든 분야의 학문에 공헌하는 기초학문이다. 기하학과 대수학으로 나뉘어 발전해 왔고 현재는 62개 분야에 이른다. 우리 전통수학은 사대부의 교양으로서 관념적인 수학과, 재정회계 등 실무를...)
• 2023년 6월 9일 (금) 05:23 Ahn9807 토론 기여님이 분류:논문 작성법 문서를 만들었습니다 (새 문서: 논문 쓰는 법을 설명한다. 여기서는 중심적으로, 영어 그리고 과학 논문, 특히 공학에서 논문을 어떻게 쓰여야 하는지를 서술한다. 중요한 것은 여기의 내용은 가이드라인일 뿐이라는 것이다. 논문을 잘 쓰기 위해서는, 형식, 그리고 표현이 좋아야 한다. 특히 아이디어가 좋더라도, 정말 좋지 않으이상은, 형식과 표현이 나쁘면 나쁜 인상을 주게 되고, 논문이 탈락...)
• 2023년 6월 8일 (목) 09:53 Ahn9807 토론 기여님이 분류:클라우드 컴퓨팅 문서를 만들었습니다 (새 문서: 분류: 컴퓨터 네트워킹)
• 2023년 6월 8일 (목) 09:52 Ahn9807 토론 기여님이 분류:동시성 프로그래밍 문서를 만들었습니다 (새 문서: 분류: 전산 과학)