The framework of universal composability (UC) is a general-purpose model for the analysis of cryptographic protocols.

learn more… | top users | synonyms (1)

17
votes
1answer
147 views

What are the roles of the simulator in simulation based proofs

I'm trying to better understand simulation based proofs in the UC model - but the guidelines to construct a simulator confuse me. To my understanding, the simulator is activated in two ways: ...