Number of items: 3.
B
Baumann, Christoph and Dam, Mads and Guanciale, Roberto and Nemati, Hamed
(2021)
On Compositional Information Flow Aware Refinement.
Buiras, Pablo and Nemati, Hamed and Lindner, Andreas and Guanciale, Roberto
(2021)
Validation of Side-Channel Models via Observation Refinement.
G
Gopinath, Rahul and Nemati, Hamed and Zeller, Andreas
(2021)
Input Algebras.
This list was generated on Thu Oct 10 01:21:44 2024 CEST.