MCP Server for Ghidra

Library for reducing tail latency in RAM reads

LeetGPU Challenges

Modifies an ELF interpreter for development purposes

Rust userland library for Tock

Rust userland library for Tock

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

This repository contains tute documentation and code samples for students to get familiar with Zephyr RTOS.

Examples and exercises from the book Program Proofs translated to Prusti

Framework for writing Linux kernel modules in Ada

A security-focused library OS supporting kernel- and user-mode execution

Repository containing all training and tutorials completed in preparation for the OSEE in conjunction with the AWE course.

simple torrent client in C++

Lessons to get to know UEFI programming in Linux with the help of EDKII

Tutorial to help developers ramp up on UEFI environment and programming.

fuckForticlient, a command-line utility to connect to SAML fortivpn servers by using openfortivpn and the --cookie-in-stdin parameter (formerly a github gist)

Material for a training on parallel programming with MPI, OpenMP and TBB.

my solutions to the pwnable.kr CTF problems

TorProxy is a tool which uses netfilter hooks in the linux kernel to route all network traffic through the Tor network

Containing my notes, practice binaries + solutions, blog posts, etc. for the Offensive Security Exploit Developer (OSED/EXP-301)

magic-trace collects and displays high-resolution traces of what a process is doing

Exercises for Assembly language course

A secure embedded operating system for microcontrollers

Code for the "Bare Metal Series" videos

risc-v OS inspired by xv6

Collection of C programming examples dealing with Bluetooth using BlueZ/GDBus

State-of-the-art native debugging tools

A very bare minimum rust startup and linker