Performance analysis of binary code protection. - David M. Nicol; Hamed Okhravi (WSC, 2005)

Applying Trusted Network Technology To Process Control Systems. - Hamed Okhravi; David M. Nicol (Critical Infrastructure Protection, 2008)

TrustGraph: Trusted Graphics Subsystem for High Assurance Systems. - Hamed Okhravi; David M. Nicol (ACSAC, 2009)

Information Leakage Detection in Distributed Systems using Software Agent. - Yung-Chuan Lee; Stephen Bishop; Hamed Okhravi; Shahram Rahimi 001 (IEEE IA, 2009)

PolicyGlobe: a framework for integrating network and operating system security policies. - Hamed Okhravi; Ryan H. Kagin; David M. Nicol (SafeConfig, 2009)

Application of trusted network technology to industrial control networks. - Hamed Okhravi; David M. Nicol (Int. J. Crit. Infrastructure Prot., 2009)

Data diodes in support of trustworthy cyber infrastructure. - Hamed Okhravi; Frederick T. Sheldon (CSIIRW, 2010)

Covert channel resistant information leakage protection using a multi-agent architecture. - Stephen Bishop; Hamed Okhravi; Shahram Rahimi 001; Yung-Chuan Lee (IET Inf. Secur., 2010)

Trusted and high assurance systems - Hamed Okhravi (2010)

MyABDAC: compiling XACML policies for attribute-based database access control. - Sonia Jahid; Carl A. Gunter; Imranul Hoque; Hamed Okhravi (CODASPY, 2011)

Creating a Cyber Moving Target for Critical Infrastructure Applications. - Hamed Okhravi; Adam Comella; Eric Robinson; Stephen Yannalfo; Peter Michaleas; Joshua W. Haines (Critical Infrastructure Protection, 2011)

Dedicated vs. distributed: A study of mission survivability metrics. - Hamed Okhravi; Andrew Johnson; Joshua W. Haines; Travis Mayberry; Agnes Hui Chan (MILCOM, 2011)

Creating a cyber moving target for critical infrastructure applications using platform diversity. - Hamed Okhravi; Adam Comella; Eric Robinson; Joshua W. Haines (Int. J. Crit. Infrastructure Prot., 2012)

Systematic Analysis of Defenses against Return-Oriented Programming. - Richard Skowyra; Kelly Casteel; Hamed Okhravi; Nickolai Zeldovich; William W. Streilein (RAID, 2013)

A Game Theoretic Approach to Strategy Determination for Dynamic Platform Defenses. - Kevin M. Carter 001; James Riordan; Hamed Okhravi (MTD@CCS, 2014)

On the Challenges of Effective Movement. - Thomas Hobson; Hamed Okhravi; David Bigelow; Robert Rudd; William W. Streilein (MTD@CCS, 2014)

Quantitative Evaluation of Dynamic Platform Techniques as a Defensive Mechanism. - Hamed Okhravi; James Riordan; Kevin M. Carter 001 (RAID, 2014)

Quantitative Analysis of Active Cyber Defenses Based on Temporal Platform Diversity. - Kevin M. Carter 001; Hamed Okhravi; James Riordan (CoRR, 2014)

Finding Focus in the Blur of Moving-Target Techniques. - Hamed Okhravi; Thomas Hobson; David Bigelow; William W. Streilein (IEEE Secur. Priv., 2014)

Timely Rerandomization for Mitigating Memory Disclosures. - David Bigelow; Thomas Hobson; Robert Rudd; William W. Streilein; Hamed Okhravi (CCS, 2015)

Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity. - Isaac Evans; Fan Long; Ulziibayar Otgonbaatar; Howard E. Shrobe; Martin C. Rinard; Hamed Okhravi; Stelios Sidiroglou-Douskos (CCS, 2015)

Getting Beyond Tit for Tat: Better Strategies for Moving Target Prototyping and Evaluation. - Hamed Okhravi (MTD@CCS, 2015)

Missing the Point(er): On the Effectiveness of Code Pointer Integrity. - Isaac Evans; Sam Fingeret; Julian Gonzalez; Ulziibayar Otgonbaatar; Tiffany Tang; Howard E. Shrobe; Stelios Sidiroglou-Douskos; Martin C. Rinard; Hamed Okhravi (IEEE Symposium on Security and Privacy, 2015)

Have No PHEAR: Networks Without Identifiers. - Richard Skowyra; Kevin Bauer; Veer Dedhia; Hamed Okhravi (MTD@CCS, 2016)

QUASAR: Quantitative Attack Space Analysis and Reasoning. - Richard Skowyra; Steven R. Gomez; David Bigelow; James Landry; Hamed Okhravi (ACSAC, 2017)

MTD 2017: Fourth ACM Workshop on Moving Target Defense (MTD). - Hamed Okhravi; Xinming Ou (CCS, 2017)

Address Oblivious Code Reuse: On the Effectiveness of Leakage Resilient Diversity. - Robert Rudd; Richard Skowyra; David Bigelow; Veer Dedhia; Thomas Hobson; Stephen Crane; Christopher Liebchen; Per Larsen; Lucas Davi; Michael Franz; Ahmad-Reza Sadeghi; Hamed Okhravi (NDSS, 2017)

BEADS: Automated Attack Discovery in OpenFlow-Based SDN Systems. - Samuel Jero; Xiangyu Bu; Cristina Nita-Rotaru; Hamed Okhravi; Richard Skowyra; Sonia Fahmy (RAID, 2017)

Identifier Binding Attacks and Defenses in Software-Defined Networks. - Samuel Jero; William Koch; Richard Skowyra; Hamed Okhravi; Cristina Nita-Rotaru; David Bigelow (USENIX Security Symposium, 2017)

Diversity and information leaks. - Stephen Crane; Andrei Homescu; Per Larsen; Hamed Okhravi; Michael Franz (The Continuing Arms Race, 2018)

On the Effectiveness of Type-based Control Flow Integrity. - Reza Mirzazade Farkhani; Saman Jafari; Sajjad Arshad; William K. Robertson; Engin Kirda; Hamed Okhravi (ACSAC, 2018)

Cross-App Poisoning in Software-Defined Networking. - Benjamin E. Ujcich; Samuel Jero; Anne Edmundson; Qi Wang 017; Richard Skowyra; James Landry; Adam Bates 001; William H. Sanders; Cristina Nita-Rotaru; Hamed Okhravi (CCS, 2018)

Effective Topology Tampering Attacks and Defenses in Software-Defined Networks. - Richard Skowyra; Lei Xu 024; Guofei Gu; Veer Dedhia; Thomas Hobson; Hamed Okhravi; James Landry (DSN, 2018)

TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines. - Jeremy Kepner; Ron Brightwell; Alan Edelman; Vijay Gadepally; Hayden Jananthan; Michael Jones 001; Sam Madden 001; Peter Michaleas; Hamed Okhravi; Kevin T. Pedretti; Albert Reuther; Thomas L. Sterling; et al. (HPEC, 2018)

There's a Hole in the Bottom of the C: On the Effectiveness of Allocation Protection. - Ronald Gil; Hamed Okhravi; Howard E. Shrobe (SecDev, 2018)

Changing the Game of Software Security. - Timothy Vidas; Per Larsen; Hamed Okhravi; Ahmad-Reza Sadeghi (IEEE Secur. Priv., 2018)

FirmFuzz: Automated IoT Firmware Introspection and Analysis. - Prashast Srivastava; Hui Peng; Jiahao Li; Hamed Okhravi; Howard E. Shrobe; Mathias Payer (IoT S&P@CCS, 2019)

Controller-Oblivious Dynamic Access Control in Software-Defined Networks. - Steven R. Gomez; Samuel Jero; Richard Skowyra; Jason Martin; Patrick Sullivan; David Bigelow; Zachary Ellenbogen; Bryan C. Ward; Hamed Okhravi; James W. Landry (DSN, 2019)

Control-Flow Integrity for Real-Time Embedded Systems. - Robert J. Walls; Nicholas F. Brown; Thomas Le Baron; Craig A. Shue; Hamed Okhravi; Bryan C. Ward (ECRTS, 2019)

The Leakage-Resilience Dilemma. - Bryan C. Ward; Richard Skowyra; Chad Spensky; Jason Martin; Hamed Okhravi (ESORICS (1), 2019)

MTD'20: 7th ACM Workshop on Moving Target Defense. - Hamed Okhravi; Cliff Wang (CCS, 2020)

Automated Discovery of Cross-Plane Event-Based Vulnerabilities in Software-Defined Networking. - Benjamin E. Ujcich; Samuel Jero; Richard Skowyra; Steven R. Gomez; Adam Bates 001; William H. Sanders; Hamed Okhravi (NDSS, 2020)

One Giant Leap for Computer Security. - Hamed Okhravi; Nathan Burow; Richard Skowyra; Bryan C. Ward; Samuel Jero; Roger Khazan; Howard E. Shrobe (IEEE Secur. Priv., 2020)

Keeping Safe Rust Safe with Galeed. - Elijah Rivera; Samuel Mergendahl; Howard E. Shrobe; Hamed Okhravi; Nathan Burow (ACSAC, 2021)

Conware: Automated Modeling of Hardware Peripherals. - Chad Spensky; Aravind Machiry; Nilo Redini; Colin Unger; Graham Foster; Evan Blasband; Hamed Okhravi; Christopher Kruegel; Giovanni Vigna (AsiaCCS, 2021)

Glitching Demystified: Analyzing Control-flow-based Glitching Attacks and Defenses. - Chad Spensky; Aravind Machiry; Nathan Burow; Hamed Okhravi; Rick Housley; Zhongshu Gu; Hani Jamjoom; Christopher Kruegel; Giovanni Vigna (DSN, 2021)

More than a Fair Share: Network Data Remanence Attacks against Secret Sharing-based Schemes. - Leila Rashidi; Daniel Kostecki; Alexander James; Anthony Peterson; Majid Ghaderi; Samuel Jero; Cristina Nita-Rotaru; Hamed Okhravi; Reihaneh Safavi-Naini (NDSS, 2021)

TORTIS: Retry-Free Software Transactional Memory for Real-Time Systems. - Claire Nord; Shai Caspin; Catherine E. Nemitz; Howard E. Shrobe; Hamed Okhravi; James H. Anderson; Nathan Burow; Bryan C. Ward (RTSS, 2021)

Causal Analysis for Software-Defined Networking Attacks. - Benjamin E. Ujcich; Samuel Jero; Richard Skowyra; Adam Bates 001; William H. Sanders; Hamed Okhravi (USENIX Security Symposium, 2021)

Lessons Learned From Designing a Security Architecture for Real-World Government Agencies. - Amy Dettmer; Hamed Okhravi; Kevin Perry; Nabil Schear; Richard Shay; Mary Ellen Zurko; Paula J. Donovan (IEEE Secur. Priv., 2021)

A Cybersecurity Moonshot. - Hamed Okhravi (IEEE Secur. Priv., 2021)

Perspectives on the SolarWinds Incident. - Sean Peisert; Bruce Schneier; Hamed Okhravi; Fabio Massacci; Terry Benzel; Carl E. Landwehr; Mohammad Mannan; Jelena Mirkovic; Atul Prakash 001; James Bret Michael (IEEE Secur. Priv., 2021)

MTD '22: 9th ACM Workshop on Moving Target Defense. - Hamed Okhravi; Cliff Wang (CCS, 2022)

Preventing Kernel Hacks with HAKCs. - Derrick Paul McKee; Yianni Giannaris; Carolina Ortega; Howard E. Shrobe; Mathias Payer; Hamed Okhravi; Nathan Burow (NDSS, 2022)

Cross-Language Attacks. - Samuel Mergendahl; Nathan Burow; Hamed Okhravi (NDSS, 2022)

"Free" as in Freedom to Protest? - Fabio Massacci; Antonino Sabetta; Jelena Mirkovic; Toby Murray; Hamed Okhravi; Mohammad Mannan; Anderson Rocha 001; Eric Bodden; Daniel E. Geer (IEEE Secur. Priv., 2022)

TAG: Tagged Architecture Guide. - Samuel Jero; Nathan Burow; Bryan C. Ward; Richard Skowyra; Roger Khazan; Howard E. Shrobe; Hamed Okhravi (ACM Comput. Surv., 2023)

Software Vulnerability Detection Using LLM: Does Additional Information Help? - Samiha Shimmi; Yash Saini; Mark Schaefer; Hamed Okhravi; Mona Rahimi (ACSAC Workshops, 2024)

Exploiting Temporal Vulnerabilities for Unauthorized Access in Intent-based Networking. - Ben Weintraub; Jiwon Kim 001; Ran Tao; Cristina Nita-Rotaru; Hamed Okhravi; Dave (Jing) Tian; Benjamin E. Ujcich (CCS, 2024)

VulSim: Leveraging Similarity of Multi-Dimensional Neighbor Embeddings for Vulnerability Detection. - Samiha Shimmi; Ashiqur Rahman; Mohan Gadde; Hamed Okhravi; Mona Rahimi (USENIX Security Symposium, 2024)

Memory Safety. - Hamed Okhravi (IEEE Secur. Priv., 2024)

Security Challenges of Intent-Based Networking. - Jiwon Kim 001; Hamed Okhravi; Dave (Jing) Tian; Benjamin E. Ujcich (Commun. ACM, 2024)

Software Bill of Materials as a Proactive Defense. - Hamed Okhravi; Nathan Burow; Fred B. Schneider (IEEE Secur. Priv., 2025)

Challenges to Using Large Language Models in Code Generation and Repair. - Liliana Pasquale; Antonino Sabetta; Marcelo d'Amorim; Péter Hegedüs; Mehdi Tarrit Mirakhorli; Hamed Okhravi; Mathias Payer; Awais Rashid; Joanna C. S. Santos; Jonathan M. Spring; Lin Tan 001; Katja Tuma (IEEE Secur. Priv., 2025)

It Is Time to Standardize Principles and Practices for Software Memory Safety. - Robert N. M. Watson; John Baldwin; David Chisnall; Tony Chen; Jessica Clarke 001; Brooks Davis; Nathaniel Wesley Filardo; Brett F. Gutstein; Graeme Jenkinson; Ben Laurie; Alfredo Mazzinghi; Simon W. Moore; et al. (Commun. ACM, 2025)

AI-Based Software Vulnerability Detection: A Systematic Literature Review. - Samiha Shimmi; Hamed Okhravi; Mona Rahimi (CoRR, 2025)