Challenge: link Đề bài cho ta một file có định dạng Intel hex, ta có thể chuyển đổi qua file nhị phân bằng lệnh: objcopy $ objcopy -I ihex hello.hex -O binary hello.bin Kiểm tra qua các string trong binary thì thấy đây có thể là binary của Arduino…
Đề bài cho cả source code, thank God. Bài này gồm hai bước. Bước 1: Tác giả cho gợi ý là SVATTT 2017 đều tìm hoài không ra. Mình thì thấy bước 1 giống với bài ECC -Deamon ở SVATTT 2018 (link). Ở bước này mình nhập vào 1 số…
Piano Challenge: link Đề bài cho ta một file thực thi exe, sau khi upload lên VirusTotal để scan thì mình phát hiện đây chương trình được viết bằng C# Vì được viết bằng C# nên ta sẽ dùng dnSpy để decompile thử. Chương trình sẽ có 12 phím đàn:…
PWN: BarryAllenSource: https://github.com/LKMDang/CTFs/tree/master/MatesCTF2019_Round4/BarryAllen AnalyzingThis challenge comes with a single binary file with a single function: The program is just simple: it calls srand with the difference of the 2 values of microsecond from gettimeofday() as the seed, and then it calls…
babyRSA Similar to https://github.com/nguyenduyhieukma/CTF-Writeups/blob/master/AceBear Security Contest/2019/babyRSA/babyRSA_sol.ipynb CustomService There are 4 options to choose: Encrypt demo: The encryption that use a random generated AES key Decrypt demo: The decryption of demo version Encrypt pro: The encryption that add other…
Store Image Service Challenge: link Hint: Fl4g.php Đề bài là một trang web cho phép ta upload hình ảnh lên server thông qua file hoặc url. Sau khi test mình tìm ra payload: file:///var/www/html/s3rv1c3/Fl4g.php Đây là 1 bài SSRF (Server Side Request Forgery)…
Challenge: link Đề bài cho ta một file thực thi có định dạng ELF, sau khi load vào IDA và mình xem qua các hàm và rename chúng theo chức năng, tất nhiên có thể không đúng hoàn toàn nhưng cơ bản nó vẫn nói lên chức năng của hàm…
House of loopSource: https://github.com/LKMDang/CTFs/tree/master/AceBearCTF_2019/house_of_loop Checksec:The challenge gives us 2 files: an executable and a libc version 2.27. Based on the name of the challenge, I predicted that this challenge was about heap exploitation, which I have done…
This post show you how to approach Angr in order to automate solve anti-debug RE challenges. AngrControlFlow - Naive binary You can grab the challenges at here. The graph above is generated by radare2, with command agfw graph.gifA small note while reversing a large binaries, when you look at…
This maybe too soon to publish the writeup, but I think if I don't do it now I can't do it anymore. Before betting on Angr, I check: Decompiled C code by IDA: No anti-debug, good for automate analysisThe verify() graph has many branches, therefore it possible to do with…