Composing Timed Cryptographic Protocols: Foundations and Applications

ePrint Report: Composing Timed Cryptographic Protocols: Foundations and Applications

Karim Eldefrawy, Benjamin Terner, Moti Yung

Time-lock puzzles are unique cryptographic primitives that use computational complexity to keep information secret for some period of time, after which security expires. Unfortunately, current analysis techniques of time-lock primitives provide no sound mechanism to build multi-party cryptographic protocols which use expiring security as a building block. We explain in this paper that all other attempts at this subtle problem lack either composability, a fully …

analysis applications build complexity computational cryptographic current eprint report foundations information lock mechanism moti yung party period protocols report secret security sound techniques