@and-ivanov @benrothen
Hi,
I have verified the SAKE protocol using the Tamarin prover tool. Currently, only the code for SHA256 hashing and random number generation is available;there is no sample code for MAC, modular exponentiation, DH key exchange, or message transfer.
Could you provide the complete sample code for the SAKE protocol?
@and-ivanov @benrothen
Hi,
I have verified the SAKE protocol using the Tamarin prover tool. Currently, only the code for SHA256 hashing and random number generation is available;there is no sample code for MAC, modular exponentiation, DH key exchange, or message transfer.
Could you provide the complete sample code for the SAKE protocol?