ProChecker: An Automated Security and Privacy Analysis Framework for 4G LTE Protocol Implementations

Year
2021
Type(s)
Author(s)
Imtiaz Karim, Syed Rafiul Hussain, Elisa Bertino
Source
The 41st IEEE International Conference on Distributed Computing Systems (ICDCS), 2021.
Download FIle