evaluating large language models for symbolic security protocol analysis
stable agentic control cyber defense
verifying rust cryptography in symcrypt
formally verified 3d csg lean4