103 citations · 301 across the 19 of their papers we have counts for
4 papers · 1 filter
Towards a General-Purpose Dynamic Information Flow Policy
Peixuan Li, Danfeng Zhang
Noninterference offers a rigorous end-to-end guarantee for secure propagation of information. However, real-world systems almost always involve security requirements that change du…
DPGen: Automated Program Synthesis for Differential Privacy
Yuxin Wang, Zeyu Ding, Yingtai Xiao +2
Differential privacy has become a de facto standard for releasing data in a privacy-preserving way. Creating a differentially private algorithm is a process that often starts with…
Understanding TEE Containers, Easy to Use? Hard to Trust
Weijie Liu, Hongbo Chen, XiaoFeng Wang +4
As an emerging technique for confidential computing, trusted execution environment (TEE) receives a lot of attention. To better develop, deploy, and run secure applications on a TE…
The Permute-and-Flip Mechanism is Identical to Report-Noisy-Max with Exponential Noise
Zeyu Ding, Daniel Kifer, Sayed M. Saghaian N. E. +4
The permute-and-flip mechanism is a recently proposed differentially private selection algorithm that was shown to outperform the exponential mechanism. In this paper, we show that…