Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE.

Lesly-Ann Daniel, Sbastien Bardin, Tamara Rezk

Browse the full NDSS paper archive.