project-oak / silveroak

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

Repository from Github https://github.comproject-oak/silveroak

project-oak/silveroak Stargazers