strangerRidingCaml

Return-to-User (ret2usr) AttacksReturn-to-user (ret2usr) attacks are a type of exploitation technique where an attacker overwrites the return address on the stack to redirect the program execution flow to a user-space function, typically one that allows the attacker to gain elevated privileges or execute arbitrary code.Lab Activity: Return-to-User (ret2usr) AttackIn this lab activity, we'll demo..

Stack Smashing (32-bit and 64-bit)Stack smashing, also known as buffer overflow, is a type of vulnerability that occurs when a program writes more data to a buffer than it can hold, resulting in overwriting adjacent memory locations, including return addresses and other important data.Lab Activity: Stack Smashing (32-bit)In this lab activity, we'll demonstrate a simple stack smashing vulnerabili..

Debugging Kernel and ModulesUsing gdb for kernel debuggingDebugging the Linux kernel requires specialized tools, and one of the most commonly used is GNU Debugger (gdb). Setting up gdb: Install gdb and configure it to work with the Linux kernel. Attaching gdb to the kernel: Use gdb to attach to a running kernel or to a virtual machine running the kernel under debug. Inspecting kernel ..

Development of Kernel ModuleBasics of kernel module developmentKernel modules are pieces of code that can be dynamically loaded and unloaded into the Linux kernel without rebooting the system. Module structure: A kernel module typically consists of initialization and cleanup functions along with the necessary code to perform its intended functionality. Module compilation: Kernel modules ..

Introduction to Linux Kernel ExploitationOverview of kernel space vs. user spaceKernel space and user space are two distinct memory regions in a computer's operating system. Kernel space: This is the privileged mode of the operating system where the kernel code and critical system data reside. Processes running in kernel space have unrestricted access to hardware and system resources. Us..

Type Theory and Category Theory: Categorical Semantics of Types Categorical semantics of types is an approach to understanding type systems in programming languages using category theory. In this approach, types and programs are interpreted as objects and morphisms in a category, and type constructors are interpreted as functors between categories. Key concepts in the categorical semantics of..