In the paper on page two, lower left, we write that each server
party execute identical copies of the server program inn lock-step.
Based on this assumption it is reasonable to consider the server as
having a single well-defined state. However in Viff this is no
longer true due to parallelism. B
Janus Dam Nielsen <[EMAIL PROTECTED]> writes:
Hi everybody
>> I am confused about the notion of security via adversary traces
>> presented in those papers. It is described via two properties:
>>
>> * Identity Property: a public state P can only lead to one other
>> public state P', regardless o
