CTF for ビギナーズのバイナリ講習で使用した資料です。
講習に使用したファイルは、以下のリンク先にあります。
https://onedrive.live.com/redir?resid=5EC2715BAF0C5F2B!10056&authkey=!ANE0wqC_trouhy0&ithint=folder%2czip
CTF for ビギナーズのバイナリ講習で使用した資料です。
講習に使用したファイルは、以下のリンク先にあります。
https://onedrive.live.com/redir?resid=5EC2715BAF0C5F2B!10056&authkey=!ANE0wqC_trouhy0&ithint=folder%2czip
Introduction to kprobes, a Linux feature which allows you to set break points in a kernel address space. This presentation also introduces a book about kprobes and sysfs.
Introduction to kprobes, a Linux feature which allows you to set break points in a kernel address space. This presentation also introduces a book about kprobes and sysfs.
Red Hat Enterprise Linux 7 上でのDockerのステータス、使い方の解説と、Project Atomicをはじめとして、CentOS Atomic Host, RHEL Atomic Hostの解説。CentOS Atomic HostでKubernetesを使うチュートリアル。
26. Kernel Mode Linux
Toshiyuki Maezawa et al. – The University of Tokyo
Maeda Toshiyuki. Kernel mode linux: Toward an operating system
protected by a type theory. In Advances in Computing Science –
ASIAN 2003. Programming Languages and Distributed Computation
Programming Languages and Distributed Computation. Springer
Berlin Heidelberg, 2003.
26
27. Overview – Kernel Mode Linux
By 前田 俊行先生 (当時 東大旧米澤研)
• 型検査をパスしたプログラムがisolation
を満たす安全性があることを証明できる
「型付きアセンブリ(TAL)」を利用
• カーネルがTALをロード時に型検査、コ
ンパイルしてカーネル空間で動かす
27
34. Singularity, Verve
Microsoft Research
Galen C. Hunt and James R. Larus. Singularity: rethinking the software
stack. SIGOPS Operating Systems Review, 41(2):37–49, 2007.
Jean Yang and Chris Hawblitzel. Safe to the last instruction:
automated verification of a type-safe operating system. In Proc. PLDI,
2010.
34
35. Singularity Overview
By MSR
• MSの色々野心的な研究用OS
• Software Isolated Process + Microkernel
• ほぼすべての実装がC#製でType safe
• Type safeなMSILアセンブリを実行する
35
62. Nebulet
• (Going to be) A microkernel that
implements a WebAssembly "usermode"
that runs in Ring 0.
• Rust製
• SIP + Microkernel + Rust
• ロマンがやばい
• アツさに比べて割と無名
62