Verified Differential Privacy for Julia
Proving sound privacy guarantees through a type system
ProjectID
Julia-DifferentialPrivacy
Acronym
Julia-DifferentialPrivacy
Additional Info
- Resources
- Source code
- https://github.com/DiffMu/DiffPrivacyInference.jl
- Documentation
- https://diffmu.github.io/DiffPrivacyInference.jl/dev/
Enduser Relevance
Worries over our health and safety will in many cases take precedence over the perceived value of our privacy. When it comes to our physical health and well-being, we are
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI zero pet
Status: Early research demo
Category: Network infrastructure (including routing, peer-to-peer and virtual private networking)
check other similar innovations
Reowolf
Reowolf replaces sockets by connectors which support high-level verification, compilation, and optimization techniques. Funded by NLnet/NGI0, Reowolf 1.0 is a...
OriginTrail DKG
OriginTrail is an open-source protocol for trusted data and assets exchange. The OriginTrail Decentralized Network (ODN) is built for data...
Edge-TINC
Edge-TINC is developing the networking stack and all the required protocols to enable in-network nodes that possess CPU capacity to...
LTE eNB scheduler performance experiments
LTE eNB Scheduler isa IS-Wireless proprietary software library providing an advanced scheduling algorithm for LTE base station..More
