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

Mirza Masfiqur RahmanImtiaz KarimElisa Bertino
Published in: USENIX Security Symposium (2024)