Keyphrases
Incision
100%
Reverse Engineering
100%
Embedded Devices
100%
Two-tiered
100%
Trusted Computing Base
100%
Firmware
75%
Hardware Components
33%
End Device
25%
Engineering Framework
25%
Automotive ECU
25%
Commodity Systems
25%
Engineering Process
25%
4G LTE
25%
Operating System
25%
Feedback Loop
25%
Security Analysis
25%
Static Analysis
25%
Agnostic
25%
In Tandem
25%
Dynamic Analysis
25%
Challenging Tasks
25%
Tool Support
25%
Instruction Sets
25%
Complex Security
16%
Automatic Protocols
16%
Security Updates
16%
Secure Boot
16%
Corrupt
16%
Attacker
16%
Secure Services
16%
Software Components
16%
Security Properties
16%
Recovery Mechanism
16%
ProVerif
16%
Security Services
16%
Two-tier
16%
Attestation
16%
Memory Regions
16%
Protocol Verifier
16%
Secret Data
16%
Computer Science
Reverse Engineering
100%
Embedded Device
100%
Trusted Computing Base
100%
Hardware Component
33%
End User Device
25%
Security Analysis
25%
Feedback Loop
25%
Dynamic Analysis
25%
Operating System
25%
Attackers
16%
Security Properties
16%
Software Component
16%
Security Service
16%
secret data
16%