Common use of Security of Gen Clause in Contracts

Security of Gen. For any suitable (W, W′, E), the string R has high entropy ˜ ≥

Security of Gen. For any suitable (W, 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′W', 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′Wj, 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.