Formal security analysis of smart embedded systems.
Farid Molazem TabriziKarthik PattabiramanPublished in: ACSAC (2016)
Keyphrases
- embedded systems
- security analysis
- low cost
- public key
- embedded software
- smart card
- embedded devices
- security requirements
- encryption scheme
- user authentication
- formal model
- software systems
- resource constrained
- field programmable gate array
- authentication protocol
- formal specification
- formal methods
- query processing
- smart grid
- multi agent
- real time