Verifiably-safe software-defined networks for CPS. - Richard William Skowyra; Andrei Lapets; Azer Bestavros; Assaf J. Kfoury (HiCoNS, 2013)

Software-Defined IDS for securing embedded mobile devices. - Richard Skowyra; Sanaz Bahargam; Azer Bestavros (HPEC, 2013)

Towards accessible integration and deployment of formal tools and techniques. - Andrei Lapets; Richard Skowyra; Azer Bestavros; Assaf J. Kfoury (TOPI@ICSE, 2013)

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

A Verification Platform for SDN-Enabled Applications. - Richard Skowyra; Andrei Lapets; Azer Bestavros; Assaf J. Kfoury (IC2E, 2014)

Verificare: a platform for composable verification with application to SDN-Enabled systems - Richard Skowyra (2014)

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

Using Alloy to Formally Model and Reason About an OpenFlow Network Switch. - Saber Mirzaei; Sanaz Bahargam; Richard Skowyra; Assaf J. Kfoury; Azer Bestavros (CoRR, 2016)

QUASAR: Quantitative Attack Space Analysis and Reasoning. - Richard Skowyra; Steven R. Gomez; David Bigelow; James Landry; Hamed Okhravi (ACSAC, 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)

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)

Adversarial co-evolution of attack and defense in a segmented computer network environment. - Erik Hemberg; Joseph R. Zipkin; Richard William Skowyra; Neal Wagner; Una-May O'Reilly (GECCO (Companion), 2018)

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)

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

Lessons Learned in Network and Memory-Based Moving Target Defenses. - Richard Skowyra; Samuel Jero (MTD@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)

Practical Principle of Least Privilege for Secure Embedded Systems. - Samuel Jero; Juliana Furgala; Runyu Pan; Phani Kishore Gadepalli; Alexandra Clifford; Bite Ye; Roger Khazan; Bryan C. Ward; Gabriel Parmer; Richard Skowyra (RTAS, 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)

The Thundering Herd: Amplifying Kernel Interference to Attack Response Times. - Samuel Mergendahl; Samuel Jero; Bryan C. Ward; Juliana Furgala; Gabriel Parmer; Richard Skowyra (RTAS, 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)

Manipulative Interference Attacks. - Samuel Mergendahl; Stephen Fickas; Boyana Norris; Richard Skowyra (CCS, 2024)