Number of items: 3.
Conference or Workshop Item (A Paper)
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.
Gopinath, Rahul and Nemati, Hamed and Zeller, Andreas
(2021)
Input Algebras.
This list was generated on Sat Dec 21 15:39:09 2024 CET.