The ideal specifications are provided in the specifications folder. Each specification is defined using our customized version of the WebSpi library
The proverif_wrapper.sh script simplifies ProVerif output by showing only color-coded RESULT lines from the ProVerif invocation.
./proverif_wrapper.sh -lib webspi_custom.pvl oauth.pvThe monitors folder contains the generated monitors. For each monitor we provide the pi-calculus model, the generated code in the target language, and a configuration file.