Help to model the proposed enhanced 5G AKA in Tamarin

[Prince Kotoko]

Hello,

I am a student of the university of Ghana, working on a thesis to mitigate the vulnerability failure messages provide in the original 5G AKA. I have the proposed model but I am unable to model it with the Tamarin prover. 

I have two more weeks to present my work and I please need your help to put it into Tamarin codes. Your contribution will be cited and I am also ready to pay for the service. 

Please help me.

Thank you. 

[Deepak Sharma]

Dear Friend,

Can you help me out with the installation of Tamarin, as I am facing problem in installation.

Regards & thanks in advance

Deepak