73 citations · 123 across the 4 of their papers we have counts for
4 papers
Analysis of Linux-PRNG (Pseudo Random Number Generator)
Ayush Bansal, Pramod Subramanyan, Satyadev Nandakumar
The Linux pseudorandom number generator (PRNG) is a PRNG with entropy inputs and is widely used in many security-related applications and protocols. This PRNG is written as an open…
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…
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…
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan +3
Modern Systems-on-Chip (SoC) designs are increasingly heterogeneous and contain specialized semi-programmable accelerators in addition to programmable processors. In contrast to th…