ucrv32 is a simple educational RV32I microcontroller featuring a 5-stage pipeline architecture. Written in SystemVerilog and equipped with simulation support via Verilator, it offers a practical pl…

A high-level API for interacting with SMT solvers.

This repository is tailored for participants of the Polish training course "Live Cold Boot Attack: How to Decrypt a Laptop by Freezing Memory?". It offers demos and tools to explore memory freezing…

BubelOS is an educational operating system featuring a bootloader written in EDKII. It's an experimental playground where I'll periodically add new features and explore OS development concepts.

This repository is prepared especially for the participants of the Polish training course "Can you hack everything with Python?". It offers practical examples, demos, and exercises to explore Pytho…

ptLeftarCore is a C++ path tracing engine that utilizes AVX2 optimizations for fast triangle-ray collision detection. This repository houses the core implementation, offering a robust foundation fo…

This special README repository is the welcome page for my GitHub profile. It highlights my projects, interests, and contributions, offering a glimpse into my journey in software development and cyb…

Khazad-dûm is a robust library inspired by the legendary realm of Middle-earth. Offering Mithril-like protection for your application secrets, it leverages the TPM2 module to ensure tamper-resistan…