IPDL II
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:
check other similar innovations
Validation of Intelligent SDN – IoT Networks
This project will perform experiments on public testbeds to establish the feasibility of applying OpenFlow and SDN in wireless IoT...
Sensix
Open source electric meter & power analyser – small, affordable, high-end, high-precision
MEGA65 Phone Modular MVP
OSHW mobile device with form-factor of hand-held game consoles
Nym Credentials
A decentralised solution for authentication
