author : Carsten Rudolph

Short works

• Security analysis of (un-)fair non-repudiation protocols. 2003. (In Formal Aspects of Security )