Stars
Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, and post-processing software. Output is HTML/SVG per-CPU-core …
A core language for rule-based hardware design 🦑
Take control of your iCloud Drive files with iCloud NoSync—the ultimate utility for effortless sync and management! Get the edge you need to stay organised and up–to–date.
Defeating Pointer Authentication on the Apple M1 with Hardware Attacks
An IOKit kext designed for microarchitectural security research on M1
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
Patch your macOS kernel to enable support for the high-resolution timers on M1
Circuits and hardware security modules formally verified with Knox 🔐
This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.
A Ghidra static analysis tool for locating PACMAN Gadgets
A tool for checking the contract satisfaction for hardware designs