Alice and Bob Spec to Tamarin code

31 views

Skip to first unread message

mohit jangid

unread,

Mar 2, 2021, 8:44:49 PM3/2/21

to tamarin-prover

Hi All,

The research work at https://infsec.ethz.ch/research/software/anb.html on translating protocol specification to Tamarin code seems old. I am not able to run these generator codes because of depreciated package use.

Is there any updated code for the above work? Any other latest tool that we can possibly try?

Reply all

Reply to author

Forward

0 new messages