2 ms·

Side channel timing attacks are micro architectural. The SeL4 security proofs are architectural.

• warkdarrior 1mo ago
  Is cache hierarchy considered part of the microarchitecture?