|visits||member for||2 years, 2 months|
|seen||Sep 29 '12 at 22:01|
Exact mathematical definition of simulation based security?
Thanks! The first paragraph of your "general observations" cleared this up for me. I'm aware that there seems to be a bunch of frameworks for this. A lot of recent papers seem to concentrate on "composability", where "universal composition" seems like a big thing. Do you know if there's any consensus among cryptographers regarding which current definitions are "right"?