Subscribe to our Newsletter

owi

Website

https://github.com/ocamlpro/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