ssoelvsten/mlightdp

An extensive implementation of the LightDP language of Zhang and Kifer used to prove algorithms to be privacy-preserving

语言：OCaml · GitHub 星标：3 · Fork：0

话题：differential-privacy · language-based-security · programming-language · verification

在 GitHub 上查看原仓库