Logs
IPSJ ONE で穐山が講演 — 2023/03/04
IPSJ ONE という情報処理学会の主催するイベントにて、穐山が「ソフトウェアの仕組みを無視する攻撃からも秘密データを守る OS を目指して」と題して講演しました。
Formal Method に関する講演 — 2022/12/08
さきがけ研究の一環として、JAXA （宇宙航空研究開発機構）の小林努博士に来てもらい Formal Method について講演して頂きました。
Rust 勉強会 — 2022/10/27
今学期のゼミは研究ミーティング、English Workshop の他に Rust 勉強会を開催しています。 今週はついに Rust の大きな特徴である「所有権」が出てきました。
ボードゲーム大会 — 2022/09/29
第 1 回ゼミの終了後、みんなでボードゲームをして懇親しました。 配属されたばかりの 3 回生ですが、とても盛り上がり一気に仲良くなってもらえたと思います！
JST さきがけに研究提案が採択 — 2022/09/20
JST さきがけに穐山の研究提案「アドレスの秘匿によるサイドチャネル攻撃に頑健な OS」が採択されました。 本提案は、ソフトウェアによる保護を乗り越えてメモリ上のデータを読み出せる攻撃（具体的には Spectre や RowHammer）を、亜種まで含めて一括して本質的に防ごうという取り組みです。
