73 citations · 123 across the 4 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2020★ 2 cited
Verification of Quantitative Hyperproperties Using Trace Enumeration Relations
Shubham Sahai, Rohit Sinha, Pramod Subramanyan
Many important cryptographic primitives offer probabilistic guarantees of security that can be specified as quantitative hyperproperties; these are specifications that stipulate th…
cs.CR2018★ 73 cited
Functional Analysis Attacks on Logic Locking
Deepak Sirone, Pramod Subramanyan
Logic locking refers to a set of techniques that can protect integrated circuits (ICs) from counterfeiting, piracy and malicious functionality changes by an untrusted foundry. It a…