Need a small project done in Tamarin Prover or Proverif

I need to implement a communication protocol in either Tamarin or Proverif. It’s probably not a lot of work, few hours perhaps. More info in dm. (Budget: $10 – $30 USD, Jobs: Cryptography, Telecommunications Engineering)
Read More
Freelancer – New Projects
Cryptography, Telecommunications Engineering

Scroll to Top