Red-team tool to hook libc read syscall with a buffer overflow vulnerability.

openosc: Open Object Size Checking: Library to detect buffer overflows in C/C++ code

Research about Buffer Overflow Attack vulnerability.

Model Checking tool to verify LTL properties in stack memory of binary programs

Vulnerable Webserver program for Exploitation. Exploits can be found in WEBSERVER_EXPLOIT repository.

An x86_64 Buffer Overflow Lab for UAF's Cyber Security Club

Buffer Overflows, Format Strings, Return Over Pointers and Shellcode Execution Attacks

This is an assignment I completed as an undergraduate student in Technical University of Crete.