kpti

SpecuCheck is a Windows utility for checking the state of the software mitigations and hardware against CVE-2017-5754 (Meltdown), CVE-2017-5715 (Spectre v2), CVE-2018-3260 (Foreshadow), and CVE-2018-3639 (Spectre v4)

CTF kernel exploitation notes, PoCs, exploits, and writeups.

Meltdown Exploit / Proof-of-concept / checks whether system is affected by Variant 3: rogue data cache load (CVE-2017-5754), a.k.a MELTDOWN.

HEVD Exploit: ArbitraryWrite on Windows 10 22H2 - Bypassing KVA Shadow and SMEP via PML4 Entry Manipulation

The Effect of the Linux Kernel Page-Table Isolation (KPTI) Patch (Meltdown Vulnerability) on GBMs

Kernsec is quick & dirty script to print kernel protections, useful informations of kernel exploitation/pwn in Kernel Land

A security-first, capability-based microkernel written end to end in Rust (no_std), built to serve LLM inference securely to remote network clients. Apple Silicon (aarch64), zero external dependencies, W^X + KPTI, measured boot.

Bachelor's thesis for BSc Computer Engineering at University of Pisa, about an implementation of "KAISER" mitigation against Meltdown in a didactic kernel