Model a protocol in tamarin prover.
$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.
プロジェクト ID: 32281765
プロジェクトについて
リモートプロジェクト
アクティブ 2年前
お金を稼ぎたいですか?
Freelancerで入札する利点