README
======

To run the examples, use

tamarin-prover --prove FILENAME

for the trace properties (eligibility, unforgeability, session matching and key secrecy), and

tamarin-prover --diff --prove FILENAME

for the equivalence properties (anonymity, untraceability, vote privacy and receipt-freeness).

To use the interactive mode, run

tamarin-prover interactive FILENAME

for the trace properties (eligibility, unforgeability, session matching and key secrecy), and

tamarin-prover --diff interactive FILENAME

for the equivalence properties (anonymity, untraceability, vote privacy and receipt-freeness)

and direct your browser to: http://127.0.0.1:3001
