R. Skowyra

Most-cited papers

Effective Topology Tampering Attacks and Defenses in Software-Defined Networks
R. Skowyra, Lei Xu, G. Gu, V. Dedhia +3 more
2018Dependable Systems and Networks88 citations
Semantic Scholar
Address Oblivious Code Reuse: On the Effectiveness of Leakage Resilient Diversity
Robert Rudd, R. Skowyra, David Bigelow, V. Dedhia +8 more
2017Network and Distributed System Security Symposium78 citations
Semantic Scholar
Cross-App Poisoning in Software-Defined Networking
Benjamin E. Ujcich, S. Jero, A. Edmundson, Qi Wang +6 more
2018Conference on Computer and Communications Security64 citations Open access
Semantic Scholar
BEADS: Automated Attack Discovery in OpenFlow-Based SDN Systems
S. Jero, Xiangyu Bu, C. Nita-Rotaru, Hamed Okhravi +2 more
2017International Symposium on Recent Advances in Intrusion Detection58 citations
Semantic Scholar
Identifier Binding Attacks and Defenses in Software-Defined Networks
S. Jero, W. Koch, R. Skowyra, Hamed Okhravi +2 more
2017USENIX Security Symposium57 citations
Semantic Scholar
Software-Defined IDS for securing embedded mobile devices
R. Skowyra, Sanaz Bahargam, Azer Bestavros
2013IEEE Conference on High Performance Extreme Computing55 citations
Semantic Scholar
Verifiably-safe software-defined networks for CPS
R. Skowyra, A. Lapets, Azer Bestavros, A. Kfoury
2013International Conference on High Confidence Networked Systems44 citations Open access
Semantic Scholar
A Verification Platform for SDN-Enabled Applications
R. Skowyra, A. Lapets, Azer Bestavros, A. Kfoury
2014IEEE International Conference on Consumer Electronics41 citations
Semantic Scholar
Survey of Cyber Moving Targets Second Edition
Bryan C. Ward, Steven R. Gomez, R. Skowyra, David Bigelow +3 more
201840 citations
Semantic Scholar
Have No PHEAR: Networks Without Identifiers
R. Skowyra, Kevin S. Bauer, V. Dedhia, Hamed Okhravi
2016MTD@CCS32 citations Open access
Semantic Scholar
TAG: Tagged Architecture Guide
S. Jero, N. Burow, Bryan C. Ward, R. Skowyra +3 more
2022ACM Computing Surveys29 citations Open access
Semantic Scholar
Causal Analysis for Software-Defined Networking Attacks
Benjamin E. Ujcich, S. Jero, R. Skowyra, Adam Bates +2 more
2021USENIX Security Symposium28 citations
Semantic Scholar
Automated Discovery of Cross-Plane Event-Based Vulnerabilities in Software-Defined Networking
Benjamin E. Ujcich, S. Jero, R. Skowyra, Steven R. Gomez +3 more
2020Network and Distributed System Security Symposium28 citations Open access
Semantic Scholar
Adversarial co-evolution of attack and defense in a segmented computer network environment
Erik Hemberg, Joseph R. Zipkin, R. Skowyra, Neal Wagner +1 more
2018Annual Conference on Genetic and Evolutionary Computation25 citations
Semantic Scholar
Practical Principle of Least Privilege for Secure Embedded Systems
S. Jero, Ju. Furgala, Run-Yu Pan, Phani Kishore Gadepalli +6 more
2021IEEE Real Time Technology and Applications Symposium21 citations
Semantic Scholar
Systematic Analysis of Defenses against Return-Oriented Programming
R. Skowyra, Kelly N. Casteel, Hamed Okhravi, N. Zeldovich +1 more
2013International Symposium on Recent Advances in Intrusion Detection21 citations Open access
Semantic Scholar
Securing the Satellite Software Stack
S. Jero, Ju. Furgala, Max A. Heller, Benjamin Nahill +2 more
2024Proceedings 2024 Workshop on Security of Space and Satellite Systems14 citations Open access
Semantic Scholar
The Thundering Herd: Amplifying Kernel Interference to Attack Response Times
Samuel Mergendahl, S. Jero, Bryan C. Ward, Ju. Furgala +2 more
2022IEEE Real Time Technology and Applications Symposium12 citations
Semantic Scholar
The Leakage-Resilience Dilemma
Bryan C. Ward, R. Skowyra, Chad Spensky, Jason Martin +1 more
2019European Symposium on Research in Computer Security11 citations
Semantic Scholar
Controller-Oblivious Dynamic Access Control in Software-Defined Networks
Steven R. Gomez, S. Jero, R. Skowyra, Jason Martin +6 more
2019Dependable Systems and Networks11 citations
Semantic Scholar
Using Alloy to Formally Model and Reason About an OpenFlow Network Switch
Saber Mirzaei, Sanaz Bahargam, R. Skowyra, A. Kfoury +1 more
2016arXiv.org8 citations
Semantic Scholar
Poster: Resiliency in Low Earth Orbit Satellite Routing
R. Esswein, Sean R. O'Melia, R. Skowyra, Mai Abdelhakim +1 more
20234 citations
Semantic Scholar
One Giant Leap for Computer Security
Hamed Okhravi, N. Burow, R. Skowyra, Bryan C. Ward +3 more
2020IEEE Security and Privacy4 citations
Semantic Scholar
Security Considerations for Next-Generation Operating Systems for Cyber-Physical Systems
Bryan C. Ward, R. Skowyra, S. Jero, N. Burow +3 more
20194 citations
Semantic Scholar
Multi-variant execution to protect unpatched software
Kevin S. Bauer, V. Dedhia, R. Skowyra, W. Streilein +1 more
2015IEEE Radio and Wireless Symposium4 citations
Semantic Scholar
Guidelines for Secure Small Satellite Design and Implementation: FY18 Cyber Security Line-Supported Program
K. Ingols, R. Skowyra
20193 citations
Semantic Scholar
QUASAR: Quantitative Attack Space Analysis and Reasoning
R. Skowyra, Steven R. Gomez, David Bigelow, James Landry +1 more
2017Asia-Pacific Computer Systems Architecture Conference3 citations
Semantic Scholar
Lessons Learned in Network and Memory-Based Moving Target Defenses
R. Skowyra, S. Jero
2020MTD@CCS2 citations Open access
Semantic Scholar
Towards accessible integrated formal reasoning environments for protocol design
A. Lapets, R. Skowyra, Christine Bassem, Sanaz Bahargam +2 more
20122 citations
Semantic Scholar
A Centralized Energy Management System for Wireless Sensor Networks
R. Skowyra
20092 citations
Semantic Scholar
Secure Input Validation in Rust with Parsing-Expression Grammars
Madeleine Dawson, Hamed Okhravi, R. Skowyra
20191 citations
Semantic Scholar
Towards an Infrastructure for Integrated Accessible Formal Reasoning Environments
A. Lapets, R. Skowyra, Christine Bassem, A. Kfoury +1 more
20121 citations
Semantic Scholar
RANDOMISATION D'EN-TÊTES DE PAQUETS
Hamed Okhravi, R. Skowyra, K. Bauer, William W. Streilein
20170 citations
Semantic Scholar
Hide and Seek: Exploiting and Hardening Leakage-Resilient Code Randomization
Hamed Okhravi, Robert Rudd, David Bigelow, R. Skowyra +8 more
20160 citations
Semantic Scholar
Execute-Only Attacks against Execute-Only Defenses
Hamed Okhravi, Robert Rudd, Thomas Hobson, David Bigelow +10 more
20150 citations
Semantic Scholar
Execute-Only Attacks against Execute-Only Defenses 1
Robert Rudd, Thomas Hobson, David Bigelow, R. Skowyra +10 more
20150 citations
Semantic Scholar
A Study of Gaps in Network Knowledge Synthesis
George K. Baah, Hamad Okhravi, Shannon C. Roberts, R. Skowyra +1 more
20150 citations
Semantic Scholar
Verificare: a platform for composable verification with application to SDN-Enabled systems
R. Skowyra
20140 citations
Semantic Scholar
Reusable requirements in automated verification of distributed systems
R. Skowyra, A. Lapets, Azer Bestavros, A. Kfoury
20130 citations
Semantic Scholar
The Zenith attack: vulnerabilities and countermeasures
R. Skowyra, Azer Bestavros, Sharon Goldberg
20110 citations
Semantic Scholar
Access point tuning in chaotic wireless networks
Adwait Belsare, R. Skowyra, R. Kinicki
20080 citations
Semantic Scholar
POINT TUNING IN CHAOTIC WIRELESS NETWORKS
Adwait Belsare, R. Skowyra, R. Kinicki
20080 citations
Semantic Scholar