| Smart nest thermostat: A smart spy in your home G Hernandez, O Arias, D Buentello, Y Jin Black Hat USA 2015, 2014 | 257 | 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 | 135 | 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 | 63 | 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 | 53 | 2018 |
| 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 | 47 | 2022 |
| 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 | 41 | 2019 |
| {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 | 36 | 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 | 26 | 2019 |
| 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 | 23 | 2022 |
| 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 | 23 | 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 |
| 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 | 15 | 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 | 12 | 2019 |
| Emulating samsung’s baseband for security testing G Hernandez, M Muench, T Tucker, H Searle, 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 |
| 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 | 6 | 2016 |
| 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 |
| Automated security analysis of baseband firmware GH Hernandez, KR Butler, PG Traynor US Patent 11,663,338, 2023 | 1 | 2023 |
| Minding the Semantic Gap for Effective Storage-Based Ransomware Defense W Zhu, G Hernandez, W Garcia, DJ Tian, S Rampazzi, K Butler MSST, 2024 | | 2024 |
Kevin ButlerUniversity of FloridaVerificeret mail på ufl.edu