Validation of abstract side-channel models for computer architectures
From MaRDI portal
Publication:2225102
DOI10.1007/978-3-030-53288-8_12zbMath1478.68032arXiv2005.05254OpenAlexW3046515513MaRDI QIDQ2225102
Swen Jacobs, Hamed Nemati, Andreas Lindner, Roberto Guanciale, Pablo Buiras
Publication date: 4 February 2021
Full work available at URL: https://arxiv.org/abs/2005.05254
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Computer security (68M25)