Hamed Nemati

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