Hamed Nemati

ORCID

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 30

Top Venues

CoRR

CCS

IEEE Symposium on Security and Privacy

ICSE (Companion Volume)

Royal Institute of Technology, Stockholm, Sweden (PHD)

Education History

Royal Institute of Technology, Stockholm, Sweden

PHD

Publications

Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols. CCS (2023)
Faezeh Nasrabadi, Robert Künnemann, Hamed Nemati
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols. CoRR (2023)
Hamed Rasifard, Rahul Gopinath, Michael Backes, Hamed Nemati
SEAL: Capability-Based Access Control for Data-Analytic Scenarios. SACMAT (2023)
Till Schlüter, Amit Choudhari, Lorenz Hetterich, Leon Trampert, Hamed Nemati, Ahmad Ibrahim, Michael Schwarz, Christian Rossow, Nils Ole Tippenhauer
FetchBench: Systematic Identification and Characterization of Proprietary Prefetchers. CCS (2023)
Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. CoRR (2023)
Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. CoRR (2023)
Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati
A Case Study in Information Flow Refinement for Low Level Systems. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
Axiomatic hardware-software contracts for security. ISCA (2022)
Ahmad Ibrahim, Hamed Nemati, Till Schlüter, Nils Ole Tippenhauer, Christian Rossow
Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels. CCS (2022)
Ahmad Ibrahim, Hamed Nemati, Till Schlüter, Nils Ole Tippenhauer, Christian Rossow
Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels. CoRR (2022)
Christoph Baumann, Mads Dam, Roberto Guanciale, Hamed Nemati
On Compositional Information Flow Aware Refinement. CSF (2021)
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
Relational Models of Microarchitectures for Formal Security Analyses. CoRR (2021)
Rahul Gopinath, Hamed Nemati, Andreas Zeller
Input Algebras. ICSE (2021)
Pablo Buiras, Hamed Nemati, Andreas Lindner, Roberto Guanciale
Validation of Side-Channel Models via Observation Refinement. MICRO (2021)
Daniel Weber, Ahmad Ibrahim, Hamed Nemati, Michael Schwarz, Christian Rossow
Osiris: Automated Discovery of Microarchitectural Side Channels. USENIX Security Symposium (2021)
Daniel Weber, Ahmad Ibrahim, Hamed Nemati, Michael Schwarz, Christian Rossow
Osiris: Automated Discovery of Microarchitectural Side Channels. CoRR (2021)
Rahul Gopinath, Hamed Nemati, Andreas Zeller
Replication Package for Input Algebras. ICSE (Companion Volume) (2021)
Robert Künnemann, Hamed Nemati
MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation. ESORICS (2) (2020)
Hojat Khosrowjerdi, Hamed Nemati, Karl Meinke
Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries. TAP@STAF (2020)
Hamed Nemati
Secure System Virtualization: End-to-End Verification of Memory Isolation. CoRR (2020)
Hamed Nemati, Roberto Guanciale, Pablo Buiras, Andreas Lindner
Speculative Leakage in ARM Cortex-A53. CoRR (2020)
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs
Validation of Abstract Side-Channel Models for Computer Architectures. CoRR (2020)
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs
Validation of Abstract Side-Channel Models for Computer Architectures. CAV (1) (2020)
Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. EuroSys (2019)
Hamed Nemati, Christoph Baumann, Roberto Guanciale, Mads Dam
Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels. POST (2018)
Roberto Guanciale, Hamed Nemati, Mads Dam, Christoph Baumann
Provably secure memory isolation for Linux on ARM. J. Comput. Secur. 24 (6) (2016)
Roberto Guanciale, Hamed Nemati, Christoph Baumann, Mads Dam
Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures. IEEE Symposium on Security and Privacy (2016)
Hamed Nemati, Roberto Guanciale, Mads Dam
Trustworthy Virtualization of the ARMv7 Memory Subsystem. SOFSEM (2015)
Hind Chfouka, Hamed Nemati, Roberto Guanciale, Mads Dam, Patrik Ekdahl
Trustworthy Prevention of Code Injection in Linux on Embedded Devices. ESORICS (1) (2015)
Hamed Nemati, Mads Dam, Roberto Guanciale, Viktor Do, Arash Vahidi
Trustworthy Memory Isolation of Linux on Embedded Devices. TRUST (2015)
Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz
Formal verification of information flow security for a simple arm-based separation kernel. CCS (2013)
Mads Dam, Roberto Guanciale, Hamed Nemati
Machine code verification of a tiny ARM hypervisor. TrustED@CCS (2013)
Hammad Afzali, Hamed Nemati, Reza Azmi
Private Key based query on encrypted data. ISC Int. J. Inf. Secur. 4 (1) (2012)
Elahe Borghei, Reza Azmi, Alireza Ghahremanian, Hamed Nemati
Virtual machine based security architecture. WorldCIS (2011)
Masoud Rezaei, Nafise Sadat Moosavi, Hamed Nemati, Reza Azmi
TCvisor: A hypervisor level secure storage. ICITST (2010)

Hamed Nemati.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hamed Nemati