Description
Cryptographic protocols can be modeled and checked with a proof assistant focused on security properties. The Git package builds the Squirrel prover from current upstream source and installs the `squirrel` command with theories, examples, and utilities. It is intended for researchers and protocol engineers who understand formal methods.