Side-channel analysis via symbolic execution
-
Updated
Dec 17, 2020 - Java
Side-channel analysis via symbolic execution
A curated list of Quantitative Information Flow (QIF) projects, tools, and resources.
Bayes Vulnerability for Microdata Library.
Privugger (/prɪvʌɡə(r)/) is a privacy risk analysis library for python programs. Docs and tutorials: https://itu-square.github.io/privugger/
This repository provides the experimental results of the paper The Privacy-Utility Trade-off in the Topics API.
[Mirror Repository] Bayes Vulnerability for Microdata library.
Add a description, image, and links to the quantitative-information-flow topic page so that developers can more easily learn about it.
To associate your repository with the quantitative-information-flow topic, visit your repo's landing page and select "manage topics."