home
>
book reviews
> Vitaly Shmatikov
Google >
Vitaly Shmatikov
author : Vitaly Shmatikov
Short works
Analysis of probabilistic contract signing. 2003.
(In
Formal Aspects of Security
)