Scyther Code Development for Protocol
I'm looking for an expert in formal verification and Scyther programming to write a Scyther code based on some provided documents detailing a specific protocol. The primary goal of this project is to ensure the code is capable of formal verification... (Budget: $10 - $30 USD, Jobs: Cryptography, Internet of Things (IoT), Web Security)
