Ryan Williams

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 20

Top Topics

Tractable Classes

Related Problems

Propositional Satisfiability

Top Venues

USENIX Security Symposium

Publications

Ryan Williams
Reframing the Mind-Body Picture: Applying Formal Systems to the Relationship of Mind and Matter. CoRR (2024)
Zachary Ratliff, Wittmann Goh, Abe Wieland, James Mickens, Ryan Williams
Holepunch: Fast, Secure File Deletion with Crash Consistency. IACR Cryptol. ePrint Arch. 2023 (2023)
Ryan Williams, Anthony Gavazzi, Engin Kirda
Solder: Retrofitting Legacy Code with Cross-Language Patches. SANER (2023)
Ryan Williams
The Power of Constructing Bad Inputs. Bull. EATCS 139 (2023)
Nakia Grayson, Ronald Pulivarti, Bronwyn Hodges, Kevin Littlefield, Jeremy Miller, Chris Peloquin, Julie Snyder, Sue Wang, Ryan Williams
Mitigating Privacy and Cybersecurity Risks Affecting Telehealth Remote Patient Monitoring Ecosystems. Computer 56 (9) (2023)
Anthony Gavazzi, Ryan Williams, Engin Kirda, Long Lu, Andre King, Andy Davis, Tim Leek
A Study of Multi-Factor and Risk-Based Authentication Availability. USENIX Security Symposium (2023)
Shyan Akmal, Ryan Williams
MAJORITY-3SAT (and Related Problems) in Polynomial Time. FOCS (2022)
Amogh Pradeep, Hira Javaid, Ryan Williams, Antoine Rault, David R. Choffnes, Stevens Le Blond, Bryan Ford
Moby: A Blackout-Resistant Anonymity Network for Mobile Devices. Proc. Priv. Enhancing Technol. 2022 (3) (2022)
Tongwei Ren, Ryan Williams, Sirshendu Ganguly, Lorenzo De Carli, Long Lu
Breaking Embedded Software Homogeneity with Protocol Mutations. SecureComm (2022)
Ryan Williams, Tongwei Ren, Lorenzo De Carli, Long Lu, Gillian Smith
Guided Feature Identification and Removal for Resource-constrained Firmware. ACM Trans. Softw. Eng. Methodol. 31 (2) (2022)
Elín Carstensdóttir, Erica Kleinman, Ryan Williams, Magy Seif El-Nasr
"Naked and on Fire": Examining Player Agency Experiences in Narrative-Focused Gameplay. CHI (2021)
Shyan Akmal, Ryan Williams
MAJORITY-3SAT (and Related Problems) in Polynomial Time. FOCS (2021)
Mansour Ahmadi, Reza Mirzazade Farkhani, Ryan Williams, Long Lu
Finding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code. USENIX Security Symposium (2021)
Alexander Heinricher, Ryan Williams, Ava Klingbeil, Alex Jordan
Weldr: fusing binaries for simplified analysis. SOAP@PLDI (2021)
Murtaza Rangwala, Ryan Williams
Learning Multi-Agent Communication through Structured Attentive Reasoning. NeurIPS (2020)
Ryan Williams, Sagar Samtani, Mark W. Patton, Hsinchun Chen
Incremental Hacker Forum Exploit Collection and Classification for Proactive Cyber Threat Intelligence: An Exploratory Study. ISI (2018)
Ryan Williams, Jean Scholtz, Leslie M. Blaha, Lyndsey Franklin, Zhuanyi Huang
Evaluation of Visualization Heuristics. HCI (1) (2018)
Emma McMahon, Ryan Williams, Malaka El, Sagar Samtani, Mark W. Patton, Hsinchun Chen
Assessing medical device vulnerabilities on the Internet of Things. ISI (2017)
Jason Ziglar, Ryan Williams, Alfred Wicks
Context-Aware System Synthesis, Task Assignment, and Routing. CoRR (2017)
Ryan Williams, Emma McMahon, Sagar Samtani, Mark W. Patton, Hsinchun Chen
Identifying vulnerabilities of consumer Internet of Things (IoT) devices: A scalable approach. ISI (2017)
John Valdovinos, Daniel S. Levi, Ryan Williams, Gregory P. Carman
Feasibility of using piezohydraulic pumps as motors for pediatric ventricular assist devices. EMBC (2012)