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

Year

2021

Type(s)

Conference proceedings

Author(s)

Imtiaz Karim, Syed Rafiul Hussain, Elisa Bertino

Source

The 41st IEEE International Conference on Distributed Computing Systems (ICDCS), 2021.