Satisfiability modulo theories (SMT) solvers implement a wide range of optimizations that are often tailored to particular class problems, and differ significantly between solvers. As result, one solver may solve query quickly while another might be flummoxed completely. Predicting the performance given is difficult for users SMT-driven applications, particularly when problems they have do not ...

CPU port contention has been used in the last years as a stateless side channel to perform side-channel attacks and transient execution attacks. One drawback of this is that it heavily relies on simultaneous multi-threading, which can be absent from some CPUs or simply disabled by OS. In paper, we present sequential contention, does not require SMT. It exploits sub-optimal scheduling ports for ...