There are some critical details in the user guidance that can make the difference between secure and insecure.
“EAL5/6+” certified SEs mean nothing if they do not follow the proper use guidelines, or they do not integrate the SE in a secure way.
If you are wondering which HWWs: all of them.
nostr:note1kyzx4kplsqmytmj5wtg9gzsqwhvqqfvaymww8ek6aak352xexm9qmm93gu