Computationally Bounded Robust Compilation and Universally Composable Security

26 January 2024

Robert Künnemann

Papers citing "Computationally Bounded Robust Compilation and Universally Composable Security"

3 / 3 papers shown

Title
DPGen: Automated Program Synthesis for Differential Privacy Yuxin Wang Zeyu Ding Yingtai Xiao Daniel Kifer Danfeng Zhang SyDa 43 12 0 15 Sep 2021
LightDP: Towards Automating Differential Privacy Proofs Danfeng Zhang Daniel Kifer 40 72 0 27 Jul 2016
The Foundational Cryptography Framework Adam Petcher Greg Morrisett LRM 22 101 0 14 Oct 2014