きゅうり。

主にCTF関係のことを書いていく気がします

crypto

z3 を使ってみる

SAT/SMTソルバであるz3を使ってCTFの問題を解いてみた、という記事。 m1z0r3内の勉強会でz3を取り扱ったものの、途中で資料作るのがめんどくさくなって問題の解説を放棄してたのでその分ここでwriteupを書きます。 z3pyは導入済みで、大まかな扱い方はわかっ…

Backdoor CTF 2017 writeup

m1z0r3で出てました。2050点で21位、個人的には以下の6問を解きました。 ジャンルは適当につけて、実際に解いた順ではなくジャンルでソート。 ・complex rsa (200, crypto) ・stereotypes (点数忘れた, crypto) ・imagerev (点数忘れた, crypto) ・baby-0x41…

Tokyo Westerns CTF 3rd 2017 writeup

最近全然記事書いてませんでしたが、久しぶりのwriteupです。 (研究やら他の趣味やらで単純にCTF以外のことを色々していたというだけ) m1z0r3として参加して、479点で68位でした。 自分としては以下の4問を解き、204点を入れました。 ・Palindromes Pairs …

WhiteHat Contest 13 writeup

個人で参加してました。2問解いて300pt、48位くらい(忘れた)でした。 なお、開催時間を48時間と勘違いして終了20分後くらいに3問目をsubmitしました。 あと、説明を全然読んでなかったのでフラグ形式がわからずしばらく悪戦苦闘してました。 解いた3問のwr…

ASIS CTF Quals 2017 writeup

m1z0r3で参加、1006ptで51位でした。cryptoを3問解いて523ptを入れました。 なお、終了後すぐDLPも解けたので一応載せておく。 A fine OTP server (crypto 79pt) RSA暗号の暗号文が与えられるが、e=3であり平文も比較的短いので3乗根をとるだけ。後のSecured…

Volga CTF 2017 Quals writeup

m1z0r3として参加して、450ptsで188位でした。 予定があってあまり時間がとれませんでしたが、cryptoを2問解いて250pts入れたのでそのwriteupを書きます。(今回はスクリプトは無し) VC (crypto 50pts) png画像が2枚渡される問題。B.pngはA.pngになんらかの…

0CTF 2017 writeup

0CTF 2017にm1z0r3として参加しました。 266ptで111位でした。WelcomeとServeyを除いた222ptのうち189ptを入れました。 cryptoのintegrityとoneTimePadを解いたのでそのwriteupです。 その他writeup 0CTF 2017 writeup その3 - きゅうり。 (EasiestPrintf) 0…

SECCON2016 Qual Alpha Complex1 writeup

SECCON2016予選のcrypto 300の問題、Alpha Complex1のwriteupです。 4月からに向けてm1z0r3用のcrypto for beginnersみたいな記事(チーム用なので公開予定なし。たぶん。)を書いてたんですが、執筆にあたって色々調べてたら「これAlpha Complex解けんじゃ…

katagaitai勉強会#7 Cryptoパート writeup

2/25(土)のkatagaitai勉強会に参加してきました。感想文とか書くのは苦手なので、かわりにwriteupを書こうと思います。writeupと言いつつ自分が詰まったりしたところだけをまとめた自分用メモという説もあるけど。 ※2017/2/28 22時頃追記:最初は密度が計算…