Owi 2
Cross-language symbolic execution via Wasm
ProjectID
OWI-2
Acronym
OWI-2
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: France
NGI Project: NGI Zero Commons Fund
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
SSH Stamp
Secure SSH-to-UART bridge for devices with a serial port.
Blockchain-enabled sharing economy platform for communities
SO-SHARED (Blockchain-enabled sharing economy platform for communities) proposal presents a social sharing platform through which users share STAs to build...
Collation + i18n support in musl libc
Complete POSIX internationalised functions in musl libc
Redox Flow Battery
Development Kit for Open-Source Hardware Redox Flow Battery