It is not the relative stability of thebipolar world that we seem to miss as much as having an enemy whose capacities and intentionswere, if not confirmable, at least comprehensible.
the cold war would be "missed" as it eliminates an enemy who has unknown capabilities that we are the target of, which therefore justifies the use of "security"
APPLICATIONS AND EXTENSIONS
MIsc.
THE PATH ORAM PROTOCOL: NONRECURSIVE VERSION
Actual implementation
THEORETIC BOUNDS ON STASH USAGE
Proof of this stuff
Main Invariant
This is directly showing how to implement it
y := ((opM , aM , dataM ), . . . , (op1, a1, data1 ))
Defines what parameters we are trying to prevent leakage of
3.10
3 * 10^-2 no 3.1 ^-2