Scyther Code Development for Protocol
Budget: $10 – $30 USD
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.
Key Requirements:
- Write Scyther code for the given protocol and I would like a copy of the code
- Analyze and verify the security properties of the code
- Provide the code in a way that it can be formally verified
The protocol details are provided in a text document. Ideally, the candidate for this project would have:
- Extensive experience with Scyther
- Strong understanding of protocol behavior and security properties
- Ability to analyze attack vectors
- Due date is 23 March 2025
Your bid should reflect your understanding of the project and your ability to deliver a high-quality Scyther code.
Key Requirements:
- Write Scyther code for the given protocol and I would like a copy of the code
- Analyze and verify the security properties of the code
- Provide the code in a way that it can be formally verified
The protocol details are provided in a text document. Ideally, the candidate for this project would have:
- Extensive experience with Scyther
- Strong understanding of protocol behavior and security properties
- Ability to analyze attack vectors
- Due date is 23 March 2025
Your bid should reflect your understanding of the project and your ability to deliver a high-quality Scyther code.