CellularLint: A Systematic Approach to Identify Inconsistent Behavior in Cellular Network Specifications

TitleCellularLint: A Systematic Approach to Identify Inconsistent Behavior in Cellular Network Specifications
Publication TypeConference Paper
Year of Publication2024
AuthorsRahman MMasfiqur, Karim I, Bertino E
Conference Name33rd USENIX Security Symposium (USENIX Security 24)
Date Published08/2024
PublisherUSENIX Association
Conference LocationPhiladelphia, PA
ISBN Number978-1-939133-44-1
URLhttps://www.usenix.org/conference/usenixsecurity24/presentation/rahman