Formal specification and verification of hardware, especially for security and privacy. - View it on GitHub