Pinned Loading

1. itu-square/privugger itu-square/privugger Public

   Privugger (/prɪvʌɡə(r)/) is a privacy risk analysis library for python programs. Docs and tutorials: https://itu-square.github.io/privugger/

   Python 3 2

2. itu-square/sat-metropolis itu-square/sat-metropolis Public

   Python library using SAT/SMT samplers in MCMC algos

   Jupyter Notebook

3. ppf-diaspora ppf-diaspora Public

   This project is a variation of the distributed social network Diaspora* by including a formal privacy policy framework based on Knowledge-based logic

   Ruby 2

4. pilot-risk-analysis-model pilot-risk-analysis-model Public

   Model in PROMELA of the PILOT privacy policy language to perform automatic privacy risk analysis

   C 1

5. kbl-model-checker kbl-model-checker Public

   Prototype model checker for the logic KBL

   Erlang 1

6. thunderbird-langtool-mailextension thunderbird-langtool-mailextension Public

   LanguageTool extension for Thunderbird

   JavaScript 2