<Input type="Submit" value="Give Us Coffee"/>

	</form>
</body>

これは、エイプリルフールのジョークRFC（RFC 2324 - Hyper Text Coffee Pot Control Protocol）ですね。

RFCの存在は知ってましたけど、実際に使うのは今回が初めてです。

普通にGETを送ると、カフェインが足りないと言って怒られます。

GET /coffeepot? HTTP/1.1
Host: chal.tuctf.com:32000
Connection: keep-alive
Cache-Control: max-age=0
Upgrade-Insecure-Requests: 1
DNT: 1
User-Agent: Mozilla/5.0 (Windows NT 6.2; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/78.0.3904.108 Safari/537.36
Accept: text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,image/apng,*/*;q=0.8,application/signed-exchange;v=b3
Accept-Encoding: gzip, deflate
Accept-Language: ja,en-US;q=0.9,en;q=0.8

HTCPCP/1.0 404 Not enough caffeine here :(
 Server: JavaServer
 Content-Length: 0
 Content-Type: null

いろいろと試した結果、teapotに対してリクエストを送るのが正解でした。

$ curl -X BREW http://chal.tuctf.com:32000/teapot
HTCPCP/1.0 418 I'm a teapot. Go to /broken.zip
 Server: JavaServer
 Content-Length: 0
 Content-Type: Short and stout

$ curl -X BREW http://chal.tuctf.com:32000/broken.zip
HTCPCP/1.0 200 Success!
 Server: JavaServer
 Content-Length: 6965888
 Content-Type: application/octet-stream

Warning: Binary output can mess up your terminal. Use "--output -" to tell
Warning: curl to output it to your terminal anyway, or consider "--output
Warning: " to save to a file.

$ curl -X BREW http://chal.tuctf.com:32000/broken.zip --output broken.zip
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 6802k    0 6802k    0     0   771k      0 --:--:--  0:00:08 --:--:-- 1123k

$ file broken.zip
broken.zip: data

$ unzip broken.zip
Archive:  broken.zip
warning [broken.zip]:  110 extra bytes at beginning or within zipfile
  (attempting to process anyway)
   creating: broken/
  inflating: broken/broken.img
  inflating: broken/flag.txt

broken.zip は fileコマンドでZipとして認識されませんが、unzipコマンドで普通に解凍できました。

[Mega]: Broken

Challenge

Sometimes things that are broken have been broken on purpose.

Solution

添付ファイルがありません。どうやら、先程の問題で取れた broken.img を使うようです。

フラグはstringsで見つかりました。

Flag: TUCTF{D1S4ST3R_R3C0V3RY}

[Crypto]: Something in Common

Challenge

We’ve managed to gather the details in the given file. We need a professional cryptographer to decipher the message. Are you up to the task?

Attachment:

• rsa_details.txt

以下が中身です。
n = 5196832088920565976847626600109930685983685377698793940303688567224093844213838345196177721067370218315332090523532228920532139397652718602647376176214689

e1 = 15

e2 = 13

c1 = 2042084937526293083328581576825435106672034183860987592520636048680382212041801675344422421233222921527377650749831658168085014081281116990629250092000069

c2 = 199621218068987060560259773620211396108271911964032609729865342591708524675430090445150449567825472793342358513366241310112450278540477486174011171344408

Solution

“rsa ctf c1 c2 e1 e2"とか、“Common Modulus Attack” をキーワードにでググるのがコツです。

過去のCTF (Square CTF 2018) でほぼ同じ問題があり、Writeupが見つかります。

他の方が書いたWriteupそのままになっちゃうので、ここにはコードは載せません。

$ python rsa_common_solve.py
TUCTF{Y0U_SH0ULDNT_R3US3_TH3_M0DULUS}

[Crypto]: Crypto Infinite

Challenge

Crypto has been around forever. Does this challenge go on forever? Let us know in the comments below or find the flag to prove us wrong.

nc chal.tuctf.com 30102

無駄にレベルが分かれていて、Level 0 ~ 4 は全く同じコードで解けたので、そこまでを載せておきます。Level 5以降は不明です。

まずncでアクセスしてみます。

$ nc chal.tuctf.com 30102

Welcome to the future.

Can you discover infinity?



Level 0

Give me text:
a
A encrypted is _|

Decrypt .-| |.- [. .-| |.- |- [] > _| |.- .<
Too slow!

$ nc chal.tuctf.com 30102

Welcome to the future.

Can you discover infinity?



Level 0

Give me text:

ABCDEFGHIJKLMNOPQRSTUVWXYZ encrypted is _| |_| |_ ] [] [ -| |-| |- ._| |._| |._ .] [.] [. .-| |.-| |.- v > < ^ .v .> .< .^

Decrypt .] |- [.] < v |_ < |._ []
Too slow!

以下、が書いたスクリプトです。（たぶん途中のやつ。この後、更に編集したのが別PCに残っているので、後で差し替えておきます。）

(2020/05/06 - 差し替えたんだっけ？ もう覚えてないや。。。)

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

#!/usr/bin/env python
# -*- coding:utf-8 -*-
from pwn import *

char = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
char_list = list(char)

host, port = 'chal.tuctf.com', 30102
s = remote(host, port)
s.recvuntil('Give me text:\n')
s.sendline(char)
s.recvuntil("encrypted is ")
enc = s.recvuntil('\n')[:-1]
enc_list = enc.split(" ")

while True:
    msg = s.recvregex('Decrypt |Congratulations')
    if "Congratulations" in msg:
        s.recvuntil('Give me text:\n')
        s.sendline(char)
        s.recvuntil("encrypted is ")
        enc = s.recvuntil('\n')[:-1]
        enc_list = enc.split(" ")

    cipher = s.recvuntil('\n')[:-1]
    cipher_list = cipher.split(" ")
    print cipher_list

    str = ""
    for c in cipher_list:
        for i in range(len(char_list)):
            if c == enc_list[i]:
                str += char_list[i]
                break
    print(str)
    s.sendline(str)
    print s.recvline()
    print s.recvline()

print s.recvall()

[Reversing]: faker

Challenge

One of these things is not like the other. Can you uncover the flag?

Hint: Is there anything hidden inside the binary?

Attachment:

• faker (ELF 64-bit)

Solution

Ghidraでコードを確認します。printFlag()という関数と、それを呼んでいるA(), B(), C()関数が見つかります。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

void printFlag(char *param_1)

{
  char *__dest;
  size_t sVar1;
  int local_30;
  
  __dest = (char *)malloc(0x40);
  memset(__dest,0,0x40);
  strcpy(__dest,param_1);
  sVar1 = strlen(__dest);
  local_30 = 0;
  while (local_30 < (int)sVar1) {
    __dest[local_30] = (char)((int)((((int)__dest[local_30] ^ 0xfU) - 0x1d) * 8) % 0x5f) + ' ';
    local_30 = local_30 + 1;
  }
  puts(__dest);
  return;
}

void A(void)

{
  printFlag("\\PJ\\fCaq(Lw|)$Tw$Tw@wb@ELwbY@hk");
  return;
}

void B(void)

{
  printFlag("\\PJ\\fCTq00;waq|w)L0LwL$|)L0k");
  return;
}

void C(void)

{
  printFlag("\\PJ\\fChqqZw|0;w2l|wELL(wYqqE$ahk");
  return;
}

main()をくっつけて、コンパイルして実行してみます。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

#include <stdio.h>

void printFlag(char *param_1)

{
  char *__dest;
  size_t sVar1;
  int local_30;

  __dest = (char *)malloc(0x40);
  memset(__dest,0,0x40);
  strcpy(__dest,param_1);
  sVar1 = strlen(__dest);
  local_30 = 0;
  while (local_30 < (int)sVar1) {
    __dest[local_30] = (char)((int)((((int)__dest[local_30] ^ 0xfU) - 0x1d) * 8) % 0x5f) + ' ';
    local_30 = local_30 + 1;
  }
  puts(__dest);
  return;
}

void A(void)

{
  printFlag("\\PJ\\fCaq(Lw|)$Tw$Tw@wb@ELwbY@hk");
  return;
}

void B(void)

{
  printFlag("\\PJ\\fCTq00;waq|w)L0LwL$|)L0k");
  return;
}

void C(void)

{
  printFlag("\\PJ\\fChqqZw|0;w2l|wELL(wYqqE$ahk");
  return;
}

int main()
{
    A();
    B();
    C();
}

以下が結果です。どれもFake Flagっぽいです。

$ ./faker_solve.o
TUCTF{n0p3_7h15_15_4_f4k3_fl46}
TUCTF{50rry_n07_h3r3_317h3r}
TUCTF{600d_7ry_bu7_k33p_l00k1n6}

GhidraでStringsサーチしたら、似たようなものがもう1個見つかりました。

同じようにコンパイルして実行するとフラグが得られます。

ここから下はCTF終了後に行った復習です。（他の方のWriteupとか参照してます。）

[Reversing]: object

Challenge

We’ve recovered this file but can’t make much of it.

Hint: Do you see a procedural way to recover the password?

Attachment:

• run.o (ELF 64-bit)

Solution

Ghidraでソースを確認します。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

void main(void)

{
  void *__s;
  
  setvbuf(stdout,(char *)0x0,2,0x14);
  setvbuf(stdin,(char *)0x0,2,0x14);
  __s = malloc(0x40);
  memset(__s,0,0x40);
  printf("Enter password:\n> ");
  __isoc99_scanf(&DAT_00100218,__s);
  printf("pass: %s\n",__s);
  checkPassword(__s);
  return;
}


undefined8 checkPassword(char *param_1)

{
  size_t sVar1;
  undefined8 uVar2;
  uint local_10;
  
  sVar1 = strlen(param_1);
  if ((int)sVar1 == passlen) {
    local_10 = 0;
    while ((int)local_10 < passlen) {
      if ((byte)(~(param_1[(int)local_10] << 1) ^ 0xaaU) != password[(int)local_10]) {
        printf("Incorrect password\nError at character: %d\n",(ulong)local_10);
        return 1;
      }
      local_10 = local_10 + 1;
    }
    puts("Correct Password!");
    uVar2 = 0;
  }
  else {
    puts("Close, but no flag");
    uVar2 = 1;
  }
  return uVar2;
}

入力したパスワードを1文字ずつ処理しています。（whileのすぐ下のところ）

左シフトしたものを、反転 (XOR 0xFF) して、さらに XOR 0xAA したものを、比較用データと比較してます。

比較用データもGhidraで見つかりました。

XOR 0xAA の XOR 0xFF は XOR 0x55 なので、この比較用データを XOR 0x55 してから右シフトします。

python3 -c 'print(*[chr(((int(x,16))^0x55)>>1) for x in "FD FF D3 FD D9 A3 93 35 89 39 B1 3D 3B BF 8D 3D 3B 37 35 89 3F EB 35 89 EB 91 B1 33 3D 83 37 89 39 EB 3B 85 37 3F EB 99 8D 3D 39 AF".split()])' | tr -d " "
TUCTF{c0n6r47ul4710n5_0n_br34k1n6_7h15_fl46}

[Reversing]: core

Challenge

We were able to recover a few files we need analyzed. Think you can get anything outta these?

Hint: How is the data manipulated before the crash? Do you know any of the characters?

Attachment:

• run.c
• core

run.cの中身：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

#include <stdio.h>  // prints
#include <stdlib.h> // malloc
#include <string.h> // strcmp
#include <unistd.h> // read
#include <fcntl.h>  // open
#include <unistd.h> // close
#include <time.h>   // time

#define FLAG_LEN 64
char flag[FLAG_LEN];

void xor(char *str, int len) {
	for (int i = 0; i < len; i++) {
		str[i] = str[i] ^ 1;
	}
}

int main() {
    setvbuf(stdout, NULL, _IONBF, 20);
    setvbuf(stdin, NULL, _IONBF, 20);

	// Read the flag
	memset(flag, 0, FLAG_LEN);
	printf("> ");
	int len = read(0, flag, FLAG_LEN);

	xor(flag, len);

	char buf[32];
	read(0, buf, 128);

    return 0;
}

Solution

gdbでcore解析しようとして、分からなかったやつです。

run.c をベースに、フラグの一部 TUCTF をXOR ^ 1したものを、coreに対してstringsサーチするだけでした。