Schedule randomization is one of the recently introduced security defenses against
schedule-based attacks, ie, attacks whose success depends on a particular ordering …

Power side-channel attacks, capable of deducing secret data using statistical analysis, have
become a serious threat. Random masking is a widely used countermeasure for removing …

Concurrent software has been widely utilizing in computer systems owing to the highly
efficient computation. However, testing and verifying concurrent software remain challenging …