IPDL

In cryptography, interactive, distributed cryptographic protocols are most often proved secure using the simulation paradigm, wherein the protocol of interest is proved (approximately)

More

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: 

Keyword: FormalVerificationMultiPartyComputation

Status: -

Category: 

check other similar solutions