IPDL
Website
https://github.com/ipdl/ipdlIn cryptography, interactive, distributed cryptographic protocols are most often proved secure using the simulation paradigm, wherein the protocol of interest is proved (approximately)
ProjectID
IPDL
Acronym
IPDL
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
Keyword: FormalVerificationMultiPartyComputation
Status: -
Category:
check other similar solutions
Implement sound support in the Hurd
The GNU Hurd is a light weight kernel (the central part of an operating system) on top of the Mach...
BBBsecureChat
BigBlueButton is a video conferencing framework built on open source components. It is being used worldwide for education, events and...
Solid Application Interoperability
The project summary for this project is not yet available. Please come back soon!
CryptPad: Project Dialogue
Cryptpad is a real-time collaboration environment that encrypts everything clientside. The project will incorporate structured group interaction other than collaborative...
