project-oak

Meaningful control of data in distributed systems.

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