Richard Skowyra

24 papers A* 6A 7B 1Journal 3Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Leveraging Formal Methods to Strengthen Cyber-Resilience in Authorization to Operate. MILCOM Alice R. Lee, Jack Cheng, Timothy M. Braje, Noah Luther, Ian McQuoid, Gruia-Catalin Roman, Joseph Dan Trujillo, Richard Skowyra, Samuel Mergendahl
2024	A*	`conf`	Manipulative Interference Attacks. CCS Samuel Mergendahl, Stephen Fickas, Boyana Norris, Richard Skowyra
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	A	`conf`	The Thundering Herd: Amplifying Kernel Interference to Attack Response Times. RTAS Samuel Mergendahl, Samuel Jero, Bryan C. Ward, Juliana Furgala, Gabriel Parmer, Richard Skowyra
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`	Practical Principle of Least Privilege for Secure Embedded Systems. RTAS Samuel Jero, Juliana Furgala, Runyu Pan, Phani Kishore Gadepalli, Alexandra Clifford, Bite Ye, Roger Khazan, Bryan C. Ward, Gabriel Parmer, Richard Skowyra
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	—	`conf`	Lessons Learned in Network and Memory-Based Moving Target Defenses. MTD@CCS Richard Skowyra, Samuel Jero
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
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`	The Leakage-Resilience Dilemma. ESORICS (1) Bryan C. Ward, Richard Skowyra, Chad Spensky, Jason Martin, Hamed Okhravi
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	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
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`	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
2016	J	`jnl`	Using Alloy to Formally Model and Reason About an OpenFlow Network Switch. CoRR Saber Mirzaei, Sanaz Bahargam, Richard Skowyra, Assaf J. Kfoury, Azer Bestavros
2014	B	`conf`	A Verification Platform for SDN-Enabled Applications. IC2E Richard Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury
2014	—	`—`	Verificare: a platform for composable verification with application to SDN-Enabled systems Richard Skowyra
2013	—	`conf`	Software-Defined IDS for securing embedded mobile devices. HPEC Richard Skowyra, Sanaz Bahargam, Azer Bestavros
2013	A	`conf`	Systematic Analysis of Defenses against Return-Oriented Programming. RAID Richard Skowyra, Kelly Casteel, Hamed Okhravi, Nickolai Zeldovich, William W. Streilein
2013	—	`conf`	Towards accessible integration and deployment of formal tools and techniques. TOPI@ICSE Andrei Lapets, Richard Skowyra, Azer Bestavros, Assaf J. Kfoury