17 citations · 18 across the 6 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2022★ 1 cited
HOLL: Program Synthesis for Higher OrderLogic Locking
Gourav Takhar, Ramesh Karri, Christian Pilato +1
Logic locking "hides" the functionality of a digital circuit to protect it from counterfeiting, piracy, and malicious design modifications. The original design is transformed into…
cs.CR2021
Learning Differentially Private Mechanisms
Subhajit Roy, Justin Hsu, Aws Albarghouthi
Differential privacy is a formal, mathematical definition of data privacy that has gained traction in academia, industry, and government. The task of correctly constructing differe…