[viff-devel] SMCL security notion

[Janus Dam Nielsen]

>> 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. But it would be very nice if we
>> could consider the server as having a single well-defined state.
>
> I don't like this since it introduces a wide gap between the model and
> the real world and I believe such a gap makes it easier to come up
> with inefficient solutions.
Then we have to come up with a better description...

--
Janus