Symbolic universal composability.

Florian BöhlDominique Unruh
Published in: J. Comput. Secur. (2016)
Keyphrases