安藤 慎
津山工業高等専門学校 / 総合理工学科情報システム系
400万人が利用する会社訪問アプリ
筑波大学 / 情報学群情報科学類
人間が意識せずに安全なプログラムを書ける世界に興味があります。そのために、最近は専ら静的解析(主に型理論)やLSP実装について学んでいます。また、低レイヤの開発やCTFにも興味があります。
「reversing入門」と題して、バイナリの基本について講義を行いました
「pwn入門」と題して、基本的なpwnの問題の解き方について発表しました
津山工業高等専門学校 / 総合理工学科情報システム系