| Smart nest thermostat: A smart spy in your home G Hernandez, O Arias, D Buentello, Y Jin Black Hat USA 1550, 2014 | 254 | 2014 |
| FirmUSB: Vetting USB device firmware using domain informed symbolic execution G Hernandez, F Fowze, DJ Tian, T Yavuz, KRB Butler Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 125 | 2017 |
| CPAC: securing critical infrastructure with cyber-physical access control S Etigowni, D Tian, G Hernandez, S Zonouz, K Butler Proceedings of the 32nd annual conference on computer security applications …, 2016 | 64 | 2016 |
| {ATtention} Spanned: Comprehensive Vulnerability Analysis of {AT} Commands Within the Android Ecosystem DJ Tian, G Hernandez, JI Choi, V Frost, C Raules, P Traynor, ... 27th USENIX security symposium (USENIX security 18), 273-290, 2018 | 48 | 2018 |
| Lbm: A security framework for peripherals within the linux kernel DJ Tian, G Hernandez, JI Choi, V Frost, PC Johnson, KRB Butler 2019 IEEE Symposium on Security and Privacy (SP), 967-984, 2019 | 40 | 2019 |
| FIRMWIRE: Transparent dynamic analysis for cellular baseband firmware G Hernandez, M Muench, D Maier, A Milburn, S Park, T Scharnowski, ... Network and Distributed Systems Security Symposium (NDSS) 2022, 2022 | 38 | 2022 |
| {BigMAC}:{Fine-Grained} policy analysis of android firmware G Hernandez, DJ Tian, AS Yadav, BJ Williams, KRB Butler 29th USENIX Security Symposium (USENIX Security 20), 271-287, 2020 | 34 | 2020 |
| A hybrid approach to secure function evaluation using SGX JI Choi, D Tian, G Hernandez, C Patton, B Mood, T Shrimpton, KRB Butler, ... Proceedings of the 2019 ACM Asia Conference on Computer and Communications …, 2019 | 24 | 2019 |
| A practical intel sgx setting for linux containers in the cloud D Tian, JI Choi, G Hernandez, P Traynor, KRB Butler Proceedings of the Ninth ACM Conference on Data and Application Security and …, 2019 | 22 | 2019 |
| Taming the costs of trustworthy provenance through policy reduction A Bates, D Tian, G Hernandez, T Moyer, KRB Butler, T Jaeger ACM Transactions on Internet Technology (TOIT) 17 (4), 1-21, 2017 | 22 | 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 | 19 | 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 | 15 | 2019 |
| Kiss from a rogue: Evaluating detectability of pay-at-the-pump card skimmers N Scaife, J Bowers, C Peeters, G Hernandez, IN Sherman, P Traynor, ... 2019 IEEE Symposium on Security and Privacy (SP), 1000-1014, 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 |
| Emulating samsung’s baseband for security testing G Hernandez, M Muench, T Tucker, H Serle, W Zhu, P Traynor, K Butler BlackHat USA, 2020 | 8 | 2020 |
| Basebads: Automated security analysis of baseband firmware: poster G Hernandez, KRB Butler Proceedings of the 12th Conference on Security and Privacy in Wireless and …, 2019 | 8 | 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 | |
| Efficient and secure template blinding for biometric authentication S Deshmukh, H Carter, G Hernandez, P Traynor, K Butler 2016 IEEE Conference on Communications and Network Security (CNS), 480-488, 2016 | 4 | 2016 |
| Automated security analysis of baseband firmware GH Hernandez, KR Butler, PG Traynor US Patent 11,663,338, 2023 | | 2023 |
| Protocol model learning and guided firmware analysis T Yavuz, F Fowze, KRB Butler, J Tian, GH Hernandez US Patent 11,640,464, 2023 | | 2023 |
Kevin ButlerUniversity of FloridaVerified email at ufl.edu
