Poster: Automated Security Property Extraction from Protocol Specifications. - Hassan Asghar 003; Myeong-Ha Hwang; Jeonghyun Joo; Heewoon Kang; YooJin Kwon; Kazi Samin Mubasshir; Imtiaz Karim; Elisa Bertino; Hyunwoo Lee 001 (ICNP, 2025)