author : Gethin Norman

Short works

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