shadowdp | Concept Verification Tool for Differential Privacy

by cmla-psu Python Version: Current License: MIT

X-Ray Key Features Code Snippets Community Discussions Vulnerabilities Install Support

kandi X-RAY | shadowdp Summary

shadowdp is a Python library. shadowdp has no bugs, it has no vulnerabilities, it has build file available, it has a Permissive License and it has low support. You can download it from GitHub.

As described in Section 6 of our paper, ShadowDP consists of two components: (1) a type system that type checks the algorithm and generate transformed program (with explicit privacy cost variable calculations and other assertions). (2) a verifier to verify the assertions in the transformed program always hold. We implemeneted the first component as a trans-compiler from C to C in Python. For the second component we use an off-the-shelf model checking tool CPA-Checker.

Support

Quality

Security

License

Reuse

Support

shadowdp has a low active ecosystem.

It has 4 star(s) with 0 fork(s). There are 3 watchers for this library.

It had no major release in the last 6 months.

There are 0 open issues and 1 have been closed. There are no pull requests.

It has a neutral sentiment in the developer community.

The latest version of shadowdp is current.

Quality

shadowdp has no bugs reported.

Security

shadowdp has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

License

shadowdp is licensed under the MIT License. This license is Permissive.

Permissive licenses have the least restrictions, and you can use them in most projects.

Reuse

shadowdp releases are not available. You will need to build from source code and install.

Build file is available. You can build the component from source.

Installation instructions, examples and code snippets are available.

Top functions reviewed by kandi - BETA

kandi has reviewed shadowdp and discovered the below as its top functions. This is intended to give you an instant insight into shadowdp implemented functionality, and help decide if they suit your requirements.

Visit AST node
Run a checker
Assume a query
Compare two nodes
Visit an if node
Update the precondition condition
Inverse of the assumptions
Simplify all types
Replace node references
Replace the array
Return array reference
Visit function definition
Replace expressions
Return a tuple of binary operands
Return the align and shadow attributes
Visit a TernaryOp node
Return AST node
Return the difference between two types
Return variable name and shadow value
Return the array reference
Compute return node
Visit a While node
Implementation of Assignment
Simplify binary operator

Get all kandi verified functions for this library.

shadowdp Key Features

No Key Features are available at this moment for shadowdp.

shadowdp Examples and Code Snippets

No Code Snippets are available at this moment for shadowdp.

Community Discussions

No Community Discussions are available at this moment for shadowdp.Refer to stack overflow page for discussions.

Community Discussions, Code Snippets contain sources that include Stack Exchange Network

Vulnerabilities

No vulnerabilities reported

Install shadowdp

If Docker isn't an available option for you, you can install ShadowDP manually following the steps below. System Requirements. Python 3.5 / 3.6 / 3.7 on Linux is required, Ubuntu 18.04 LTS is tested and recommended, though Ubuntu 16.04 LTS and other Linux distributions should also work. This is due to the requirements from the verification tool we use (i.e., CPA-Checker), which lacks many pre-compiled solver backends on other operating systems (e.g. MathSAT5 and z3 on macOS). In addition, wget package and JAVA 8 / 11 are required. Install them via. Download CPA-Checker. As pre-compiled CPA-Checker binaries are relatively large, we don't include them as part of this project, you'll have to download them yourself. Run scripts/get_cpachecker.sh to take care of the download for you. Install ShadowDP. venv is highly recommended in order not to interfere with your system packages (or if you prefer virtualenv / Anaconda, the setup is similar).

Support

For any new features, suggestions and bugs create an issue on GitHub. If you have any questions check and ask questions on community page Stack Overflow .

Find more information at: