遅くなりましたが、Kaspersky CTFのwriteupです。 Cryptoを2問だけ解いたので書きます。 （当初はあまり書く気がなかったものの、勉強会中解き終わって暇なので書きます） Security home cameras (crypto 300) 謎の暗号化されたpngが渡される問題。問題文に…

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