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
PiSwap
Price-Building-Mechanism for asymmetric NFT-markets.
MFSSIA
The problem Authcoin solves is the trust issue for cross-organizationally connecting humans, organisations and machines for the emerging so-called nachine-to-everything...
Keyoxide v2
Add cryptographic signature based to Keyoxide
fedeproxy
Fedeproxy is an online service to federate forges. It allows to carry out the actions from a forge to another.
