Richard Skowyra

According to our database, Richard Skowyra authored at least 25 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Manipulative Interference Attacks.

Samuel Mergendahl, Stephen Fickas, Boyana Norris, Richard Skowyra

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

TAG: Tagged Architecture Guide.

Samuel Jero, Nathan Burow, Bryan C. Ward, Richard Skowyra, Roger Khazan, Howard E. Shrobe, Hamed Okhravi

ACM Comput. Surv., 2023

2022

The Thundering Herd: Amplifying Kernel Interference to Attack Response Times.

Samuel Mergendahl, Samuel Jero, Bryan C. Ward, Juliana Furgala, Gabriel Parmer, Richard Skowyra

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

2021

Causal Analysis for Software-Defined Networking Attacks.

Benjamin E. Ujcich, Samuel Jero, Richard Skowyra, Adam Bates, William H. Sanders, Hamed Okhravi

Proceedings of the 30th USENIX Security Symposium, 2021

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

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

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

Automated Discovery of Cross-Plane Event-Based Vulnerabilities in Software-Defined Networking.

Benjamin E. Ujcich, Samuel Jero, Richard Skowyra, Steven R. Gomez, Adam Bates, William H. Sanders, Hamed Okhravi

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

Lessons Learned in Network and Memory-Based Moving Target Defenses.

Richard Skowyra, Samuel Jero

Proceedings of the 7th ACM Workshop on Moving Target Defense, 2020

2019

The Leakage-Resilience Dilemma.

Bryan C. Ward, Richard Skowyra, Chad Spensky, Jason Martin, Hamed Okhravi

Proceedings of the Computer Security - ESORICS 2019, 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

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

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

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

Effective Topology Tampering Attacks and Defenses in Software-Defined Networks.

Richard Skowyra, Lei Xu, Guofei Gu, Veer Dedhia, Thomas Hobson, Hamed Okhravi, James Landry

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Cross-App Poisoning in Software-Defined Networking.

Benjamin E. Ujcich, Samuel Jero, Anne Edmundson, Qi Wang, Richard Skowyra, James Landry, Adam Bates, William H. Sanders, Cristina Nita-Rotaru, Hamed Okhravi

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Identifier Binding Attacks and Defenses in Software-Defined Networks.

Samuel Jero, William Koch, Richard Skowyra, Hamed Okhravi, Cristina Nita-Rotaru, David Bigelow

Proceedings of the 26th USENIX Security Symposium, 2017

BEADS: Automated Attack Discovery in OpenFlow-Based SDN Systems.

Samuel Jero, Xiangyu Bu, Cristina Nita-Rotaru, Hamed Okhravi, Richard Skowyra, Sonia Fahmy

Proceedings of the Research in Attacks, Intrusions, and Defenses, 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

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

QUASAR: Quantitative Attack Space Analysis and Reasoning.

Richard Skowyra, Steven R. Gomez, David Bigelow, James Landry, Hamed Okhravi

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

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

Have No PHEAR: Networks Without Identifiers.

Richard Skowyra, Kevin Bauer, Veer Dedhia, Hamed Okhravi

Proceedings of the 2016 ACM Workshop on Moving Target Defense, 2016

2014

Verificare: a platform for composable verification with application to SDN-Enabled systems

Richard Skowyra

PhD thesis, 2014

A Verification Platform for SDN-Enabled Applications.

Richard Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury

Proceedings of the 2014 IEEE International Conference on Cloud Engineering, 2014

2013

Systematic Analysis of Defenses against Return-Oriented Programming.

Richard Skowyra, Kelly Casteel, Hamed Okhravi, Nickolai Zeldovich, William W. Streilein

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2013

Towards accessible integration and deployment of formal tools and techniques.

Andrei Lapets, Richard Skowyra, Azer Bestavros, Assaf J. Kfoury

Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 2013

Software-Defined IDS for securing embedded mobile devices.

Richard Skowyra, Sanaz Bahargam, Azer Bestavros

Proceedings of the IEEE High Performance Extreme Computing Conference, 2013

Verifiably-safe software-defined networks for CPS.

Richard William Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013