The Security By Design (SBD) team, part of the Complex Cyber Infrastructure (CCI) group, researches how to secure embedded and cyber-physical systems, with a particular focus on side-channel attacks and efficient implementation of security primitives. We build secure implementations of hardware, software and hardware/software co-designed systems. We also design tools to automate the construction and the verification of secure systems and architectures.