Concepedia

Hamed Nemati

HN

9

Publications

261

Citations

9

H-Index

2013

Active since

Affiliations

KTH Royal Institute of Technology(Current)

Helmholtz Center for Information Security

Hamed Nemati is an author at KTH Royal Institute of Technology specializing in hardware security, software analysis, and computer engineering.

Top concepts

EngineeringComputer ScienceHardware SecuritySoftware AnalysisComputer EngineeringFormal VerificationSystem SoftwareProgram AnalysisCryptographyData Security

Publications per year

2013–2023

9

Publications

9

Formal verification of information flow security for a simple arm-based separation kernel

Mads Dam, Roberto Guanciale, Narges Khakpour et al. · 2013 · 72 citations · Full text

Engineering, Information Security, Verification +22

Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures

Roberto Guanciale, Hamed Nemati, Christoph Baumann et al. · 2016 · 70 citations · Full text

Engineering, Information Security, Computer Architecture +17

Axiomatic hardware-software contracts for security

Nicholas Mosier, Hanna Lachnitt, Hamed Nemati et al. · 2022 · 26 citations · Full text

Engineering, Information Security, Axiomatic Hardware-software Contracts +18

Machine code verification of a tiny ARM hypervisor

Mads Dam, Roberto Guanciale, Hamed Nemati · 2013 · 25 citations · Full text

Machine Code Verification, Engineering, Hardware Verification Language +19

Osiris: Automated Discovery of Microarchitectural Side Channels

Daniel Weber, Ahmad Ibrahim, Hamed Nemati et al. · arXiv (Cornell University) · 2021 · 16 citations · Full text

Comet Lake Microarchitectures, Engineering, Computer Architecture +17

Rows per page

1–5 of 9