Validation of Abstract Side-Channel Models for Computer Architectures.

Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs

Browse the full CAV paper archive.