Projects

Advent of code

Advent of Code is a series of daily programming challenges released during December. I participate each year since 2023, solving problems in real-time using Python or Go. All my solutions are available on my GitHub repository, documenting my progress through these calendar.

SRP-3 Formalisation

Secure Remote Password (SRP-3) is a protocol used for authentication and for establishing a session key, designed to be robust against dictionary attacks. We provide a ProVerif model and show that, under our model, the protocol satisfies the desired security properties.

FAT32

A FAT32 file system emulator implemented in Java, featuring both command-line and graphical interfaces. The shell component supports essential commands (ls, cd, cat, echo, etc) for file system navigation and manipulation. The graphical interface, built with JavaFX, provides a file explorer and includes utilities such as a disk fragmentation visualizer. The emulator implements core FAT32 functionalities including file reading/writing, directory management, and disk formatting operations.

JPEG Decoder

A JPEG decoder implementation that converts compressed JPEG files into raw image data. The project handles the core JPEG decoding pipeline: Huffman decoding, dequantization, inverse Discrete Cosine Transform (IDCT), and color space conversion from YCbCr to RGB. The decoder processes baseline JPEG images, reading compressed data and outputting the decoded pixel information.

Music player

A music player application developed in Python that combines playback and YouTube download capabilities. The application utilizes PyTube library for downloading audio from YouTube videos, converting them into music files. Features include basic music player controls and a download function that allows users to save music directly from YouTube links.