Automated Security Analysis for Real-World IoT Devices.
Lélio BrunIchiro HasuoYasushi OnoTaro SekiyamaPublished in: HASP@MICRO (2023)
Keyphrases
- security analysis
- real world
- smart card
- public key
- security requirements
- high security
- security model
- management system
- encryption scheme
- mutual authentication
- user authentication
- security properties
- mobile devices
- image encryption
- authentication protocol
- authentication scheme
- proxy signature scheme
- rfid systems
- case study
- cloud computing
- information systems