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