Lists (1)
Starred repositories
6
stars
written in Racket
Clear filter
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
A tool for formally verifying constant-time software against hardware 🕰️
Library for common symbolic execution utilities