133 citations · 187 across the 13 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.PL2019★ 5 cited
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy
Joseph P. Near, David Darais, Chike Abuah +8
During the past decade, differential privacy has become the gold standard for protecting the privacy of individuals. However, verifying that a particular program provides different…
cs.CY2019★ 8 cited
Data Capsule: A New Paradigm for Automatic Compliance with Data Privacy Regulations
Lun Wang, Joseph P. Near, Neel Somani +4
The increasing pace of data collection has led to increasing awareness of privacy risks, resulting in new data privacy regulations like General data Protection Regulation (GDPR). S…
cs.CR2019★ 133 cited
TABOR: A Highly Accurate Approach to Inspecting and Restoring Trojan Backdoors in AI Systems
Wenbo Guo, Lun Wang, Xinyu Xing +2
A trojan backdoor is a hidden pattern typically implanted in a deep neural network. It could be activated and thus forces that infected model behaving abnormally only when an input…