sage icon indicating copy to clipboard operation
sage copied to clipboard
verified publisher icon spcl

sample code for sake

Open mengllm opened this issue 1 year ago • 0 comments

@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?

mengllm avatar Nov 12 '24 10:11 mengllm