SCoP is an open, secure, and resource-efficient infrastructure to engineer a modern basis for open messaging (for existing and emerging protocols) using type-safe languages and unikernels—to ensure your private information remains secure.
Type-safe OCaml implementations of protocols:
A 1 million emails corpus: https://github.com/mirage/hamlet
To operate an email service requires many technical skills and reliable infrastructure. As a result, only a few large companies can handle emails with the proper security levels. We set out to build a simple, secure, easily deployable solution to preserve users' privacy.
Not available yet
NGI Project: Dapsi