Farhaan Fowze

According to our database, Farhaan Fowze authored at least 10 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs.

Tuba Yavuz, Farhaan Fowze, Grant Hernandez, Ken Yihang Bai, Kevin R. B. Butler, Dave Jing Tian

IEEE Trans. Dependable Secur. Comput., 2023

2022

EXERT: EXhaustive IntEgRiTy Analysis for Information Flow Security.

Jiaming Wu, Farhaan Fowze, Domenic Forte

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2022

EISec: Exhaustive Information Flow Security of Hardware Intellectual Property Utilizing Symbolic Execution.

Farhaan Fowze, Muhtadi Choudhury, Domenic Forte

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2022

2021

ProXray: Protocol Model Learning and Guided Firmware Analysis.

Farhaan Fowze, Dave Tian, Grant Hernandez, Kevin R. B. Butler, Tuba Yavuz

IEEE Trans. Software Eng., 2021

Finding Memory Vulnerabilities in Protocol Stack Implementations using Hybrid Program Analysis.

Farhaan Fowze, Tuba Yavuz

Proceedings of the 8th NSysS 2021: 8th International Conference on Networking, Systems and Security, Cox's Bazar, Bangladesh, December 21, 2021

SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations.

Farhaan Fowze, Tuba Yavuz

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2019

Toward Automated Firmware Analysis in the IoT Era.

Grant Hernandez, Farhaan Fowze, Dave Jing Tian, Tuba Yavuz, Patrick Traynor, Kevin R. B. Butler

IEEE Secur. Priv., 2019

2017

FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution.

Grant Hernandez, Farhaan Fowze, Dave (Jing) Tian, Tuba Yavuz, Kevin R. B. Butler

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Specification, verification, and synthesis using extended state machines with callbacks.

Farhaan Fowze, Tuba Yavuz

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Extracting configuration parameter interactions using static analysis.

Chelsea A. Metcalf, Farhaan Fowze, Tuba Yavuz, José A. B. Fortes

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016