Stars
2
results
for source starred repositories
written in Racket
Clear filter
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.