Termux - a terminal emulator application for Android OS extendible by variety of packages.

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

https://olimpiadi-informatica.it/

The best tool for finding one gadget RCE in libc.so.6

radius2 is a fast binary emulation and symbolic execution framework using radare2

Hack-a-Sat 4 2023 - Finals Public Release

A fancy self-hosted monitoring tool

Cheatsheet useful for solving Python-related challenges during CTFs.

Source code and documentation for TeamItaly CTF 2023 challenges

A modern C++ base64 encoder / decoder

RSA Coppersmith Stereotyped Message Recovery with Python 3 using Sage Math

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

A prolog compiler written in lisp, written in forth.

A tool to archive the data from CMS Ranking Web Server

Many-Time Pad Interactive

Validity fingerprint sensor prototype

Computing with traps

A complete 3-SAT solver with polynomial time euristic.

Attack/Defense services for the 2nd International Cybersecurity Challenge @ San Diego, California USA

Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

Customizable GNU Radio Environment for Live Images and VMs

Carefully crafted Alpine Docker image with glibc (~12MB)