An overview of the opaque pointer pattern in C. How to create objects in C.

Intro to HM

PDF | A partial evaluator, given a program and a known “static” part of its input data, outputs a specialised or residual program in which computations... | Find, read and cite all the research you need on ResearchGate

Light Affine Logic (LAL) is a logical system due to Girard and Asperti offering a polynomial time cut-elimination procedure. It can be used as a type system for lambda-calculus, ensuring a well-typed program has a polynomial time bound on any input. Types…

If you love exploit mitigations, you may have heard of a new system call named mseal landing into the Linux kernel’s 6.10 release, providing a protection called “memory sealing.” Beyond notes from the authors, very little information about this mitigation…

This post aims at giving an overview of what SELinux is, how it is implemented, and how to bypass it, from the point of view of Android kernel exploitation.