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.



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.