Need algorithm implemented in Tamarin Prover
Budget: $30 – $50 USD
I need to implement a protocol based on a article in Tamarin. It's probably not a lot of work, few hours perhaps. More info in dm.
Historical freelance listings.
Search