Control-Flow Checking Using Branch Sequence Signatures. - Liping Liu 003; Linlin Ci; Wei Liu 071; Cheng Bin (iThings/GreenCom/CPSCom/SmartData, 2016)