TCvisor: A hypervisor level secure storage. - Masoud Rezaei; Nafise Sadat Moosavi; Hamed Nemati; Reza Azmi (ICITST, 2010)

Virtual machine based security architecture. - Elahe Borghei; Reza Azmi; Alireza Ghahremanian; Hamed Nemati (WorldCIS, 2011)

Private Key based query on encrypted data. - Hammad Afzali; Hamed Nemati; Reza Azmi (ISC Int. J. Inf. Secur., 2012)

Formal verification of information flow security for a simple arm-based separation kernel. - Mads Dam; Roberto Guanciale; Narges Khakpour; Hamed Nemati; Oliver Schwarz (CCS, 2013)

Machine code verification of a tiny ARM hypervisor. - Mads Dam; Roberto Guanciale; Hamed Nemati (TrustED@CCS, 2013)

Trustworthy Prevention of Code Injection in Linux on Embedded Devices. - Hind Chfouka; Hamed Nemati; Roberto Guanciale; Mads Dam; Patrik Ekdahl (ESORICS (1), 2015)

Trustworthy Virtualization of the ARMv7 Memory Subsystem. - Hamed Nemati; Roberto Guanciale; Mads Dam (SOFSEM, 2015)

Trustworthy Memory Isolation of Linux on Embedded Devices. - Hamed Nemati; Mads Dam; Roberto Guanciale; Viktor Do; Arash Vahidi (TRUST, 2015)

Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures. - Roberto Guanciale; Hamed Nemati; Christoph Baumann; Mads Dam (IEEE Symposium on Security and Privacy, 2016)

Provably secure memory isolation for Linux on ARM. - Roberto Guanciale; Hamed Nemati; Mads Dam; Christoph Baumann (J. Comput. Secur., 2016)

Secure System Virtualization: End-to-End Verification of Memory Isolation. - Hamed Nemati (2017)

Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels. - Hamed Nemati; Christoph Baumann; Roberto Guanciale; Mads Dam (POST, 2018)

ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. - Ajay Brahmakshatriya; Piyus Kedia; Derrick Paul McKee; Deepak Garg 001; Akash Lal; Aseem Rastogi; Hamed Nemati; Anmol Panda; Pratik Bhatu (EuroSys, 2019)

Validation of Abstract Side-Channel Models for Computer Architectures. - Hamed Nemati; Pablo Buiras; Andreas Lindner; Roberto Guanciale; Swen Jacobs (CAV (1), 2020)

MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation. - Robert Künnemann; Hamed Nemati (ESORICS (2), 2020)

Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries. - Hojat Khosrowjerdi; Hamed Nemati; Karl Meinke (TAP@STAF, 2020)

Secure System Virtualization: End-to-End Verification of Memory Isolation. - Hamed Nemati (CoRR, 2020)

Speculative Leakage in ARM Cortex-A53. - Hamed Nemati; Roberto Guanciale; Pablo Buiras; Andreas Lindner (CoRR, 2020)

On Compositional Information Flow Aware Refinement. - Christoph Baumann; Mads Dam; Roberto Guanciale; Hamed Nemati (CSF, 2021)

Input Algebras. - Rahul Gopinath; Hamed Nemati; Andreas Zeller (ICSE, 2021)

Replication Package for Input Algebras. - Rahul Gopinath; Hamed Nemati; Andreas Zeller (ICSE (Companion Volume), 2021)

Validation of Side-Channel Models via Observation Refinement. - Pablo Buiras; Hamed Nemati; Andreas Lindner; Roberto Guanciale (MICRO, 2021)

Osiris: Automated Discovery of Microarchitectural Side Channels. - Daniel Weber 007; Ahmad Ibrahim 002; Hamed Nemati; Michael Schwarz 001; Christian Rossow (USENIX Security Symposium, 2021)

Relational Models of Microarchitectures for Formal Security Analyses. - Nicholas Mosier; Hanna Lachnitt; Hamed Nemati; Caroline Trippel (CoRR, 2021)

A Case Study in Information Flow Refinement for Low Level Systems. - Roberto Guanciale; Christoph Baumann; Pablo Buiras; Mads Dam; Hamed Nemati (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels. - Ahmad Ibrahim 002; Hamed Nemati; Till Schlüter; Nils Ole Tippenhauer; Christian Rossow (CCS, 2022)

Axiomatic hardware-software contracts for security. - Nicholas Mosier; Hanna Lachnitt; Hamed Nemati; Caroline Trippel (ISCA, 2022)

CryptoBap: A Binary Analysis Platform for Cryptographic Protocols. - Faezeh Nasrabadi; Robert Künnemann; Hamed Nemati (CCS, 2023)

FetchBench: Systematic Identification and Characterization of Proprietary Prefetchers. - Till Schlüter; Amit Choudhari; Lorenz Hetterich; Leon Trampert; Hamed Nemati; Ahmad Ibrahim 002; Michael Schwarz 001; Christian Rossow; Nils Ole Tippenhauer (CCS, 2023)

SEAL: Capability-Based Access Control for Data-Analytic Scenarios. - Hamed Rasifard; Rahul Gopinath; Michael Backes 001; Hamed Nemati (SACMAT, 2023)

Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. - Tiziano Marinaro; Pablo Buiras; Andreas Lindner; Roberto Guanciale; Hamed Nemati (AsiaCCS, 2024)

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time. - Nicholas Mosier; Hamed Nemati; John C. Mitchell; Caroline Trippel (SP, 2024)

Symbolic Parallel Composition for Multi-language Protocol Verification. - Faezeh Nasrabadi; Robert Künnemann; Hamed Nemati (CSF, 2025)

Analyzing and Exploiting Branch Mispredictions in Microcode. - Nicholas Mosier; Hamed Nemati; John C. Mitchell; Caroline Trippel (CoRR, 2025)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic. - Mads Dam; Hamed Nemati (CoRR, 2025)

Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA. - Karl Palmskog; Andreas Lindner; Scott Constable; Roberto Guanciale; Hamed Nemati (CoRR, 2025)