Common use of Security of Gen Clause in Contracts

Security of Gen. For any suitable (W, W j, E), the string R has high entropy ˜ even for those who observe P and E: if (R, P ) ← Gen(W ), then H∞(R | ≥ E, P ) hR. ˜

Security of Gen. For any suitable (W, W jW′, E), the string R has high entropy ˜ even for those who observe P and E: if (R, P ) ← Gen(W ), then H∞(R | ≥ E, P ) hR. ˜

Security of Gen. For any suitable (W, W jW', E), the string R has high entropy ˜ even for those who observe P and E: if (R, P ) ← Gen(W ), then H∞(R | ≥ E, P ) hR. ˜≥ hR.