gautammenghani

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

workshop-imagemagick

Landlock workshop to sandbox ImageMagick

microwatt

A tiny Open POWER ISA softcore written in VHDL 2008

xv6-riscv

Xv6 for RISC-V

docs

Documentation for OpenPOWER Firmware

Graphical-Micro-Architecture-Simulator

Graphical-Micro-Architecture-Simulator

quarantab

Firefox addon: Safely use sensitive data with online tools

stress-ng

This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.

StringZilla

Up to 10x faster strings for C, C++, Python, Rust, and Swift, leveraging SWAR and SIMD on Arm Neon and x86 AVX2 & AVX-512-capable chips to accelerate search, sort, edit distances, alignment scores, etc 🦖

ramulator2

Ramulator 2.0 is a modern, modular, extensible, and fast cycle-accurate DRAM simulator. It provides support for agile implementation and evaluation of new memory system designs (e.g., new DRAM standards, emerging RowHammer mitigation techniques). Described in our paper https://people.inf.ethz.ch/omutlu/pub/Ramulator2_arxiv23.pdf

The-Art-of-Writing-Efficient-Programs

The Art of Writing Efficient Programs, published by Packt

schnellru

A fast and flexible LRU map.

monoio

Rust async runtime based on io-uring.

orbital-mechanics-notes

Notes for Orbital Mechanics

barco

Linux containers from scratch in C.

fake-it-til-you-make-it

A program that demonstrates that GitHub contribution graph can be cheated

modern-unix

A collection of modern/faster/saner alternatives to common unix commands.

unicorn

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

dma-attacks

Materials for my DMA attacks talk and a collection of related links

TEE-reversing

A curated list of public TEE resources for learning how to reverse-engineer and achieve trusted code execution on ARM devices

kallsyms-extractor

Tool to extract the kallsyms (System.map) from a memory dump

pmu-tools

Intel PMU profiling tools

kernel-security-learning

Anything about kernel security. CTF kernel pwn, kernel exploit, kernel fuzz and kernel defense paper, kernel debugging technique, kernel CVE debug.

rebound

💫 An open-source multi-purpose N-body code.

build-your-own-x-in-rust

COL331-Assignment2

awesome-profiling

Awesome utilities for performance profiling

perf-ninja

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

meilisearch

A lightning-fast search API that fits effortlessly into your apps, websites, and workflow

RowPress

Source code & scripts for experimental characterization and real-system demonstration of RowPress, a widespread read disturbance phenomenon in DRAM that is different from RowHammer. Described in our ISCA'23 paper by Luo et al. at https://people.inf.ethz.ch/omutlu/pub/RowPress_isca23.pdf