Tell Me More Than Just Assembly! Reversing Cyber-Physical Execution Semantics of Embedded IoT Controller Software Binaries

Keyphrases

• 3D Printer 25%
• Algorithm Parameters 25%
• Algorithmic Level 50%
• Application Domain 50%
• Binary Code Patching 25%
• Binary Codes 75%
• Binary Data 50%
• Control Algorithm 50%
• Control Applications 25%
• Controller 75%
• Cyber-physical 100%
• Cyber-physical Security 25%
• Data Injection Attack 25%
• Data Region 25%
• Drone 50%
• Dynamic Selectivity 25%
• Embedded Controller 25%
• Embedded Software 25%
• Engineering Framework 25%
• Execution Semantics 100%
• Firmware 25%
• Firmware Security 25%
• Home Robotics 25%
• IoT Control 25%
• IoT Controller 100%
• IoT Devices 25%
• Linux Kernel 50%
• Memory Data 25%
• Memory Forensic Analysis 25%
• Memory Protection 25%
• Physical Processes 25%
• Popular 25%
• Reverse Engineering 75%
• Robotics 25%
• Security Analysis 25%
• Security Flaws 25%
• Selective Memory 25%
• Self-driving Cars 25%
• Semantic Information 50%
• Semantic Matching 25%
• Smart Home 25%
• Software Binaries 100%
• State Estimation Algorithm 25%
• Symbolic Value 25%
• Vulnerability Assessment 25%
• Zero-day Vulnerabilities 25%

Computer Science

• And-States 33%
• Application Domain 66%
• Control Algorithm 66%
• Control Application 33%
• Data Memory 33%
• Embedded Software 33%
• Estimation Algorithm 33%
• Internet-Of-Things 100%
• Linux 66%
• Memory Forensics 33%
• Memory Protection 33%
• Physical Security 33%
• Printer 33%
• Reverse Engineering 100%
• Security Analysis 33%
• State Estimation 33%
• Vulnerability Assessment 33%
• Zero-Day Vulnerability 33%