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

More

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)