author : Vitaly Shmatikov

Short works

• Analysis of probabilistic contract signing. 2003. (In Formal Aspects of Security )