Dave Tian

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 10

Top Topics

Security Vulnerabilities

State Transition

Top Venues

USENIX Security Symposium

IEEE Symposium on Security and Privacy

Publications

Kyungtae Kim, Sungwoo Kim, Kevin R. B. Butler, Antonio Bianchi, Rick Kennell, Dave Tian
Fuzz The Power: Dual-role State Guided Black-box Fuzzing for USB Power Delivery. USENIX Security Symposium (2023)
Hui Peng, Zhihao Yao, Ardalan Amiri Sani, Dave Tian, Mathias Payer
GLeeFuzz: Fuzzing WebGL Through Error Message Guided Mutation. USENIX Security Symposium (2023)
Jiwon Kim, Benjamin E. Ujcich, Dave Tian
Intender: Fuzzing Intent-Based Networking with Intent-State Transition Guidance. USENIX Security Symposium (2023)
Farhaan Fowze, Dave Tian, Grant Hernandez, Kevin R. B. Butler, Tuba Yavuz
ProXray: Protocol Model Learning and Guided Firmware Analysis. IEEE Trans. Software Eng. 47 (9) (2021)
Riccardo Paccagnella, Kevin Liao, Dave Tian, Adam Bates
Logging to the Danger Zone: Race Condition Attacks and Defenses on System Audit Frameworks. CCS (2020)
Riccardo Paccagnella, Pubali Datta, Wajih Ul Hassan, Adam Bates, Christopher W. Fletcher, Andrew Miller, Dave Tian
Custos: Practical Tamper-Evident Auditing of Operating Systems Using Trusted Execution. NDSS (2020)
Bradley Reaves, Luis Vargas, Nolen Scaife, Dave Tian, Logan Blue, Patrick Traynor, Kevin R. B. Butler
Characterizing the Security of the SMS Ecosystem with Public Gateways. ACM Trans. Priv. Secur. 22 (1) (2019)
Grant Hernandez, Farhaan Fowze, Dave Tian, Tuba Yavuz, Kevin R. B. Butler
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution. CoRR (2017)
Bradley Reaves, Logan Blue, Dave Tian, Patrick Traynor, Kevin R. B. Butler
Detecting SMS Spam in the Age of Legitimate Bulk Messaging. WISEC (2016)
Bradley Reaves, Nolen Scaife, Dave Tian, Logan Blue, Patrick Traynor, Kevin R. B. Butler
Sending Out an SMS: Characterizing the Security of the SMS Ecosystem with Public Gateways. IEEE Symposium on Security and Privacy (2016)
Ethan Shernan, Henry Carter, Dave Tian, Patrick Traynor, Kevin R. B. Butler
More Guidelines Than Rules: CSRF Vulnerabilities from Noncompliant OAuth 2.0 Implementations. DIMVA (2015)
Adam Bates, Dave Tian, Kevin R. B. Butler, Thomas Moyer
Trustworthy Whole-System Provenance for the Linux Kernel. USENIX Security Symposium (2015)
Adam Bates, Joe Pletcher, Tyler Nichols, Braden Hollembaek, Dave Tian, Kevin R. B. Butler, Abdulrahman Alkhelaifi
Securing SSL Certificate Verification through Dynamic Linking. CCS (2014)