Common use of Robustness Clause in Contracts

Robustness. The probability that the following experiment outputs “Eve wins” is at most δ: sample (w, w′, e) from (W, W′, E); let ca, cb be the communi- cation upon execution of (A, B) with ▇▇▇(e) actively controlling the chan- nel, and let A(w, ca, ra) = kA, B(w′, cb, rb) = kB. Output “▇▇▇ wins” if (kA /= kB Λ kA ⊥ ΛkB ⊥).

Robustness. The probability that the following experiment outputs “Eve wins” is at most δ: sample (w, w′wj, e) from (W, W′W j, E); let ca, cb be the communi- cation upon execution of (A, B) with ▇▇▇(e) actively controlling the chan- nel, and let A(w, ca, ra) = kA, B(w′B(wj, cb, rb) = kB. Output “▇▇▇ wins” if (kA /= ƒ= kB Λ ∧ kA ⊥ ΛkB ƒ=⊥ ∧kB ⊥).

Robustness. The probability that the following experiment outputs “Eve wins” is at most δ: sample (w, w′w', e) from (W, W′W', E); let ca, cb be the communi- cation communication upon execution of (A, B) with ▇▇▇(e) actively controlling the chan- nelchannel, and let A(w, ca, ra) = kA, B(w′B(w', cb, rb) = kB. Output “▇▇▇ Eve wins” if (kA /= kB =/kB Λ kA ⊥ =/⊥ ΛkB ⊥/=⊥).