A Trusted Safety Verifier for Process Controller Code

Keyphrases

• Controller 100%
• Verifier 100%
• Control System 28%
• Trusted Computing Base 28%
• Vulnerability 14%
• Physical Processes 14%
• Attacker 14%
• Verification Method 14%
• Embedded Systems 14%
• Bump 14%
• Process Engineering 14%
• Symbolic Execution 14%
• Demonstratives 14%
• Programmable Controller 14%
• System Operator 14%
• Physical Safety 14%
• Network Systems 14%
• Attack Vectors 14%
• Process Safety 14%
• Safety-critical 14%
• Symbolic Models 14%
• Machining System 14%
• Security Vulnerabilities 14%
• Level Controller 14%
• Safety Properties 14%
• Safety Check 14%
• Safe Behavior 14%
• Impact Processes 14%
• Critical Code 14%
• Assembly-level 14%
• Firewall System 14%
• Safety Violation 14%
• Intermediate Language 14%
• Raspberry Pi Microcontroller 14%
• Safety Verification 14%

Computer Science

• Trusted Computing Base 100%
• Attackers 50%
• Model Checking 50%
• Symbolic Execution 50%
• Network Firewall 50%
• Raspberry Pi 50%
• Life Cycle Assessment 50%
• Security Vulnerability 50%
• Embedded System 50%
• Controller Level 50%