Formal protocol verification with Reowolf
Not available yet
NGI Project: NGI assure
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
Distributed trust store enabling threshold encryption
Encrypted and content-addressable data blocks
Improving search and discoverability in the Fediverse
Atomic Data is a modular specification for sharing, modifying and modeling graph data. It combines the ease of use of...