2 papers
cs.CR2026
SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents
Dawei Huang, Hui Li, Bo Jia +4
Formal verification provides rigorous guarantees for cryptographic security, yet extracting formalizable security goals from natural-language protocol documents remains largely man…
astro-ph2007
A complex environment around Cir X-1
A. D'Ai, R. Iaria, T. Di Salvo +2
We present the results of an archival 54 ks long Chandra observation of the peculiar source Cir X--1 during the phase passage 0.223-0.261. A comparative analysis of X-ray spectra,…