Work

Poster: Automated Security Property Extraction from Protocol Specifications

Year: 2025

Type: conference-paper

Source: Proceedings/Proceedings - International Conference on Network Protocols

DOI: 10.1109/icnp65844.2025.11192438

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

Institutions: Kentech Corporation (Japan), Korea Electric Power Research Institute, Purdue University West Lafayette, The University of Texas at Dallas

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7090287875

FWCI:

Cites: 3

Cited by:

Related to: