Model a protocol in tamarin prover.
Budget: $40 – $60 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