Timing Attacks in Single-Chip Microcomputer through Workflow Verification | IEEE Conference Publication | IEEE Xplore