Secure Bootloader Firmware Verification Logic

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Existing control devices lack effective mechanisms to verify the integrity of their own firmware and that of external devices, making them vulnerable to malware and unauthorized access.

Innovation Solution

A control device is designed with a secure-bootloader program code that performs legality checks on its own and external firmware, generating verification signals and ignoring requests from devices with tampered firmware.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Adaptability or versatility

If firmware is loaded from external devices, then device functionality is enhanced, but security risk increases due to potential malware injection

Engineering Contradiction:
Improvedevice functionalityVSAvoidsecurity risk
Core Design Contradiction:
Adaptability or versatilityVSReliability

Solution Approach 1:

The patent implements preliminary legality checks on firmware before execution. The secure-bootloader verifies the integrity of both internal specific program code and external device firmware through cryptographic validation. This preliminary verification prevents malicious code from being executed, thereby resolving the contradiction between enabling external device functionality and maintaining security.

Inventive Principle:
Principle #10Preliminary action

2Reliability

If firmware verification mechanisms are implemented, then security is improved, but device complexity increases

Engineering Contradiction:
Improvefirmware securityVSAvoidverification mechanism complexity
Core Design Contradiction:
ReliabilityVSDevice complexity

Solution Approach 1:

The patent introduces a secure-bootloader as an intermediary component that handles the complex verification tasks. Rather than embedding verification logic throughout the entire system, the secure-bootloader acts as a dedicated mediator that performs legality checks on firmware before execution. This concentrates the complexity in a single manageable component while maintaining security across the entire system.

Inventive Principle:
Principle #24Intermediary (Mediator)

Solution Approach 2:

The verification system is segmented into distinct components: the secure-bootloader for verification, the specific program code for execution, and separate storage areas for firmware. This segmentation allows each component to be optimized independently and simplifies the overall system architecture by clearly defining boundaries between verification and execution functions.

Inventive Principle:
Principle #1Segmentation

3Reliability

If legality checks are performed on all firmware, then trustworthiness is ensured, but processing time increases

Engineering Contradiction:
Improvefirmware trustworthinessVSAvoidverification processing time
Core Design Contradiction:
ReliabilityVSLoss of time

Solution Approach 1:

The legality checks are performed preliminarily during the boot process before the main system operations begin. The secure-bootloader verifies firmware integrity upfront, so that once verification is complete, the system can operate without continuous verification overhead. This timing strategy ensures trustworthiness while minimizing the impact on operational processing time.

Inventive Principle:
Principle #10Preliminary action

Data Source

PatentUS20250131094A1Control device to verify its own firmware as well as firmware of external device
Publication Date: 2025.04.24 NUVOTON
  • US20250131094A1 patent drawing
  • US20250131094A1 patent drawing
  • US20250131094A1 patent drawing

AI summary

A control device includes a first memory, a second memory, a processing circuit and an input-output interface. The first memory stores a secure-bootloader program code. The second memory stores a first specific program code. The processing circuit performs the secure-bootloader program code to execute a first legality verification on the first specific program code. When the first specific program code passes the first legality verification, the processing circuit performs the first specific program code to generate a verification signal. The input-output interface is configured to output the verification signal to an external device and receives a response signal from the external device. The processing circuit executes a second legality verification on the reply signal. When the reply signal does not pass the second legality check, the processing circuit ignores a request from the external device.