2023년 5월 31일 (수)
- 03:492023년 5월 31일 (수) 03:49 차이 역사 +1,322 새글 Style 새 문서: 분류: 영어 논문 표현 == 개요 == 과학 논문 표현에서 중요한 것은 간략이 말의 핵심만을 전하는 것이다. 논문에서는 진실함이 없는 글만이 말을 장황이 쓰게 만든다. 작성하고자 하는 내용을 정학히 이해하고, 논문의 핵심에 자신이 있다면 미사여구로 논문을 꾸밀 노력을 하지 않는다. 분명하지 않은 글은 다음과 같은 경우가 많다. * 복잡한 수사가 글을 좀더...
2023년 5월 19일 (금)
- 11:222023년 5월 19일 (금) 11:22 차이 역사 +3,129 Wedge: Splitting Applications into Reduced-Privilege Compartments Pr
2023년 5월 17일 (수)
- 14:392023년 5월 17일 (수) 14:39 차이 역사 +175 새글 Wedge: Splitting Applications into Reduced-Privilege Compartments 새 문서: 분류: 시스템 논문 Adrea Bittau, Petr Marchenko, Mark Handley, Brad Karp NSDI'0: 5th USENIX Symposium on Networked Systems Design and Implementation == 개요 ==
- 11:412023년 5월 17일 (수) 11:41 차이 역사 −1 분류:프로그램 분석 편집 요약 없음 최신
- 11:412023년 5월 17일 (수) 11:41 차이 역사 +25 새글 분류:프로그램 분석 새 문서: 분류: 전산 이론
- 11:402023년 5월 17일 (수) 11:40 차이 역사 +3 Dynamic program analysis 편집 요약 없음 최신
- 11:372023년 5월 17일 (수) 11:37 차이 역사 +557 새글 Dynamic program analysis 새 문서: 분류: 시스템 보안 == 개요 == Dynamic program analysis는 컴퓨터 소프트웨어를 Runttime에 분석하여서 unit testing, debuggin 그리고 security에 대한 체크를 수행하는 행위를 말한다. 동적 프로그램 분석은 보안에서 널리 사용되며, Memory error detection, Fuzzing, 그리고 Dynamic symbolic execution과 같은 일들을 수행한다. 동적 프로그램 분석의 반댓말은 정적 프로그램 분석 Static prog...
2023년 5월 16일 (화)
- 09:242023년 5월 16일 (화) 09:24 차이 역사 +136 새글 Mutrace 새 문서: 분류: 시스템 벤치마크 == 개요 == mutrace는 lock의 성능 프로파일링을 위해서 사용되는 프로그램이다. 최신 태그: 시각 편집: 전환됨
2023년 5월 14일 (일)
- 06:042023년 5월 14일 (일) 06:04 차이 역사 0 잔글 Latency 101 →Stroage Latency Comparison 태그: 시각 편집
- 05:132023년 5월 14일 (일) 05:13 차이 역사 +226 잔글 Latency 101 →Stroage Latency Comparison 태그: 시각 편집
2023년 5월 8일 (월)
- 03:542023년 5월 8일 (월) 03:54 차이 역사 +106 새글 분류:영어 논문 작성법 새 문서: 분류: 논문 작성법 == 참고 자료 == === 영어 문법 === # https://hakmalyoung.tistory.com/ 최신
- 03:532023년 5월 8일 (월) 03:53 차이 역사 +1 잔글 연구 문제 편집 요약 없음 최신
- 03:532023년 5월 8일 (월) 03:53 차이 역사 −7 특허 편집 요약 없음 최신
- 03:532023년 5월 8일 (월) 03:53 차이 역사 −7 연구 문제 편집 요약 없음 태그: 수동 되돌리기
- 03:532023년 5월 8일 (월) 03:53 차이 역사 0 논문 영어 표현 편집 요약 없음 최신
- 03:522023년 5월 8일 (월) 03:52 차이 역사 −7 Research proposal 편집 요약 없음 최신
2023년 5월 6일 (토)
- 07:082023년 5월 6일 (토) 07:08 차이 역사 +28 새글 Correctness 새 문서: 분류: 논문 작성법
2023년 5월 3일 (수)
- 10:102023년 5월 3일 (수) 10:10 차이 역사 +4,584 새글 PKRU-safe: automatically locking down the heap between safe and unsafe languages 새 문서: 분류: 시스템 논문 Paul Kirth, Stephen Crane, Adrian Dabrowski, Stijn Volckaret, Michael Franz EuroSys '22: Seventeenth European Conference on Computer Systems == 개요 == Rust와 같은 safe language model은 unsafe와 같은 영역에서 memory corruption bug가 일어날 수도 있다. 이를 해결하기 위해서 Intel MPK를 사용하여서 Rust의 unsafe에서 발생하는 메모리 버그를 safe하게 만들었다. == Motivation == 대부분의 컴...
2023년 5월 1일 (월)
- 10:452023년 5월 1일 (월) 10:45 차이 역사 0 잔글 Shadow stack 편집 요약 없음 최신
- 10:442023년 5월 1일 (월) 10:44 차이 역사 +1,856 새글 Shadow stack 새 문서: 분류: 시스템 보안 == 개요 == Shadow stack이란, 리턴 주소값을 특수한 스택에 보관함으로서, Stack buffer overflow와 같은 공격으로부터 프로그램을 보호하는 기법이다. Shadow stack을 위해서 사용되는 스택은, 별도의 Shadow로 존재하는 스택이다. Function이 시작하는 시점에서, Function은 Return address를 Call stack과 Shadow stack에 동시에 저장하게 된다. Function이 끝나는 시점에서...
2023년 4월 22일 (토)
- 09:032023년 4월 22일 (토) 09:03 차이 역사 −168 Iago Attacks: Why the System Call API is a Bad Untrusted RPC Interface →Criticize
2023년 4월 21일 (금)
- 05:262023년 4월 21일 (금) 05:26 차이 역사 +1,538 APIC 편집 요약 없음 최신
2023년 4월 19일 (수)
- 07:312023년 4월 19일 (수) 07:31 차이 역사 +122 잔글 APIC 편집 요약 없음
- 05:542023년 4월 19일 (수) 05:54 차이 역사 +1,419 APIC 편집 요약 없음
- 05:522023년 4월 19일 (수) 05:52 차이 역사 0 파일:APIC Overview.png Ahn9807님이 파일:APIC Overview.png의 새 판을 올렸습니다 최신
- 05:452023년 4월 19일 (수) 05:45 차이 역사 +13 새글 파일:APIC Overview.png 편집 요약 없음
2023년 4월 18일 (화)
- 04:252023년 4월 18일 (화) 04:25 차이 역사 +4 잔글 Address space layout randomization 편집 요약 없음 최신
2023년 4월 17일 (월)
- 06:292023년 4월 17일 (월) 06:29 차이 역사 +1 잔글 카이제곱 검정 편집 요약 없음 최신
- 06:022023년 4월 17일 (월) 06:02 차이 역사 +43 잔글 Trust domain extensions 편집 요약 없음
- 06:012023년 4월 17일 (월) 06:01 차이 역사 +12,078 새글 TDX Module 새 문서: 분류: CPU 분류: 하드웨어 기반 보안 분류: 시스템 보안 분류: 가상화 == 개요 == TDX Module은 Intel TDX에서 Hypervisor와 Trusted domains(TD)사이에 존재하는 소프트웨어 모듈로, 인텔이 Signed하고 CPU-attested된 안전한 소프트웨어 이다. TDX Module은 하이퍼바이저와 TD의 중재자 역활을 하면서 TD의 생성, 실행, 그리고 종료와 같은 일들을 하이퍼바이저의 TCB와 분리되어... 최신
- 03:552023년 4월 17일 (월) 03:55 차이 역사 +60 새글 파일:TDX TD Metadata.png 편집 요약 없음 최신
- 03:072023년 4월 17일 (월) 03:07 차이 역사 +41 새글 Intel TDX Trust domain extensions 문서로 넘겨주기 최신 태그: 새 넘겨주기
2023년 4월 10일 (월)
- 04:542023년 4월 10일 (월) 04:54 차이 역사 +49 새글 SGX Intel software guard extensions 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 04:542023년 4월 10일 (월) 04:54 차이 역사 +41 새글 TDX Trust domain extensions 문서로 넘겨주기 최신 태그: 새 넘겨주기
2023년 4월 9일 (일)
- 07:302023년 4월 9일 (일) 07:30 차이 역사 +5,282 Trust domain extensions 편집 요약 없음 태그: 시각 편집: 전환됨
- 06:582023년 4월 9일 (일) 06:58 차이 역사 +28 새글 파일:Intel TDX Remote attestation.png 편집 요약 없음 최신
- 06:302023년 4월 9일 (일) 06:30 차이 역사 +31 새글 파일:Intel TDX Interrupt & Exception.png 편집 요약 없음 최신
- 05:452023년 4월 9일 (일) 05:45 차이 역사 +16 새글 파일:Intel TDX Memory.png 편집 요약 없음 최신
- 04:492023년 4월 9일 (일) 04:49 차이 역사 −4 잔글 Virtual instruction set computing 편집 요약 없음 최신
- 04:482023년 4월 9일 (일) 04:48 차이 역사 +1 잔글 Trusted computing base 편집 요약 없음
- 04:482023년 4월 9일 (일) 04:48 차이 역사 0 잔글 Trusted computing base 편집 요약 없음
- 04:472023년 4월 9일 (일) 04:47 차이 역사 +40 새글 TCB Trusted computing base 문서로 넘겨주기 최신 태그: 새 넘겨주기
- 04:472023년 4월 9일 (일) 04:47 차이 역사 +1,246 새글 Trusted computing base 새 문서: 분류: 시스템 보안 == 개요 == Trusted computing base (TDB)란 컴퓨터 시스템에서, 보안측면에서 어떠한 시스템을 만들었을 경우에 절대 보안 취약점이 일어나지 않을 것이라고 상정하는 보안상 취약할 수 있는 부분을 하드웨어, 펌웨어, 소프트웨어 상에서 통틀어 칭하는 용어이다. TDB에 버그가 있을 경우에는 전체 시스템에 보안 취약점을 일으킬 수 있다. TDB밖에 있는...
- 04:412023년 4월 9일 (일) 04:41 차이 역사 +4,773 새글 Trust domain extensions 새 문서: 분류: CPU 분류: 하드웨어 기반 보안 분류: 시스템 보안 분류: 가상화 ==개요== Intel Trust Domain Extensions (TDX)는 SGX에서 더욱 나아가, VMX기능을 확장하여 Untrusted hypervisor환경에서도 VM을 안전하게 하드웨어의 도움으로 VMM그리고 다른 Domain에서 분리하여 안전하게 돌릴 수 있도록 하는 기술이다. Intel trusted domain extensions (TD)은 Intel TDX에서 사용하는 Prote... 태그: 시각 편집: 전환됨
- 03:332023년 4월 9일 (일) 03:33 차이 역사 +16 새글 파일:SEAM Module flow.png 편집 요약 없음 최신
- 02:402023년 4월 9일 (일) 02:40 차이 역사 +28 새글 분류:하드웨어 기반 보안 새 문서: 분류: 시스템 보안 최신
2023년 4월 6일 (목)
- 05:392023년 4월 6일 (목) 05:39 차이 역사 +4,951 새글 The Design and Implementation of Hyperupcalls 새 문서: 분류: 시스템 논문 Nadav Amit, Michael Wei USENIX 2018 Annual Technical Conference ==개요== eBPF를 사용해서 Hyperupcall이라는 것을 만들어 Hypervisor가 Upcall처럼 Guest와 Context change없이 Guest가 요구하는 동작을 안전하게 수행하도록 하여서 Guest OS와 Hypervisor사이의 Semantic Gap을 없얬다. ==Motivation== Hardware virtualization은 다양한 이점을 가져왔지만, Isolation을 위해서 Semantic Gap이 ... 태그: 시각 편집: 전환됨
2023년 4월 5일 (수)
- 10:542023년 4월 5일 (수) 10:54 차이 역사 +34 새글 분류:네트워크 보안 새 문서: 분류: 컴퓨터 네트워킹
- 10:542023년 4월 5일 (수) 10:54 차이 역사 +3,184 새글 네트워크 보안 새 문서: 분류: 네트워크 보안 == 개요 == # 메시지 인증 # 전자서명 # 종단점 인증 == 메세지 인증 == === MAC (message authentication code) === # 송신자는 메시지 m을 생성한 후 s와 접합하여 m + s를 만든다. 그 다음 해시를 계산해 낸다. H(m + s) # 송신자는 MAC을 메시지 m 에 첨부하여 확장메시지를 수신자에게 보낸다. # 수신자는 확장 메시지를 받아, 이미 알고 있는 s 를 이용하여 해시... 최신
- 10:542023년 4월 5일 (수) 10:54 차이 역사 0 잔글 분류:애플리케이션 계층 편집 요약 없음 최신