Richard Skowyra

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 17

Top Topics

Automated Discovery

Top Venues

Publications

Samuel Jero, Nathan Burow, Bryan C. Ward, Richard Skowyra, Roger Khazan, Howard E. Shrobe, Hamed Okhravi
TAG: Tagged Architecture Guide. ACM Comput. Surv. 55 (6) (2023)
Samuel Mergendahl, Samuel Jero, Bryan C. Ward, Juliana Furgala, Gabriel Parmer, Richard Skowyra
The Thundering Herd: Amplifying Kernel Interference to Attack Response Times. RTAS (2022)
Benjamin E. Ujcich, Samuel Jero, Richard Skowyra, Adam Bates, William H. Sanders, Hamed Okhravi
Causal Analysis for Software-Defined Networking Attacks. USENIX Security Symposium (2021)
Samuel Jero, Juliana Furgala, Runyu Pan, Phani Kishore Gadepalli, Alexandra Clifford, Bite Ye, Roger Khazan, Bryan C. Ward, Gabriel Parmer, Richard Skowyra
Practical Principle of Least Privilege for Secure Embedded Systems. RTAS (2021)
Hamed Okhravi, Nathan Burow, Richard Skowyra, Bryan C. Ward, Samuel Jero, Roger Khazan, Howard E. Shrobe
One Giant Leap for Computer Security. IEEE Secur. Priv. 18 (4) (2020)
Benjamin E. Ujcich, Samuel Jero, Richard Skowyra, Steven R. Gomez, Adam Bates, William H. Sanders, Hamed Okhravi
Automated Discovery of Cross-Plane Event-Based Vulnerabilities in Software-Defined Networking. NDSS (2020)
Richard Skowyra, Samuel Jero
Lessons Learned in Network and Memory-Based Moving Target Defenses. MTD@CCS (2020)
Bryan C. Ward, Richard Skowyra, Chad Spensky, Jason Martin, Hamed Okhravi
The Leakage-Resilience Dilemma. ESORICS (1) (2019)
Steven R. Gomez, Samuel Jero, Richard Skowyra, Jason Martin, Patrick Sullivan, David Bigelow, Zachary Ellenbogen, Bryan C. Ward, Hamed Okhravi, James W. Landry
Controller-Oblivious Dynamic Access Control in Software-Defined Networks. DSN (2019)
Benjamin E. Ujcich, Samuel Jero, Anne Edmundson, Qi Wang, Richard Skowyra, James Landry, Adam Bates, William H. Sanders, Cristina Nita-Rotaru, Hamed Okhravi
Cross-App Poisoning in Software-Defined Networking. CCS (2018)
Richard Skowyra, Lei Xu, Guofei Gu, Veer Dedhia, Thomas Hobson, Hamed Okhravi, James Landry
Effective Topology Tampering Attacks and Defenses in Software-Defined Networks. DSN (2018)
Samuel Jero, Xiangyu Bu, Cristina Nita-Rotaru, Hamed Okhravi, Richard Skowyra, Sonia Fahmy
BEADS: Automated Attack Discovery in OpenFlow-Based SDN Systems. RAID (2017)
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
Address Oblivious Code Reuse: On the Effectiveness of Leakage Resilient Diversity. NDSS (2017)
Samuel Jero, William Koch, Richard Skowyra, Hamed Okhravi, Cristina Nita-Rotaru, David Bigelow
Identifier Binding Attacks and Defenses in Software-Defined Networks. USENIX Security Symposium (2017)
Richard Skowyra, Steven R. Gomez, David Bigelow, James Landry, Hamed Okhravi
QUASAR: Quantitative Attack Space Analysis and Reasoning. ACSAC (2017)
Saber Mirzaei, Sanaz Bahargam, Richard Skowyra, Assaf J. Kfoury, Azer Bestavros
Using Alloy to Formally Model and Reason About an OpenFlow Network Switch. CoRR (2016)
Richard Skowyra, Kevin Bauer, Veer Dedhia, Hamed Okhravi
Have No PHEAR: Networks Without Identifiers. MTD@CCS (2016)
Richard Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury
A Verification Platform for SDN-Enabled Applications. IC2E (2014)
Richard Skowyra, Sanaz Bahargam, Azer Bestavros
Software-Defined IDS for securing embedded mobile devices. HPEC (2013)
Andrei Lapets, Richard Skowyra, Azer Bestavros, Assaf J. Kfoury
Towards accessible integration and deployment of formal tools and techniques. TOPI@ICSE (2013)
Richard Skowyra, Kelly Casteel, Hamed Okhravi, Nickolai Zeldovich, William W. Streilein
Systematic Analysis of Defenses against Return-Oriented Programming. RAID (2013)