Subscribe to our Newsletter

IPDL II

Website

https://github.com/kristinas/IPDL-Maude

A new process logic aimed at formal proofs for cryptographic algorithm

ProjectID

IPDL-II

Acronym

IPDL-II

Additional Info

Not available yet

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: