Farhaan Fowze

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 11

Top Topics

Static Analysis

Information Flows

Symbolic Execution

Top Venues

Publications

Tuba Yavuz, Farhaan Fowze, Grant Hernandez, Ken Yihang Bai, Kevin R. B. Butler, Dave Jing Tian
ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs. IEEE Trans. Dependable Secur. Comput. 20 (2) (2023)
Farhaan Fowze, Muhtadi Choudhury, Domenic Forte
EISec: Exhaustive Information Flow Security of Hardware Intellectual Property Utilizing Symbolic Execution. AsianHOST (2022)
Jiaming Wu, Farhaan Fowze, Domenic Forte
EXERT: EXhaustive IntEgRiTy Analysis for Information Flow Security. AsianHOST (2022)
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)
Farhaan Fowze, Tuba Yavuz
Finding Memory Vulnerabilities in Protocol Stack Implementations using Hybrid Program Analysis. NSysS (2021)
Farhaan Fowze, Tuba Yavuz
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations. MEMOCODE (2021)
Grant Hernandez, Farhaan Fowze, Dave Jing Tian, Tuba Yavuz, Patrick Traynor, Kevin R. B. Butler
Toward Automated Firmware Analysis in the IoT Era. IEEE Secur. Priv. 17 (5) (2019)
Grant Hernandez, Farhaan Fowze, Dave (Jing) Tian, Tuba Yavuz, Kevin R. B. Butler
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution. CCS (2017)
Grant Hernandez, Farhaan Fowze, Dave Tian, Tuba Yavuz, Kevin R. B. Butler
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution. CoRR (2017)
Farhaan Fowze, Tuba Yavuz
Specification, verification, and synthesis using extended state machines with callbacks. MEMOCODE (2016)
Chelsea A. Metcalf, Farhaan Fowze, Tuba Yavuz, José Fortes
Extracting configuration parameter interactions using static analysis. ICPC (2016)