Items where Author is "Nemati, Hamed"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 19.

Nasrabadi, Faezeh and Künnemann, Robert and Nemati, Hamed
(2023) CryptoBap: A Binary Analysis Platform for Cryptographic Protocols.
In: ACM SIGSAC Conference on Computer and Communications Security (CCS).
Conference: CCS ACM Conference on Computer and Communications Security

Schlüter, Till and Choudhari, Amit and Hetterich, Lorenz and Trampert, Leon and Nemati, Hamed and Ibrahim, Ahmad and Schwarz, Michael and Rossow, Christian and Tippenhauer, Nils Ole
(2023) FetchBench: Systematic Identification and Characterization of Proprietary Prefetchers.
In: CCS 2023, 26-30 Nov 2023, Copenhagen, Denmark.
Conference: CCS ACM Conference on Computer and Communications Security

Mosier, Nicholas and Eselius, Kate and Nemati, Hamed and Mitchell, John and Trippel, Caroline
(2023) Hardware-Software Codesign for Mitigating Spectre.
In: Workshop on Programming Languages for Architecture.
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation

Rasifard, Hamed and Gopinath, Rahul and Backes, Michael and Nemati, Hamed
(2023) SEAL: Capability-Based Access Control for Data-Analytic Scenarios.
In: ACM SACMAT 2023.
Conference: SACMAT ACM Symposium on Access Control Models and Technologies (previously ACM Workshop on Role-Based Access Control, RBAC, changed in 2000)
(In Press)

Ibrahim, Ahmad and Nemati, Hamed and Schlüter, Till and Tippenhauer, Nils Ole and Rossow, Christian
(2022) Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels.
In: CCS 2022, 7-11 Nov 2022, Los Angeles, CA, USA.
Conference: CCS ACM Conference on Computer and Communications Security

Mosier, Nicholas and Lachnitt, Hanna and Nemati, Hamed and Trippel, Caroline
(2022) Axiomatic hardware-software contracts for security.
In: The 49th International Symposium on Computer Architecture..
Conference: ISCA ACM International Symposium on Computer Architecture

Guanciale, Roberto and Baumann, Christoph and Buiras, Pablo and Dam, Mads and Nemati, Hamed
(2022) A Case Study in Information Flow Refinement for Low Level Systems.
In: The Logic of Software. A Tasting Menu of Formal Methods. Springer International Publishing, pp. 54-79. ISBN 978-3-031-08166-8

Buiras, Pablo and Nemati, Hamed and Lindner, Andreas and Guanciale, Roberto
(2021) Validation of Side-Channel Models via Observation Refinement.
In: MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, Virtual Event, Greece, October 18-22, 2021.
Conference: MICRO International Symposium on Microarchitecture

Weber, Daniel and Ibrahim, Ahmad and Nemati, Hamed and Schwarz, Michael and Rossow, Christian
(2021) Osiris: Automated Discovery of Microarchitectural Side Channels.
In: 30th USENIX Security Symposium (USENIX Security '21), 11-13 August, 2021.
Conference: USENIX-Security Usenix Security Symposium
(In Press)

Baumann, Christoph and Dam, Mads and Guanciale, Roberto and Nemati, Hamed
(2021) On Compositional Information Flow Aware Refinement.
In: 34th IEEE Computer Security Foundations Symposium.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Gopinath, Rahul and Nemati, Hamed and Zeller, Andreas
(2021) Input Algebras.
In: International Conference on Software Engineering (ICSE).
Conference: ICSE International Conference on Software Engineering

Künnemann, Robert and Nemati, Hamed
(2020) MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation.
In: Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II.
Conference: ESORICS European Symposium On Research In Computer Security

Nemati, Hamed and Buiras, Pablo and Lindner, Andreas and Guanciale, Roberto and Jacobs, Swen
(2020) Validation of Abstract Side-Channel Models for Computer Architectures.
In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I.
Conference: CAV Computer Aided Verification

Khosrowjerdi, Hojat and Nemati, Hamed and Meinke, Karl
(2020) Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries.
In: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings postponed.
Conference: TAP International Conference on Tests and Proofs

Brahmakshatriya, Ajay and Kedia, Piyus and Nemati, Hamed and McKee, Derrick and Bhatu, Pratik and Garg, Deepak and Lal, Akash and Rastogi, Aseem
(2019) ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code.
In: Proceedings of the Fourteenth EuroSys Conference 2019, March 25-28, 2019, Dresden, Germany.
Conference: EuroSys Eurosys Conference

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

Nemati, Hamed and Baumann, Christoph and Guanciale, Roberto and Dam, Mads
(2018) Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels.
In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.
Conference: POST International Conference on Principles of Security and Trust

Brahmakshatriya, Ajay and Kedia, Piyus and Nemati, Hamed and McKee, Derrick and Bhatu, Pratik and Garg, Deepak and Lal, Akash and Rastogi, Aseem
(2018) CONFLLVM: Compiler-Based Information Flow Control in Low-Level Code.
In: In Submission.
Conference: EuroS&P IEEE European Symposium on Security and Privacy
(Submitted)

Baumann, Christoph and Guanciale, Roberto and Nemati, Hamed and Dam, Mads
(2018) Verifying System Level Information Flow Using Confidentiality-Preserving Refinement.
In: In Submission.
Conference: SP IEEE Symposium on Security and Privacy
(Submitted)

This list was generated on Wed Jan 8 18:19:09 2025 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.