Cryptographic Advances in Reasoning about Adversaries
SDSC, The Synthesis Center 9500 Gilman Drive, La Jolla, CA, United StatesA key challenge in cryptography is to ensure that a protocol resists all computationally feasible attacks, even when an adversary decides to follow a completely arbitrary and unpredictable strategy. This often turns out to be notoriously difficult -- for example, proofs of security must typically extract an adversary's implicit input, but this is at odds […]