Nemati, H., Buiras, P., Lindner, A., Guanciale, R., Jacobs, S., 2020. Validation of Abstract Side-Channel Models for Computer Architectures, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-030-53288-8_12