Composing Timed Cryptographic Protocols: Foundations and Applications. | AMiner