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
Ignnition
Ignnition is a framework for fast prototyping of Graph Neural Networks.
Forgejo
An open source software forge with a focus on federation
Exter
Proxy-based external browser extensions
Adopting the Noise Key Exchange in Tox
Improved security of Tox instant messaging with NoiseIK
