Hamed Nemati
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Spatio-temporal model-checking of cyber-physical systems using graph queries | 2022-11-09 | Paper |
| Validation of abstract side-channel models for computer architectures (available as arXiv preprint) | 2021-02-04 | Paper |
| Formal verification of integrity-preserving countermeasures against cache storage side-channels | 2019-09-16 | Paper |
Research outcomes over time
This page was built for person: Hamed Nemati
