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
HumanCheck
Certified proof of humanity
webxdc PUSH
Towards an usable, interoperable and trustworthy web app ecosystem
Klusterlab Wireguard
Implement Wireguard in Verilog on FPGA
Graphics acceleration on Replicant
Free software graphics drivers for mobile phones
