Skip to content
Snippets Groups Projects
Select Git revision
  • main default
  • wip-toolbox-cli
  • v1.0.0
  • v-cli-test3
4 results
Compare
Name Last commit Last update
formal-verification
implementation
ETS.tar.gz
README.md
README.md

E-Ticketing

This repository contains the material for the paper entitled "Transferable, Auditable and Anonymous Ticketing Protocol", submitted at ASIACCS 2024.

Organisation

The repository is organized as follow:

  • The implementation folder contains the implementation of Applause, written in Rust. We refer to the README inside the folder for further details.
  • The formal-verification folder contains the ProVerif source code that we implemented to verify Applause. We refer to the README inside the folder for further details.