Even if you run fully verified and open-source software, side-channel attacks focus on how the software interacts with the hardware, particularly during sensitive operations like cryptographic computations.

You are vulnerable to

1. Hardware Backdoors

2. Timing Attacks

3. Power Analysis

4. Electromagnetic Emanations

Even with verified software, side-channel attacks can exploit weaknesses in pre-installed chips or the board itself. The software may perform securely from a logical perspective, but the physical properties of the hardware can leak information through side channels. To defend against these attacks, both the software and hardware need to be carefully designed with side-channel resistance in mind. Devices with secure hardware elements and robust physical defenses are more resistant to such attacks.