AI learns to prove security protocols faster and shorter

Original: Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin

Source: arxiv.org ↗