Need a small project done in Tamarin Prover or Proverif

I need to implement a communication protocol in either Tamarin or Proverif. It's probably not a lot of work, few hours perhaps. More info in dm.