EAC_Tamarin_Analysis