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

Imtiaz Karim, Syed Rafiul Hussain, Elisa Bertino

Browse the full ICDCS paper archive.