SCoP

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.

ProjectID

NGI-DAPSI:PROJECT-24

Acronym

dapsiPrj24

Additional Info

Type-safe OCaml implementations of protocols:

• SPF (RFC 7208): https://github.com/dinosaure/ocaml-spf


• DKIM (RFC 6376, RFC 8301, RFC 8463): https://github.com/dinosaure/ocaml-dkim


• DMARC (RFC 7489): https://github.com/dinosaure/ocaml-dmarc


• SMTP (RFC 2821, RFC 821): https://github.com/dinosaure/ptt


• Matrix: https://github.com/clecat/ocaml-matrix

A 1 million emails corpus: https://github.com/mirage/hamlet

Enduser Relevance

We set out to build a simple, secure, easily deployable solution to preserve users' privacy.

Contact

contact@tarides.com

Endorsements

Disclaimer

Not available yet

Country:  France

NGI Project:  Dapsi

Status: Operational technology (practical and/or commercial viability)

Category: Decentralized solutions (including blockchain and distributed ledger technologies)