EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols.
Fatimah AljaafariLucas C. CordeiroMustafa A. MustafaRafael MenezesPublished in: CoRR (2021)
Keyphrases
- cryptographic protocols
- software tools
- security properties
- security vulnerabilities
- formal verification
- standard model
- management system
- source code
- information security
- software systems
- software development
- security protocols
- software architecture
- database
- formal methods
- anomaly detection
- wireless sensor networks
- real time