Need a small project done in Tamarin Prover or Proverif -- 2
Budget: $10 – $30 USD
I need to implement a communication protocol in either Tamarin or Proverif. It's probably not a lot of work, few hours perhaps.
Historical freelance listings.
Search