@dblp

Probabilistic Termination and Composability of Cryptographic Protocols.

, , , and . CRYPTO (3), volume 9816 of Lecture Notes in Computer Science, page 240-269. Springer, (2016)

Links and resources

Tags