https://play.picoctf.org/practice/challenge/160
What integer does this program print with arguments 4134207980 and 950176538? File: chall.S Flag format: picoCTF{XXXXXXXX} -> (hex, lowercase, no 0x, and 32 bits. ex. 5614267 would be picoCTF{0055aabb})
AArch64のアセンブリプログラムを読み、実行結果が何であるかを問うもの。
最初は、アルゴリズムを理解する必要があると考え律儀に読んでいた。
そうしているうちに、ふと、実行環境を用意して実行すればいいだけなのではないかと気がついた。
$ aarch64-linux-gnu-gcc chall.S $ qemu-aarch64-static -L /usr/aarch64-linux-gnu/ ./a.out 4134207980 950176538
https://play.picoctf.org/practice/challenge/121
keygenme-trial.py
Pythonスクリプトを読み解くことで解くようだ。読み解くことで次のことがわかる。
key_part_static1_trialkey_part_dynamic1_trialkey_part_static2_trialkey_full_template_trialcheck_key という関数という関数があり、ユーザが入力した文字列 user_key と bUsername_trial をSHA256でハッシュ化したものと比較している。decrypt_full_version という関数で、暗号化された文字列 full_version を user_key を使って復号している。bUsername_trial は FREEMAN という文字列である。復号鍵は、 FREEMAN をSHA256でハッシュ値を計算し、その16進数表現での一部の文字を取りだして並べかえたもののようだ。
Racketで計算してみる。
https://play.picoctf.org/practice/challenge/64
Decrypt this message.
ヒントにはシーザー暗号のことが書かれていたので、これで復号すればよさそう。
問題は鍵がわからないことである。アルファベットだけで26通り試す必要がある。
CyberChefで頑張ってもよいが、プログラムで解いてみることにした。
Racketで無駄に細かく実装してしまった。
The one time pad can be cryptographically secure, but not when you know the key. Can you solve this? We've given you the encrypted flag, key, and a table to help UFJKXQZQUNB with the key of SOLVECRYPTO. Can you use this table to solve it?.
table.txt というファイルがあり、アルファベットの表のようなものがある。
どこかで見覚えがあったので、次の本で調べてみると、どうやらウィジュネル暗号というものらしい。
鍵の文字の列を見て、次に平文の文字の行を見て、交差するところの文字が暗号文の文字になるらしい。
表を生成して、手作業でやるのと同じ要領をプログラムとして実装してみた。
https://play.picoctf.org/practice/challenge/68
The numbers... what do they mean?
リンクはPNG画像を指している。画像ビューアで開くと、数列が書かれている。
{や}があることから、フラグそのものの可能性がある。
色々考えたすえ、ASCIIコード表を眺めてみると、どうやら画像の数字は文字A(0x41)からの距離らしいことがわかった。
Racketで復号してみる。
https://play.picoctf.org/practice/challenge/104
I wonder what this really is... enc ''.join([chr((ord(flag[i]) << 8) + ord(flag[i + 1])) for i in range(0, len(flag), 2)])
encというファイルには、文字化けする謎のバイナリデータが書かれている。 問題には以下のようなコード片があるが、これが暗号化に使われたコードだろう。
''.join([chr((ord(flag[i]) << 8) + ord(flag[i + 1])) for i in range(0, len(flag), 2)])
このコードのアルゴリズムは、要約すると次のようなものになる。
ということは、逆の操作を実装すれば復号できるはず。
Racketを使って復号してみることにした。
