Architectures for Secure Computers and Smartphones

Our goal is to design security into all computers. For modern computer systems, we study cache side-channel attacks, speculative execution attacks like Spectre and Meltdown, zero-day attacks, and their defenses. Topics include the design of secure processors, secure caches, trusted execution environments, anomaly detection, self-protecting data, deep learning for security, and smartphone architecture and security. We study fundamental security concepts like cryptography, security policies and protocols, and how to apply them in secure hardware and system design.