lmlaaron

voyager

TEESec

TEESec: Pre-Silicon Vulnerability Discovery for Trusted Execution Environments

cloudfoxable

Create your own vulnerable by design AWS penetration testing playground

silveroak

Formal specification and verification of hardware, especially for security and privacy.

Pensieve

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

hfi-root

edge

AutoCAT

AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks

cage-challenge-1

specdoctor

PRIME-SCOPE

The open-source component of Prime+Scope, published at CCS 2021

ultrablue

User-friendly Lightweight TPM Remote Attestation over Bluetooth

silifuzz

awesome-rl-for-cybersecurity

A curated list of resources dedicated to reinforcement learning applied to cyber security.

FuzzingPaper

Recent Fuzzing Paper

provably-safe-sandboxing-wasm-usenix22

Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"

hw-fuzzing

osiris

Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)

polca

Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.

TripleCross

A Linux eBPF rootkit with a backdoor, C2, library injection, execution hijacking, persistence and stealth capabilities.

rtrbench

A Benchmark Suite for Real-Time Robotics

rlcheck

RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.

oneflow

OneFlow is a deep learning framework designed to be user-friendly, scalable and efficient.

Neural-Networks-on-Silicon

This is originally a collection of papers on neural network accelerators. Now it's more like my selection of research on deep learning and computer architecture.

DAGguise

oak

Meaningful control of data in distributed systems.

rlmeta

RLMeta is a light-weight flexible framework for Distributed Reinforcement Learning Research.

GoodClock

GoodClock: Providing Shared Notion of Time across Smartphones

quality-diversity-rl

Minigrid

Simple and easily configurable grid world environments for reinforcement learning