Verified Reowolf
Website
https://reowolf.netFormal protocol verification with Reowolf
ProjectID
VerifiedReowolf
Acronym
VerifiedReowolf
Additional Info
- Stay up to date
- RSS or Atom feed
- https://reowolf.net/feed/
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: Netherlands
NGI Project: NGI assure
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
GraphChain
GraphChain – a framework for on-chain data management for Ontochain.
Bertie
Formally verified TLS 1.3 implementation
StreetComplete/AllThePlaces
Ingest data from AllThePlaces into StreetComplete
Email Provider Portability Directory – Delta Chat
Delta Chat is the only decentralized, resilient and cross platform e-mail chat messenger that is secure by design … using...
