1. KyberAdvanced crypto library for the Go language
4. DeterminatorExperimental operating system for deterministic parallel computing
5. paper chainiacImplementation and simulations for "CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds" paper appearing at Usenix Security'17.
8. onetOverlay Network for distributed protocols