An RL-guided MCTS proof search for Tamarin finds more and shorter proofs than standard search across 16 protocol models.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.CR 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
TF5 combines TESLA and GG09 IBS for efficient authentication of 5G system information broadcasts, with Tamarin verification and OpenAirInterface implementation.
citing papers explorer
-
Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
An RL-guided MCTS proof search for Tamarin finds more and shorter proofs than standard search across 16 protocol models.
-
TESLA-for-5G: Broadcast Authentication for 5G Networks Using TESLA
TF5 combines TESLA and GG09 IBS for efficient authentication of 5G system information broadcasts, with Tamarin verification and OpenAirInterface implementation.