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

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

9月5日、出勤前に寄り道して、明治大学博物館（明治大学の駿河台キャンパス）の特設展として開催されていた「見えているのに見えていない！立体錯視の最前線」を観覧してきました。 「駿河台」から連想されるように大学の周りは坂で、ちょっとしたハイキング…

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

これは備忘録です。かなり雑な書き方でメモります。 Verilog編 参考： Chisel + PYNQでLチカ（お正月FPGAあそび） - /home/tnishinaga/TechMEMO Xilinxの Vivado Design SUite - HLx Edition 2019.1 をダウンロードしてインストール 要アカウント登録 インス…

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

2019/3/23 ～ 3/24 ぐらいに開催された0ctf Qualsに参戦しました。 唯一解いたbabyrsa (crypto)のWriteupを残します。 babyrsa (crypto) 問題文 RSA challs are always easy, right? Even if N is not a integer. 暗号化関数（rsa.sage）はこちら。 #!/usr/b…

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

UnityCamをVisual Studioでビルドしようとしたら、 LNK2001 外部シンボル "impvsnwprintf" は未解決です。 というエラーが出た。 以下対処方法。 Visual Studioのソースツリーにある、UnityCamServiceプロジェクトを右クリックして、「プロパティ」をクリッ…

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

Arch LinuxのWiresharkにsuriwireプラグインをインストールする話。 suriwireプラグインは、WiresharkでSuricataのEVEログを扱えるようにするためのluaスクリプトである。 Wiresarkでluaスクリプトを置く場所は、メニューバーの [Help] - [About Wireshark] …

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 -…

2週間以上経って、今日ようやく直った。くぅ～ 構成： Distro: Arch Linux Display Manager: LightDM Window Manager: awesome 症状： 4月上旬に、2週間以上ぶりにpacman -Syu したら LightDMが起動しなくなった Cttl + Alt + F3 で tty3 を開くとCUIのログ…

4月29日（日）午前、上野公園の北側に位置する東京国立博物館の平成館で開催されていた特別展「名作誕生－つながる日本美術」 を観覧しました。 ゴールデンウィーク中なので激混みするかと思いましたが、「特別展」のチケット売り場は空いてましたし、館内は…

これは 友利奈緒 Advent Calendar 2017 の9日目の記事です。 ※アフィリエイトっぽいですが、完全に個人の趣味で書かれた記事です。 ども、友利奈緒（@K_atc）です。 だいぶ前の話になりますが、スポーツ庁が、革靴ではなくスニーカーを履いて通勤するのを推…

angrに慣れている人には大分便利なメモのはず hackmd.io

これは 友利奈緒 Advent Calendar 2017 の10日目の記事です。 ども、友利奈緒（@K_atc）です。今日は図書館だよりとして、今年入庫して誰にも読まれてない本1をご紹介します（涙） 気になった方はぜひ図書館にお越しください2。 520 建築学 『建築知識』2017…

これは 友利奈緒 Advent Calendar 2017 の6日目の記事です。 ども、友利奈緒（@K_atc）です。今日は正装（コスプレ）する前日＋当日＋後日にしていることと心労を述べたいと思います。 数日前 歩き方の矯正 がに股にならないように気をつけて歩くように心が…

これは 友利奈緒 Advent Calendar 2017 の5日目の記事です。 ども、友利奈緒（@K_atc）です。今日は正装するときに役立つかも？なお話です。 ベースメイクをしてみませんか？ ベースメイクって？ 概念的に書くと、顔全体を0（フラット）にするために行う基礎…

この記事は 友利奈緒 Advent Calendar 2017 4日目の記事です。 ども、友利奈緒（@K_atc）です。今日はかわいく友利奈緒に正装するための肉体改造についてのお話です。 まず、このブログエントリーを読んでください。 女性のダイエットは失敗するようにできて…

これは 友利奈緒 Advent Calendar 2017 3日目の記事です。 セキュリティ・ミニキャンプ in 北陸 2017（金沢）に焼きとうもろこし担当で参加しました。 今年も天候が良かったです。残念ながらグリルは用意されていませんでした。 今年はWebとカーネルの脆弱性…

これは 友利奈緒 Advent Calendar 2017 1日目の記事です。 カレンダーはまだ空きがあるのでなんか書きたくなったらどうぞー。 ども、友利奈緒（@K_atc）です。 皆さんのあの頃の感動を取り戻すべく、「私が思う」友利奈緒（本家）の好きなところ100個を挙げ…

初回のアップロード ファイル名→upload-test.pdf タイトル→test 説明文→説明文A URL→https://speakerdeck.com/katc/test 変更した同名のファイルを再アップ URLは変わらない 変更かつファイル名を変更したファイルを再アップ URLは変わらない ファイル名→upl…

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

VirtualBoxのバージョンは5.1.128です。 Windows 10のVMでNTFSフォーマットされた外付けHDDをマウントするのが大変だったので解決手順を残しておきます。 USBデバイスを有効にするために、VirtualBox Extension Packをインストール https://www.virtualbox.o…

※走り書きです。 Dockerとは？＋注意書き ※Linux限定で書いてしまうが、WindowsやmacOSでも利用可能 超軽量のコンテナ型仮想化を実現するOSSソフトウェア。VMのイメージで扱うと大変危険。 コンテナはシステムの資源を間借できる高機能chroot環境と思うのが…

当方の環境はArch Linuxです。カーネルバージョンはこちら： K_atc% uname -a Linux K_atc 4.12.8-2-ARCH #1 SMP PREEMPT Fri Aug 18 14:08:02 UTC 2017 x86_64 GNU/Linux PCを起動したらWi-Fi（wlp3s0）がunavailableで死んでいました。 K_atc% nmcli d デ…

タイトルの「最近の」は発売日が「最近」ではなく、「最近」の売り場で置かれているを意味します。 僕は高いイヤホンを大学で無くした経験があるので、普段は安いイヤホンを持ち歩いています。 先週耳に入れる部分の蓋が取れるといういつもの壊れ方をしたの…

日本時間で2017/6/24 13:00 - 6/25 13:00に開催されたTrend Micro CTF（TMCTF）にPing-Micで参加しました。時間は24時間です。 ぼっちだったので時間が全然足りんかったです。 以下の3問のWriteupを書きます。18時間かけて成果がこれですよ、はい。 Reversin…

備忘録です。S2Eを一回フルビルド後に、1つのファイルを変更して make -f ../s2e/Makefile しても変更が関知されなかったことがありました。 本家のドキュメントには Updating S2E You can use the same Makefile to recompile S2E either when changing it …