Farhaan Fowze

11 papers A* 1A 1C 2Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2023 J jnl
ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs.
IEEE Trans. Dependable Secur. Comput.
Tuba Yavuz, Farhaan Fowze, Grant Hernandez, Ken Yihang Bai, Kevin R. B. Butler, Dave Jing Tian
2022 — conf
EISec: Exhaustive Information Flow Security of Hardware Intellectual Property Utilizing Symbolic Execution.
AsianHOST
Farhaan Fowze, Muhtadi Choudhury, Domenic Forte
2022 — conf
EXERT: EXhaustive IntEgRiTy Analysis for Information Flow Security.
AsianHOST
Jiaming Wu, Farhaan Fowze, Domenic Forte
2021 — conf
Finding Memory Vulnerabilities in Protocol Stack Implementations using Hybrid Program Analysis.
NSysS
Farhaan Fowze, Tuba Yavuz
2021 J jnl
ProXray: Protocol Model Learning and Guided Firmware Analysis.
IEEE Trans. Software Eng.
Farhaan Fowze, Dave Tian, Grant Hernandez, Kevin R. B. Butler, Tuba Yavuz
2021 C conf
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations.
MEMOCODE
Farhaan Fowze, Tuba Yavuz
2019 J jnl
Toward Automated Firmware Analysis in the IoT Era.
IEEE Secur. Priv.
Grant Hernandez, Farhaan Fowze, Dave Jing Tian, Tuba Yavuz, Patrick Traynor, Kevin R. B. Butler
2017 A* conf
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution.
CCS
Grant Hernandez, Farhaan Fowze, Dave (Jing) Tian, Tuba Yavuz, Kevin R. B. Butler
2017 J jnl
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution.
CoRR
Grant Hernandez, Farhaan Fowze, Dave Tian, Tuba Yavuz, Kevin R. B. Butler
2016 A conf
Extracting configuration parameter interactions using static analysis.
ICPC
Chelsea A. Metcalf, Farhaan Fowze, Tuba Yavuz, José A. B. Fortes
2016 C conf
Specification, verification, and synthesis using extended state machines with callbacks.
MEMOCODE
Farhaan Fowze, Tuba Yavuz