Domino: Security Proofs that Scale
Analysis and verification of real-world cryptographic protocols
ProjectID
Domino
Acronym
Domino
Additional Info
- Resources
- Source code
- https://github.com/domino-lang/domino
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI Zero Commons Fund
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Atomic Data
Typesafe handling of LinkedData
solidtime
Privacy-friendly time tracking for teams and individuals
Libre Silicon compiler
Synthesize, place and route hardware description to silicon
Standardizing KEMTLS
Post-quantum TLS without handshake signatures