Closed

Model a protocol in tamarin prover.

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.

Skills: Security, Programming, Telecommunications Engineering

About the Client:
( 0 reviews ) Międzyrzecz, Poland

Project ID: #32281765