owi
Symbolic evaluator and fuzzing of WASM software
ProjectID
OWI
Acronym
OWI
Additional Info
- Resources
- Source code
- https://github.com/ocamlpro/owi
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: France
NGI Project: NGI zero core
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Maemo Leste
An independent mobile operating system focused on trustworthiness
Multi browsing context support in Servo
Allow Servo browser engine to render beyond atomic pages
Peppol for the masses
Hybrid self-hosted e-invoicing with decentralized identities
Betrusted OS
An embedded OS for cryptographic devices
