Software Quality Research Group (SQUARE)

Analysis of thread-safety in Java classes with CodeQL

Python library using SAT/SMT samplers in MCMC algos

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

This repository contains a PyTest plugin, ProbTest, to test probabilistic programs and the benchmarks included in the accompaying paper.

SQUARE Symsim is a test-bed for implementing reinforcement learning algorithms, formalizing their correctness properties, and testing them. It is implemented in Scala 3, in purely functional style, and uses property-based testing.

Proof of concept implementation of a Privug backend featuring an exact Bayesian inference engine based on multivariate Gaussian distributions.