CTI-HAL: A Human-Annotated Dataset for Cyber Threat Intelligence Analysis. - Sofia Della Penna; Roberto Natella; Vittorio Orbinato; Lorenzo Parracino; Luciano Pianese (EuroS&P (Workshops), 2025)