ヾノ*>ㅅ<)ノシ帳

ノンジャンルのふりーだむなブログです。

[論文紹介]Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints (NDSS 2019)

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

PYNQでLチカしてみる~Verilog&Chisel3~

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

技術書典6でSecure旅団に寄稿しました

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

0ctf 2019 Quals の babyrsa (crypto) の Writeup

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 で登壇しました

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

UnityCamをビルドしようとしたら __imp__snprintf エラーでビルドできなかった

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

第14回カーネル/VM探検隊 で登壇しました

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

何としてでもWiresharkのsuriwireプラグインを使いたい!

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

You may need a patch for Triton when gcc version is 8.1.0

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

Arch Linuxマシンで pacman -Syu したら、ログイン画面が出てこなくなって大変だった

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 7向けのメモ

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)です。今日はかわいく友利奈緒に正装するための肉体改造についてのお話です。 まず、このブログエントリーを読んでください。 女性のダイエットは失敗するようにできて…

今年も金沢ミニキャンプでTomoriNaoシールを配りました。

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

友利奈緒の好きなところ100個

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

Speaker Deckにまつわる実験

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

nagoya.bin(名古屋低レイヤー勉強会)の第1回に参加しましたヾノ*>ㅅ<)ノシ

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

VirtualBoxのWindows 10 VMに外付けHDDをマウントするのが大変だった

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

研究生活に役立つDocker入門

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

Wi-Fiが突然死んだと思いきやwpa_supplicantのロードエラーが原因だった

当方の環境は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 デ…

3000~5000円台の最近のイヤホンでオススメなやつ

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

Trend Micro CTF 2017 Qual - rev100, osint100, misc100 の Writeup

CTF

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

S2Eの差分ビルドがうまくいかなかった

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

印刷博物館に行ってきた

マツコの知らない世界というテレビ番組で、絶対フォント感を持つフォント好きの数学教師が出演しました。 自分が好きなフォント、ロダン Pro DBで事項紹介用のフリップをマツコさんに見せたところ、 「普段のフリップのフォントの方が見やすい」と一蹴された…

SporaのChrome font.exeを動かしてみたけど、Decryption Errorでコンソールが表示できなかった話

例の「マルウェア解析に必要な素養」に書きましたが、2017年1月からランサムウェアのSporaが出現しています。 一般的なランサムウェアが壁紙を変えて脅迫文を表示する一方で、SporaはWebコンソール(管理画面)を犯罪者とのやり取りに使う変わったランサムウ…

DEF CON CTF 2017 Quals - smashme, beatmeonthedl, mute の 簡易Writeup

TomoriNaoでDEF CON CTF 2017 Quals(2017/4/28 9:00 JST - 2017/5/1 9:00 JST;48時間)に出ていました。 チームのSlackには私しかいなくて、ただただ寂しかったです。 TomoriNaoは 126 pts. で 122位 でした。 簡易Writeupと称して簡単なバイナリの挙動の…