EPFL Constructive Out-of-Order Machine

Defeating Pointer Authentication on the Apple M1 with Hardware Attacks

A Ghidra static analysis tool for locating PACMAN Gadgets

Patch your macOS kernel to enable support for the high-resolution timers on M1

M1 bare metal project in Rust

An IOKit kext designed for microarchitectural security research on M1

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.

A tool for checking the contract satisfaction for hardware designs

A core language for rule-based hardware design 🦑

This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.

Circuits and hardware security modules formally verified with Knox 🔐

A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏

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 …