Trezor's secure element is open source.
Stated this in the notes above.