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.