Hamed Okhravi

71 papers A* 16A 12B 1Misc 1Journal 20Unranked 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
AI-Based Software Vulnerability Detection: A Systematic Literature Review.
CoRR
Samiha Shimmi, Hamed Okhravi, Mona Rahimi
2025 J jnl
Challenges to Using Large Language Models in Code Generation and Repair.
IEEE Secur. Priv.
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, Katja Tuma
2025 J jnl
It Is Time to Standardize Principles and Practices for Software Memory Safety.
Commun. ACM
Robert N. M. Watson, John Baldwin, David Chisnall, Tony Chen, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Brett F. Gutstein, Graeme Jenkinson, Ben Laurie, Alfredo Mazzinghi, Simon W. Moore, Peter G. Neumann, Hamed Okhravi, Alex Richardson, Alex Rebert, Peter Sewell, Laurence Tratt, Murali Vijayaraghavan, Hugo Vincent, Konrad Witaszczyk
2025 J jnl
Software Bill of Materials as a Proactive Defense.
IEEE Secur. Priv.
Hamed Okhravi, Nathan Burow, Fred B. Schneider
2024 A* conf
Exploiting Temporal Vulnerabilities for Unauthorized Access in Intent-based Networking.
CCS
Ben Weintraub, Jiwon Kim, Ran Tao, Cristina Nita-Rotaru, Hamed Okhravi, Dave (Jing) Tian, Benjamin E. Ujcich
2024 J jnl
Memory Safety.
IEEE Secur. Priv.
Hamed Okhravi
2024 J jnl
Security Challenges of Intent-Based Networking.
Commun. ACM
Jiwon Kim, Hamed Okhravi, Dave (Jing) Tian, Benjamin E. Ujcich
2024 — conf
Software Vulnerability Detection Using LLM: Does Additional Information Help?
ACSAC Workshops
Samiha Shimmi, Yash Saini, Mark Schaefer, Hamed Okhravi, Mona Rahimi
2024 A* conf
VulSim: Leveraging Similarity of Multi-Dimensional Neighbor Embeddings for Vulnerability Detection.
USENIX Security Symposium
Samiha Shimmi, Ashiqur Rahman, Mohan Gadde, Hamed Okhravi, Mona Rahimi
2023 J jnl
TAG: Tagged Architecture Guide.
ACM Comput. Surv.
Samuel Jero, Nathan Burow, Bryan C. Ward, Richard Skowyra, Roger Khazan, Howard E. Shrobe, Hamed Okhravi
2022 J jnl
"Free" as in Freedom to Protest?
IEEE Secur. Priv.
Fabio Massacci, Antonino Sabetta, Jelena Mirkovic, Toby Murray, Hamed Okhravi, Mohammad Mannan, Anderson Rocha, Eric Bodden, Daniel E. Geer
2022 A* conf
Cross-Language Attacks.
NDSS
Samuel Mergendahl, Nathan Burow, Hamed Okhravi
2022 A* conf
MTD '22: 9th ACM Workshop on Moving Target Defense.
CCS
Hamed Okhravi, Cliff Wang
2022 A* conf
Preventing Kernel Hacks with HAKCs.
NDSS
Derrick Paul McKee, Yianni Giannaris, Carolina Ortega, Howard E. Shrobe, Mathias Payer, Hamed Okhravi, Nathan Burow
2022 — ed.
Proceedings of the 9th ACM Workshop on Moving Target Defense, MTD 2022, Los Angeles, CA, USA, 7 November 2022
MTD@CCS
Hamed Okhravi, Cliff Wang
2021 J jnl
A Cybersecurity Moonshot.
IEEE Secur. Priv.
Hamed Okhravi
2021 A* conf
Causal Analysis for Software-Defined Networking Attacks.
USENIX Security Symposium
Benjamin E. Ujcich, Samuel Jero, Richard Skowyra, Adam Bates, William H. Sanders, Hamed Okhravi
2021 A conf
Conware: Automated Modeling of Hardware Peripherals.
AsiaCCS
Chad Spensky, Aravind Machiry, Nilo Redini, Colin Unger, Graham Foster, Evan Blasband, Hamed Okhravi, Christopher Kruegel, Giovanni Vigna
2021 A conf
Glitching Demystified: Analyzing Control-flow-based Glitching Attacks and Defenses.
DSN
Chad Spensky, Aravind Machiry, Nathan Burow, Hamed Okhravi, Rick Housley, Zhongshu Gu, Hani Jamjoom, Christopher Kruegel, Giovanni Vigna
2021 A conf
Keeping Safe Rust Safe with Galeed.
ACSAC
Elijah Rivera, Samuel Mergendahl, Howard E. Shrobe, Hamed Okhravi, Nathan Burow
2021 J jnl
Lessons Learned From Designing a Security Architecture for Real-World Government Agencies.
IEEE Secur. Priv.
Amy Dettmer, Hamed Okhravi, Kevin Perry, Nabil Schear, Richard Shay, Mary Ellen Zurko, Paula J. Donovan
2021 A* conf
More than a Fair Share: Network Data Remanence Attacks against Secret Sharing-based Schemes.
NDSS
Leila Rashidi, Daniel Kostecki, Alexander James, Anthony Peterson, Majid Ghaderi, Samuel Jero, Cristina Nita-Rotaru, Hamed Okhravi, Reihaneh Safavi-Naini
2021 J jnl
Perspectives on the SolarWinds Incident.
IEEE Secur. Priv.
Sean Peisert, Bruce Schneier, Hamed Okhravi, Fabio Massacci, Terry Benzel, Carl E. Landwehr, Mohammad Mannan, Jelena Mirkovic, Atul Prakash, James Bret Michael
2021 A conf
TORTIS: Retry-Free Software Transactional Memory for Real-Time Systems.
RTSS
Claire Nord, Shai Caspin, Catherine E. Nemitz, Howard E. Shrobe, Hamed Okhravi, James H. Anderson, Nathan Burow, Bryan C. Ward
2020 A* conf
Automated Discovery of Cross-Plane Event-Based Vulnerabilities in Software-Defined Networking.
NDSS
Benjamin E. Ujcich, Samuel Jero, Richard Skowyra, Steven R. Gomez, Adam Bates, William H. Sanders, Hamed Okhravi
2020 A* conf
MTD'20: 7th ACM Workshop on Moving Target Defense.
CCS
Hamed Okhravi, Cliff Wang
2020 J jnl
One Giant Leap for Computer Security.
IEEE Secur. Priv.
Hamed Okhravi, Nathan Burow, Richard Skowyra, Bryan C. Ward, Samuel Jero, Roger Khazan, Howard E. Shrobe
2020 — ed.
Proceedings of the 7th ACM Workshop on Moving Target Defense, MTD@CCS 2020, Virtual Event, USA, November 9, 2020.
MTD@CCS
Hamed Okhravi, Cliff Wang
2019 B conf
Control-Flow Integrity for Real-Time Embedded Systems.
ECRTS
Robert J. Walls, Nicholas F. Brown, Thomas Le Baron, Craig A. Shue, Hamed Okhravi, Bryan C. Ward
2019 A conf
Controller-Oblivious Dynamic Access Control in Software-Defined Networks.
DSN
Steven R. Gomez, Samuel Jero, Richard Skowyra, Jason Martin, Patrick Sullivan, David Bigelow, Zachary Ellenbogen, Bryan C. Ward, Hamed Okhravi, James W. Landry
2019 — conf
FirmFuzz: Automated IoT Firmware Introspection and Analysis.
IoT S&P@CCS
Prashast Srivastava, Hui Peng, Jiahao Li, Hamed Okhravi, Howard E. Shrobe, Mathias Payer
2019 — conf
The Leakage-Resilience Dilemma.
ESORICS (1)
Bryan C. Ward, Richard Skowyra, Chad Spensky, Jason Martin, Hamed Okhravi
2018 J jnl
Changing the Game of Software Security.
IEEE Secur. Priv.
Timothy Vidas, Per Larsen, Hamed Okhravi, Ahmad-Reza Sadeghi
2018 A* conf
Cross-App Poisoning in Software-Defined Networking.
CCS
Benjamin E. Ujcich, Samuel Jero, Anne Edmundson, Qi Wang, Richard Skowyra, James Landry, Adam Bates, William H. Sanders, Cristina Nita-Rotaru, Hamed Okhravi
2018 — ch.
Diversity and information leaks.
The Continuing Arms Race
Stephen Crane, Andrei Homescu, Per Larsen, Hamed Okhravi, Michael Franz
2018 A conf
Effective Topology Tampering Attacks and Defenses in Software-Defined Networks.
DSN
Richard Skowyra, Lei Xu, Guofei Gu, Veer Dedhia, Thomas Hobson, Hamed Okhravi, James Landry
2018 A conf
On the Effectiveness of Type-based Control Flow Integrity.
ACSAC
Reza Mirzazade Farkhani, Saman Jafari, Sajjad Arshad, William K. Robertson, Engin Kirda, Hamed Okhravi
2018 J jnl
On the Effectiveness of Type-based Control Flow Integrity.
CoRR
Reza Mirzazade Farkhani, Saman Jafari, Sajjad Arshad, William K. Robertson, Engin Kirda, Hamed Okhravi
2018 — conf
TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines.
HPEC
Jeremy Kepner, Ron Brightwell, Alan Edelman, Vijay Gadepally, Hayden Jananthan, Michael Jones, Sam Madden, Peter Michaleas, Hamed Okhravi, Kevin T. Pedretti, Albert Reuther, Thomas L. Sterling, Mike Stonebraker
2018 J jnl
TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines.
CoRR
Jeremy Kepner, Ron Brightwell, Alan Edelman, Vijay Gadepally, Hayden Jananthan, Michael Jones, Sam Madden, Peter Michaleas, Hamed Okhravi, Kevin T. Pedretti, Albert Reuther, Thomas L. Sterling, Mike Stonebraker
2018 — conf
There's a Hole in the Bottom of the C: On the Effectiveness of Allocation Protection.
SecDev
Ronald Gil, Hamed Okhravi, Howard E. Shrobe
2017 A* conf
Address Oblivious Code Reuse: On the Effectiveness of Leakage Resilient Diversity.
NDSS
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
2017 A conf
BEADS: Automated Attack Discovery in OpenFlow-Based SDN Systems.
RAID
Samuel Jero, Xiangyu Bu, Cristina Nita-Rotaru, Hamed Okhravi, Richard Skowyra, Sonia Fahmy
2017 A* conf
Identifier Binding Attacks and Defenses in Software-Defined Networks.
USENIX Security Symposium
Samuel Jero, William Koch, Richard Skowyra, Hamed Okhravi, Cristina Nita-Rotaru, David Bigelow
2017 A* conf
MTD 2017: Fourth ACM Workshop on Moving Target Defense (MTD).
CCS
Hamed Okhravi, Xinming Ou
2017 — ed.
Proceedings of the 2017 Workshop on Moving Target Defense, MTD@CCS 2017, Dallas, TX, USA, October 30, 2017
MTD@CCS
Hamed Okhravi, Xinming Ou
2017 A conf
QUASAR: Quantitative Attack Space Analysis and Reasoning.
ACSAC
Richard Skowyra, Steven R. Gomez, David Bigelow, James Landry, Hamed Okhravi
2016 — conf
Have No PHEAR: Networks Without Identifiers.
MTD@CCS
Richard Skowyra, Kevin Bauer, Veer Dedhia, Hamed Okhravi
2015 A* conf
Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity.
CCS
Isaac Evans, Fan Long, Ulziibayar Otgonbaatar, Howard E. Shrobe, Martin C. Rinard, Hamed Okhravi, Stelios Sidiroglou-Douskos
2015 — conf
Getting Beyond Tit for Tat: Better Strategies for Moving Target Prototyping and Evaluation.
MTD@CCS
Hamed Okhravi
2015 A* conf
Missing the Point(er): On the Effectiveness of Code Pointer Integrity.
IEEE Symposium on Security and Privacy
Isaac Evans, Sam Fingeret, Julian Gonzalez, Ulziibayar Otgonbaatar, Tiffany Tang, Howard E. Shrobe, Stelios Sidiroglou-Douskos, Martin C. Rinard, Hamed Okhravi
2015 A* conf
Timely Rerandomization for Mitigating Memory Disclosures.
CCS
David Bigelow, Thomas Hobson, Robert Rudd, William W. Streilein, Hamed Okhravi
2014 — conf
A Game Theoretic Approach to Strategy Determination for Dynamic Platform Defenses.
MTD@CCS
Kevin M. Carter, James Riordan, Hamed Okhravi
2014 J jnl
Finding Focus in the Blur of Moving-Target Techniques.
IEEE Secur. Priv.
Hamed Okhravi, Thomas Hobson, David Bigelow, William W. Streilein
2014 — conf
On the Challenges of Effective Movement.
MTD@CCS
Thomas Hobson, Hamed Okhravi, David Bigelow, Robert Rudd, William W. Streilein
2014 J jnl
Quantitative Analysis of Active Cyber Defenses Based on Temporal Platform Diversity.
CoRR
Kevin M. Carter, Hamed Okhravi, James Riordan
2014 A conf
Quantitative Evaluation of Dynamic Platform Techniques as a Defensive Mechanism.
RAID
Hamed Okhravi, James Riordan, Kevin M. Carter
2013 A conf
Systematic Analysis of Defenses against Return-Oriented Programming.
RAID
Richard Skowyra, Kelly Casteel, Hamed Okhravi, Nickolai Zeldovich, William W. Streilein
2012 J jnl
Creating a cyber moving target for critical infrastructure applications using platform diversity.
Int. J. Crit. Infrastructure Prot.
Hamed Okhravi, Adam Comella, Eric Robinson, Joshua W. Haines
2011 — conf
Creating a Cyber Moving Target for Critical Infrastructure Applications.
Critical Infrastructure Protection
Hamed Okhravi, Adam Comella, Eric Robinson, Stephen Yannalfo, Peter Michaleas, Joshua W. Haines
2011 — conf
Dedicated vs. distributed: A study of mission survivability metrics.
MILCOM
Hamed Okhravi, Andrew Johnson, Joshua W. Haines, Travis Mayberry, Agnes Hui Chan
2011 — conf
MyABDAC: compiling XACML policies for attribute-based database access control.
CODASPY
Sonia Jahid, Carl A. Gunter, Imranul Hoque, Hamed Okhravi
2010 J jnl
Covert channel resistant information leakage protection using a multi-agent architecture.
IET Inf. Secur.
Stephen Bishop, Hamed Okhravi, Shahram Rahimi, Yung-Chuan Lee
2010 — conf
Data diodes in support of trustworthy cyber infrastructure.
CSIIRW
Hamed Okhravi, Frederick T. Sheldon
2010 — —
Trusted and high assurance systems
Hamed Okhravi
2009 J jnl
Application of trusted network technology to industrial control networks.
Int. J. Crit. Infrastructure Prot.
Hamed Okhravi, David M. Nicol
2009 — conf
Information Leakage Detection in Distributed Systems using Software Agent.
IEEE IA
Yung-Chuan Lee, Stephen Bishop, Hamed Okhravi, Shahram Rahimi
2009 — conf
PolicyGlobe: a framework for integrating network and operating system security policies.
SafeConfig
Hamed Okhravi, Ryan H. Kagin, David M. Nicol
2009 A conf
TrustGraph: Trusted Graphics Subsystem for High Assurance Systems.
ACSAC
Hamed Okhravi, David M. Nicol
2008 — conf
Applying Trusted Network Technology To Process Control Systems.
Critical Infrastructure Protection
Hamed Okhravi, David M. Nicol
2005 Misc conf
Performance analysis of binary code protection.
WSC
David M. Nicol, Hamed Okhravi