Secure system design and trustable computing - Chang, Chip-Hong; Potkonjak, Miodrag (Springer, 2016)