Poster: Automated Security Property Extraction from Protocol Specifications.

Hassan Asghar, Myeong-Ha Hwang, Jeonghyun Joo, Heewoon Kang, YooJin Kwon, Kazi Samin Mubasshir, Imtiaz Karim, Elisa Bertino, Hyunwoo Lee

Browse the full ICNP paper archive.