# duksctf

## Bunch of sec. enthusiasts who sometimes play CTF

The binary ask for an input and do a ton of computation on it. solved using an angr script.

### Description

Take your time to solve this one until the end of the CTF…

### Details

Points: 474

Category: reverse

Validations: 4

### Solution

After launching the file a nice cow in ascii art was shown.

 /             \
((__-^^-,-^^-__))
-_---' ---_-'
<__|o 'o|__>
\    /
): :(
:o_o:
"-"  03:19:05 remaining, take your time!!!

what
Nope, Try again!


Opening the file in ida pro shown a mess of calculation on the input.

It seems that is a nice candidate for angr.

We wrote a simple python script to bruteforce the flag.

import angr, simuvex, logging

logging.basicConfig(level=logging.DEBUG)