Trusted Execution Environment can prevent DoS attacks.
1. Evict+Time requires knowledge of cache structure to properly trigger cache contention in a system.
2. Security policies no longer need to be defined when using Security Policy Enforcement Architectures. 3. Modifications to DfD are needed to maintain both security and controllability of internal signals.
4. For pre-silicon verification, formal verification can be applied on large designs.