103 citations · 301 across the 19 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.CR2019★ 9 cited
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation
Shuai Wang, Yuyan Bao, Xiao Liu +3
Cache-based side channels enable a dedicated attacker to reveal program secrets by measuring the cache access patterns. Practical attacks have been shown against real-world crypto…
cs.LG2019★ 1 cited
Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms
Zeyu Ding, Yuxin Wang, Danfeng Zhang +1
Noisy Max and Sparse Vector are selection algorithms for differential privacy and serve as building blocks for more complex algorithms. In this paper we show that both algorithms c…
cs.PL2019★ 47 cited
Proving Differential Privacy with Shadow Execution
Yuxin Wang, Zeyu Ding, Guanhong Wang +2
Recent work on formal verification of differential privacy shows a trend toward usability and expressiveness -- generating a correctness proof of sophisticated algorithm while mini…