The authors explore how many-core platforms can be used to enhance the security of future systems and to support important security properties such as runtime isolation using a small Trusted Computing Base (TCB). They focus on the Intel Single-chip Cloud Computer (SCC) to show that such properties can be implemented in current systems. They design a system called SEMA which offers strong security properties while maintaining high performance and flexibility enabled by a small centralized security kernel. They further implement and evaluate the feasibility of their design. Currently, their prototype security kernel is able to execute applications in isolation and accommodate dynamic resource requests from them.