2019年が終わろうとしています あけおめ～さて2020年になりました。歴史が長い形式手法の今後を占うため、過去と直近の出来事を振り返りたいと思います。 ツッコミやタレコミは私のTwitter宛かあなたのブログかその他経路でお願いします～ シンボリック実行…

2019/12/21（土）から2019/12/22（日）の2日間にかけてSECCONの決勝が開催されました。 私は友利奈緒としてChallenge 4の出題をしました。好評なようで良かったです。 今年は国内大会と国際大会が同じスケジュール・問題セットで実施されました。 試合時間は…

今更の宣伝ですが、Secure旅団の同人誌第4弾『セキュリティ畑でつかまえて』に「K Framework を用いた脆弱性検出支援」という題で寄稿しました。 先の技術書典6で頒布されました。 現在電子版がBoothで販売されています。 セキュリティ畑でつかまえて - Secu…

2018年7月21日の午後に第14回カーネル／VM探検隊が開催されました。初参加でしたが、思い切って登壇してみました。 kernelvm14.peatix.com スライドへのリンク込の登壇者リスト： 第14回カーネル／VM探検隊 タイムテーブル YouTubeアーカイブ配信： www.yout…

有志のまとめ nekotricolor.hatenablog.com nekotricolor.hatenablog.com IPA http://www.ipa.go.jp/security/keihatsu/index.html 安全なウェブサイトの作り方 別冊：安全なSQLの呼び出し方 別冊：ウェブ健康診断仕様 SSL/TLS暗号設定ガイドライン ～安全な…