New answers tagged hard-core-predicate
2
votes
Accepted
Question on Simulation based security proof for Oblivious Transfer (OT) against semi-honest adversaries
Why while $\mathcal{A}$ chooses a random $\beta_{1-\sigma}$ when it guesses incorrectly, it is lik $\mathcal{D}$ is invoked with $(\sigma, r_0, r_1;\alpha, (B(\alpha, x_\sigma)\oplus b_\sigma, B(\...
Top 50 recent answers are included
Related Tags
hard-core-predicate × 16one-way-function × 10
pseudo-random-generator × 5
oblivious-transfer × 2
rsa × 1
provable-security × 1
randomness × 1
security-definition × 1
semantic-security × 1
distinguisher × 1
trapdoor × 1
simulation × 1