author : Gerard Cece

Short works

• Automatic approximation for the verification of cryptographic protocols. 2003. (In Formal Aspects of Security )