1
$\begingroup$

I'm looking for material that proves the anonymity of parties in a non-interactive setting. I would like to know if there are simulation based proofs (UC) and property based proofs (game based) for anonymity that I can look at.

Also when when proving such a protocol to be anonymous, how is one supposed to define anonymity? My main confusion I guess is how does one define the security of a system that shows anonymity, i.e. the system does achieve anonymity.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.