IPDL
Equational Proofs for Distributed Cryptographic Protocols
ProjectID
IPDL
Acronym
IPDL
Additional Info
- Resources
- Source code
- https://github.com/kristinas/IPDL-Maude
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI assure
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Sequoia GPG Chameleon
Implement well-known API’s for using OpenPGP
Karrot
Location-aware community self-organisation
Solid Compound
A software library/framework to simplify designing for W3C Solid
CERES
Reliable management of reputation data for agriculture
