SoftwareProjectsOrganisationsSign in Limited functionality: Your browser does not support JavaScript.HIFIS Software SpotlightsAll software1FilterClearOrder byOrder byKeywords3Program languages9Licenses112Page 0 of 1 resultsTamarin ProverThe Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.Cryptographic ProtocolsFormal VerificationInformationHaskellPythonJavaScript+ 600