Old Web
English
Sign In
Acemap
>
authorDetail
>
Hamed Nemati
Hamed Nemati
Saarland University
Distributed computing
Computer science
Confidentiality
Soundness
Hypervisor
5
Papers
5
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
On Compositional Information Flow Aware Refinement
2021
| IEEE Computer Security Foundations Workshop
Christoph Baumann
Mads Dam
Roberto Guanciale
Hamed Nemati
Show All
Source
Cite
Save
Citations (0)
Validation of Abstract Side-Channel Models for Computer Architectures
2020
CAV | Computer Aided Verification
Hamed Nemati
Pablo Buiras
Andreas Lindner
Roberto Guanciale
Swen Jacobs
Show All
Source
Cite
Save
Citations (0)
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code
2019
EuroSys | European Conference on Computer Systems
Ajay Brahmakshatriya
Piyus Kedia
Derrick Paul McKee
Deepak Garg
Akash Lal
Aseem Rastogi
Hamed Nemati
Anmol Panda
Pratik Bhatu
Show All
Source
Cite
Save
Citations (4)
Verifying System Level Information Flow Using Confidentiality-Preserving Refinement
2018
Christoph Baumann
Roberto Guanciale
Hamed Nemati
Mads Dam
Show All
Source
Cite
Save
Citations (0)
Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels
2018
POST | Principles of Security and Trust
Hamed Nemati
Christoph Baumann
Roberto Guanciale
Mads Dam
Show All
Source
Cite
Save
Citations (1)
1