Tag Archives: #programming

English [HeroCTF 2024] [Prog 864 – Antwarz PVE – Easy & Medium] Write Up

Description

These challenges are categorized as easy and medium difficulty. In these challenges, you will need to code your own bot to control an ant colony. In the first two challenges (Easy and Medium), you compete against pre-configured bots. If you succeed, you enter the PVP arena, where you will compete against other players.

Scoring ends 10 minutes before the CTF concludes, and the team with the most points will be awarded a flag worth 10 points. While this flag might not seem like much, it could be the deciding factor between second or first place! You can find more information about the game in the documentation section of the dedicated platform.

It’s worth noting that the goal of these challenges is not to exploit the platform, but to create the best possible bot. Any detected security vulnerabilities should be reported, as exploiting them to solve a challenge would invalidate the submission.

You can access the source code of the game engine through the first challenge of the series if you wish to set it up locally.

nc antwarz.heroctf.fr 8080

Format: Hero{flag} Author: Log_s

Continue reading [HeroCTF 2024] [Prog 864 – Antwarz PVE – Easy & Medium] Write Up

English [sCTF 2016] [CODE 130 – I Can’t Get No Satisfaction] Write Up

Description

I’ve got another task for you involving my little language, Prop!

It consists of the following expressions (denoted e):

  • Boolean constants, written true and false.
  • Boolean variables, written as any alphabetical string.
  • Implies, written e -> e.
  • Equivalence, written e <-> e.
  • Negation, written !e.
  • And, written e && e.
  • Or, written e || e.

You can also parenthesize any expressions or subexpressions (so, you can write (a || b) && c). Here’s another example program:

(a || b) && c && d && (!d || b) || (b -> c) && (d <-> a)

This time, I’ve determined that the attached program is satisfiable, but I want to know the actual values that make this program satisfiable. Can you find me a satisfying model, please? When you’ve found one, submit a GET request to our server. Any missing keys are considered false.

Here’s an example request:

http://problems3.2016q1.sctf.io:11420/?a=true&b=true&c=false

This request would treat a and b as true and c and the rest of the variables as false. Thus, it’s only necessary to assign the true keys to the value true.

 

 

Continue reading [sCTF 2016] [CODE 130 – I Can’t Get No Satisfaction] Write Up

English [HackIM 2016] [Programming 500 – Programming Question 5] Write Up

Description

Programming Question 5 500 pts

Dont blink your Eyes, you might miss it. But the fatigue and exhaustion rules out any logic, any will to stay awake. What you need now is a slumber. Cat nap will not do. 1 is LIFE and 0 is DEAD. in this GAME OF LIFE sleep is as important food. So… catch some sleep. But Remember…In the world of 10×10 matirx, the Life exists. If you SLOTH, sleep for 7 Ticks, or 7 Generation, In the game of Life can you tell what will be the state of the world?

The world- 10×10

0000000000,0000000000,0001111100,0000000100,0000001000,0000010000,0000100000,0001000000,0000000000,000000000

Continue reading [HackIM 2016] [Programming 500 – Programming Question 5] Write Up