Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols.

John A. Clark, Jeremy L. Jacob

Browse the full SP paper archive.