LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?

arXiv cs.CR · 29 sept, 06:00

Investigadores evalúan sistemáticamente la capacidad de grandes modelos de lenguaje para verificación automática de protocolos criptográficos mediante un nuevo método llamado CRoST. Los resultados muestran que los modelos actuales logran una cobertura promedio del 38,82% en la generación de lemas, lo que indica un potencial limitado pero presente en esta tarea.