Common use of Robustness Clause in Contracts

Robustness. The probability that the following experiment outputs “Eve wins” is at most δ: sample (w, wj, e) from (W, Wj, E); let ca, cb be the communication upon execution of (A, B) with Xxx(e) actively controlling the channel, and let A(w, ca, ra) = kA, B(wj, cb, rb) = kB. Output “Eve wins” if (kA =ƒkB ∧ kA ƒ=⊥ ∧kB ƒ=⊥).

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

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

Robustness. The probability that the following experiment outputs “Eve wins” is at most δ: sample (w, wjw', e) from (W, WjW', E); let ca, cb be the communication upon execution of (A, B) with Xxx(e) actively controlling the channel, and let A(w, ca, ra) = kA, B(wjB(w', cb, rb) = kB. Output “Eve wins” if (kA =ƒkB ∧ /kB Λ kA ƒ=⊥ ∧kB ƒ=⊥=/⊥ ΛkB /=⊥).