Hamed Nemati
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
14
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | HPCA | Protean: A Programmable Spectre Defense. | Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel |
| 2026 | VMCAI | Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification. | Andreas Lindner, Karl Palmskog, Scott Constable, Mads Dam, Roberto Guanciale, Hamed Nemati |
| 2024 | AsiaCCS | Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. | Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati |
| 2024 | SP | Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. | Nicholas Mosier, Hamed Nemati, John C. Mitchell, Caroline Trippel |
| 2023 | CCS | CryptoBap: A Binary Analysis Platform for Cryptographic Protocols. | Faezeh Nasrabadi, Robert Knnemann, Hamed Nemati |
| 2023 | CCS | FetchBench: Systematic Identification and Characterization of Proprietary Prefetchers. | Till Schlter, Amit Choudhari, Lorenz Hetterich, Leon Trampert, Hamed Nemati, Ahmad Ibrahim, Michael Schwarz, Christian Rossow, Nils Ole Tippenhauer |
| 2023 | SACMAT | SEAL: Capability-Based Access Control for Data-Analytic Scenarios. | Hamed Rasifard, Rahul Gopinath, Michael Backes, Hamed Nemati |
| 2022 | CCS | Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels. | Ahmad Ibrahim, Hamed Nemati, Till Schlter, Nils Ole Tippenhauer, Christian Rossow |
| 2022 | ISCA | Axiomatic hardware-software contracts for security. | Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel |
| 2021 | ICSE | Input Algebras. | Rahul Gopinath, Hamed Nemati, Andreas Zeller |
| 2021 | ICSE | Replication Package for Input Algebras. | Rahul Gopinath, Hamed Nemati, Andreas Zeller |
| 2021 | MICRO | Validation of Side-Channel Models via Observation Refinement. | Pablo Buiras, Hamed Nemati, Andreas Lindner, Roberto Guanciale |
| 2020 | CAV | Validation of Abstract Side-Channel Models for Computer Architectures. | Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs |
| 2020 | ESORICS | MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation. | Robert Knnemann, Hamed Nemati |
| 2020 | TAP | Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries. | Hojat Khosrowjerdi, Hamed Nemati, Karl Meinke |
| 2019 | EuroSys | ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. | Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu |
| 2016 | SP | Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures. | Roberto Guanciale, Hamed Nemati, Christoph Baumann, Mads Dam |
| 2015 | ESORICS | Trustworthy Prevention of Code Injection in Linux on Embedded Devices. | Hind Chfouka, Hamed Nemati, Roberto Guanciale, Mads Dam, Patrik Ekdahl |
| 2015 | SOFSEM | Trustworthy Virtualization of the ARMv7 Memory Subsystem. | Hamed Nemati, Roberto Guanciale, Mads Dam |
| 2013 | CCS | Formal verification of information flow security for a simple arm-based separation kernel. | Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz |
| 2013 | CCS | Machine code verification of a tiny ARM hypervisor. | Mads Dam, Roberto Guanciale, Hamed Nemati |