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

はい、シンボリック実行だいすきクラブの友利奈緒です。今回は今年のNDSSで採択された "Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints" の論文紹介です。

2019/01/20(日) に開催された情報科学若手の会冬の陣2019 #wakate2019w に登壇しました。 wakate.connpass.com 情報科学若手の会は、シンポジウムの要領で毎年秋頃に２泊３日の合宿する会のようですが、まだ参加したことがありません。 今回の冬の陣はその非…

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

I found that Symbolic Engine Triton can't be compiled with gcc 8.1.0. github.com I have to apply a patch below to fix compile error. diff --git a/src/libtriton/CMakeLists.txt b/src/libtriton/CMakeLists.txt index 7e644a77..2083d23a 100644 -…

2017年10月29日（日）に開催されたnagoya.binという低レイヤーな勉強会に参加しました。この日のために肉体改造と2 kg減量しました。その程度の減量って意味あるのと思うかもしれませんが、「肉体改造」が肝です。この話は別の機会に書きます。 nagoyabin.co…