연구진이 강화 학습(RL) 기반 프레임워크를 개발하여 Tamarin 보안 프로토콜 분석의 효율성을 높였어요. AlphaZero와 AlphaProof에서 영감을 받은 이 방법은 기존 방식보다 더 많은 증명을 자동으로 찾아 더 짧은 증명을 생성해요.
Tamarin의 표준 검색 방식과 인간 전문가가 설계한 휴리스틱보다 성능이 뛰어나며, 16개의 사례 연구에서 효과를 입증했어요.
표준화된 인터페이스를 통해 Tamarin 사용자가 프로그래밍 방식으로 상호 작용할 수 있도록 지원하며, RL 기반 방법의 잠재력을 보여주었어요.