Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hamed Nemati
conf.researchr.org general profile
HPCA/CGO/PPoPP/CC 2026 profile
ICSE 2021 profile
POPL 2019 profile
POPL 2025 profile
POPL 2026 profile
Registered user since Wed 10 Feb 2021
Name:
Hamed Nemati
Country:
Sweden
Affiliation:
KTH Royal Institute of Technology
Contributions
2026
HPCA
Author of Protean: A Programmable Spectre Defense within the Main Conference-track
VMCAI
Author of Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification within the VMCAI 2026-track
2025
PriSC
Committee Member in Program Committee within the PriSC 2025-track
2021
ICSE
Author of Replication package for Input Algebras within the AE - Artifact Evaluation-track
Author of Input Algebras within the Technical Track-track
2019
PriSC
Author of Confidentiality-Preserving Refinement within the PriSC 2019-track
Share
x
Tue 10 Mar 11:07
