ProChecker: An Automated Security and Privacy Analysis Framework for 4G LTE Protocol Implementations.
Imtiaz KarimSyed Rafiul HussainElisa BertinoPublished in: ICDCS (2021)
Keyphrases
- security issues
- formal analysis
- cryptographic protocols
- authentication protocol
- security analysis
- statistical databases
- secure multiparty computation
- rfid systems
- personal data
- privacy preserving
- multi party
- personal information
- information security
- intrusion detection
- lightweight
- security services
- confidential information
- key agreement protocol
- access control