2 citations · 2 across the 1 of their papers we have counts for
2 papers
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
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…