author : Lawrence C. Paulson

Books

• (Logic and Computation: Interactive proof with Cambridge LCF. 1987)
• (ML for the Working Programmer. 1991)

Papers/Articles

• Verifying the SET protocol: overview. 2003. In Formal Aspects of Security