As a part of the EMBOSOM project, I work on providing verifiable security for common threat models on low memory embedded systems. My main interest is implementing these security features in hardware instead of software using an appropriate instruction set architecture, such as CHERI.