Security bugs in CPUs have critical security impacts to all the computation related hardware
and software components as it is the core of the computation. In spite of the fact that …

Hardware flaws are permanent and potent: hardware cannot be patched once fabricated,
and any flaws may undermine even formally verified software executing on top …

Dynamic verification is widely used to increase confidence in the correctness of RTL circuits
during the pre-silicon design phase. Despite numerous attempts over the last decades to …

A critical challenge in RTL verification is to generate effective test inputs. Recently, RFUZZ
proposed to use an automated software testing technique, namely Graybox Fuzzing, to …

As the complexity of modern processors has increased over the years, developing effective
verification strategies to identify bugs prior to manufacturing has become critical. Inspired by …

Modern processors are too complex to be bug free. Recently, a few hardware fuzzing
techniques have shown promising results in verifying processor designs. However, due to …

This short paper proposes two different ways for exploiting an evolutionary algorithm to
devise malware: the former targeting heuristic-based anti-virus scanner; the latter optimizing …

This paper proposes MAGE—A Malware Antigen Generating Evolutionary algorithm that is
capable of generating unseen variants of a given source malware. MAGE evolves malware …

As the pervasiveness of social networks increases, new NP-hard related problems become
interesting for the optimization community. The objective of influence maximization is to …

Among Real-Time Strategy games few titles have enjoyed the continued success of
StarCraft. Many research lines aimed at developing Artificial Intelligences, or “bots”, capable …