Protocol Proof Checking Simplified with SMT.

Mark R. Tuttle, Amit Goel

Browse the full NCA paper archive.