TamRL - Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin - Artifact Data
This artifact contains result data and models for the paper Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin. Corresponding code can be found at https://github.com/MatCos/TamRL for the Reinforcement Learning Framework, and at https://github.com/niklasmedinger/Tamarin-ML-API...
Matthias Cosler, Cas Cremers, Bernd Finkbeiner et al.
· Zenodo (CERN European Organi... · 0 citations