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
p4-nix
Combine Programming Protocol-independent Packet Processors language with declarative Nix packaging
Probabilistic NAT Traversal
Last resort ad hoc connections for GNUnet
IPDL II
A new process logic aimed at formal proofs for cryptographic algorithm
TA4NGI
TLS-KDH is an evolving standard protocol for high security authentication and transport encryption, which aims at security in a future...
