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
JShelter Manifest V3
Make JShelter compatible with Manifest V3
Nominatim
Multi-lingual support in address search
MNT Reform Next
New iteration of the MNT open hardware laptop
OttCT
On to the Chain Trustworthiness
