DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems.
Garret CunninghamHarsha ChenjiDavid JuedesGordon StewartAvinash KaranthPublished in: ISQED (2023)
Keyphrases
- embedded systems
- intended meaning
- declarative semantics
- semantically equivalent
- operational semantics
- logic programming language
- low cost
- specification language
- embedded devices
- computing power
- real time systems
- logic programming
- resource limited
- embedded software
- programming environment
- real time image processing
- software systems
- deductive databases
- hardware software
- processing power
- access control
- cyber physical systems
- security issues
- formal semantics
- logic programs
- protocol stack
- programming language
- flash memory
- field programmable gate array
- consumer electronics
- embedded real time systems
- information security
- security requirements
- communication technologies
- hardware and software
- test cases
- hw sw
- case study
- artificial intelligence
- control flow
- intrusion detection
- data model
- real time