Firmusb: Vetting usb device firmware using domain informed symbolic execution G Hernandez, F Fowze, D Tian, T Yavuz, KRB Butler Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 102 | 2017 |
ENCIDER: detecting timing and cache side channels in SGX enclaves and cryptographic APIs T Yavuz, F Fowze, G Hernandez, KY Bai, KRB Butler, DJ Tian IEEE Transactions on Dependable and Secure Computing 20 (2), 1577-1595, 2022 | 14 | 2022 |
Proxray: Protocol model learning and guided firmware analysis F Fowze, D Tian, G Hernandez, K Butler, T Yavuz IEEE Transactions on Software Engineering 47 (9), 1907-1928, 2019 | 14 | 2019 |
Toward automated firmware analysis in the iot era G Hernandez, F Fowze, DJ Tian, T Yavuz, P Traynor, KRB Butler IEEE Security & Privacy 17 (5), 38-46, 2019 | 11 | 2019 |
Dave (Jing) Tian, Tuba Yavuz, and Kevin RB Butler. 2017. FirmUSB: Vetting USB Device Firmware Using Domain Informed Symbolic Execution G Hernandez, F Fowze Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 0 | 6 | |
EISec: Exhaustive Information Flow Security of Hardware Intellectual Property Utilizing Symbolic Execution F Fowze, M Choudhury, D Forte 2022 Asian Hardware Oriented Security and Trust Symposium (AsianHOST), 1-6, 2022 | 5 | 2022 |
Method and apparatus for vetting universal serial bus device firmware K Butler, T Yavuz, J Tian, G Hernandez, F Fowze US Patent 11,568,044, 2023 | 4 | 2023 |
EXERT: exhaustive integrity analysis for information flow security J Wu, F Fowze, D Forte 2022 Asian Hardware Oriented Security and Trust Symposium (AsianHOST), 1-6, 2022 | 4 | 2022 |
Ocean wave energy based power plant for Sandwip, Bangladesh F Fowze, S Amir, KQ Khan, RB Mustafiz, FA Khandker, MA Kabir 2nd International Conference on the Developments in Renewable Energy …, 2012 | 4 | 2012 |
Specification, verification, and synthesis using extended state machines with callbacks F Fowze, T Yavuz 2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016 | 2 | 2016 |
Extracting configuration parameter interactions using static analysis CA Metcalf, F Fowze, T Yavuz, J Fortes 2016 IEEE 24th International Conference on Program Comprehension (ICPC), 1-4, 2016 | 2 | 2016 |
Protocol model learning and guided firmware analysis T Yavuz, F Fowze, KRB Butler, J Tian, GH Hernandez US Patent 11,640,464, 2023 | | 2023 |
Finding Memory Vulnerabilities in Protocol Stack Implementations using Hybrid Program Analysis F Fowze, T Yavuz Proceedings of the 8th International Conference on Networking, Systems and …, 2021 | | 2021 |
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations F Fowze, T Yavuz Proceedings of the 19th ACM-IEEE International Conference on Formal Methods …, 2021 | | 2021 |
Domain Informed Firmware Analysis for Internet of Things (IoT) Security F Fowze University of Florida, 2020 | | 2020 |
Also in This Issue ZB Celik, P McDaniel, G Tan, L Babun, AS Uluagac, G Hernandez, ... | | 2019 |
Towards Automated Firmware Analysis in the IoT Era DJT Grant Hernandez, F Fowze, T Yavuz, K Butler | | 2019 |