75 citations · 280 across the 41 of their papers we have counts for
1 paper · 2 filters
Susmit Jha
Security protocols often use randomization to achieve probabilistic non-determinism. This non-determinism, in turn, is used in obfuscating the dependence of observable values on se…