Alive2
Translation validation for LLVM
ProjectID
Alive2
Acronym
Alive2
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: Portugal
NGI Project: NGI zero core
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
JavaScript Restrictor
Increasing Security and Privacy of JavaScript APIs
Physical Unclonable Functions for IoT Assets
Verify and validate asvin secure bootstrapping process with integration of decentralized and distributed technologies to uniquely identify an IoT device...
Chips4Makers ASICs
Coko Docs
A modern, open source replacement for Google Docs and Drive
