An Extended Logic for Analyzing Timed-Release Public-Key Protocols.

Michiharu Kudo, Anish Mathuria

Browse the full ICICS paper archive.