Number of items: 3.
Guanciale, Roberto and Baumann, Christoph and Buiras, Pablo and Dam, Mads and Nemati, Hamed
(2022)
A Case Study in Information Flow Refinement for Low Level Systems.
In:
The Logic of Software. A Tasting Menu of Formal Methods.
Springer International Publishing, pp. 54-79.
ISBN 978-3-031-08166-8
Buiras, Pablo and Nemati, Hamed and Lindner, Andreas and Guanciale, Roberto
(2021)
Validation of Side-Channel Models via Observation Refinement.
Nemati, Hamed and Buiras, Pablo and Lindner, Andreas and Guanciale, Roberto and Jacobs, Swen
(2020)
Validation of Abstract Side-Channel Models for Computer Architectures.
This list was generated on Wed Oct 9 23:17:59 2024 CEST.