Scholar
Hamed Nemati
Google Scholar ID: E9nMgpgAAAAJ
KTH Royal Institute of Technology
Program Verification
Information Flow Security
Computer Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
502
H-index
13
i10-index
15
Publications
20
Co-authors
0
Contact
GitHub
Open ↗
LinkedIn
Open ↗
Publications
7 items
SADRA: Sound Capability-based Access Control System for Resource-Disaggregated Architectures
2026
Cited
0
Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs
2026
Cited
0
Automated Side-Channel Analysis of Cryptographic Protocol Implementations
2025
Cited
0
Symbolic Parallel Composition for Multi-language Protocol Verification
2025
Cited
0
Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA
2025
Cited
0
Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
2025
Cited
0
Analyzing and Exploiting Branch Mispredictions in Microcode
2025
Cited
0
