Tamarin Prover
tamarin-prover.comTamarin Prover is a symbolic verification tool designed for the automated analysis of security protocols. It supports both proving correctness and falsifying specifications by automatically finding attacks or constructing proofs using multiset rewrite rules. The tool is widely used to analyze modern cryptographic standards, including TLS 1.3, 5G-AKA, and EMV.
LLM mention score The LLM mention score is the total number of mentions of this brand in different LLM chatbots, normalized to the scale from 0 to 100. You can get actual, non-normalized numbers via the LLM Mention API from DataForSEO.
Normalized 0–100 · last 8 weeks
DataForSEO API
Get LLM mention data of any company via DataForSEO API
Get access to the structured data on keyword, brand, and website mentions in LLMs, including metrics like AI search volume, impressions, and mentions count.
How to get LLM mention data →// Fetch Tamarin Prover mentions POST v3/ai_optimization/llm_mentions/search_mentions/live [ { "target": [ { "domain": "tamarin-prover.com", "search_filter": "include", "search_scope": ["sources"] } ], "order_by": ["ai_search_volume,desc"] } ]
