|KEVIN R. B.
Department of Computer and Information Science and Engineering
University of Florida
Email: butler at ufl.edu
GPG Fingerprint: 920C D0DC 44AA D8A5 6E10 8A28 E198 65CF 77C5 6944 (View PGP/GPG key)
Phone: (352) 562-0789
Fax: (352) 392-1220
E301 CSE Building
PO Box 116120
Gainesville, FL 32611 USA
On-Campus Address: 207 MAE Building
My research focuses on security issues as they relate to storage systems, large-scale systems architectures, and networks. Recent work in my group has included understanding the security of portable storage and the USB interface, mobile phone security, protection of Internet traffic and the SSL infrastructure, and attacks and defenses against the cloud infrastructure. Some of my other research areas of interest include security in interdomain routing, propagation of malicious code through the Internet, applied cryptosystems, and using secure hardware to enforce systems security. I lead systems security research within the Florida Institute for Cybersecurity Research and am formerly co-director of the Southeastern Security for Enterprise and Infrastructure (SENSEI) Center at the University of Florida, which I joined the in 2014 as part of the UF Rising to Preeminence Hiring Program. I received a National Science Foundataion CAREER award in 2013.
Note: We are building a world-class security research group at the University of Florida. I am looking for strong students with an interest in systems security. Students must have a strong technical background, be comfortable with systems work, and be willing to work hard. If you are not at student at the University of Florida and you are interested in my research, please apply to the program.
Our paper "FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Storage Devices" was accepted for publication at the 2017 ACM Conference on Computer and Communicatins Security (CCS).
Our paper "Transparent Web Service Auditing via Network Provenance Functions" was accepted for publication at the 2017 World Wide Web Conference (WWW).
Our paper "ProvUSB: Block-level Provenance-Based Data Protection for USB Storage Devices" was accepted for publication at the 2016 ACM Conference on Computer and Communicatins Security (CCS).
Our paper "Making USB Great Again with USBFILTER" was accepted for publication at the 2016 USENIX Security Symposium.
Congratulations to my first two graduating PhD students, Benjamin Mood and Adam Bates. Adam will be Assistant Professor of Computer Science at the University of Illinois at Urbana-Champaign this fall, while Benjamin will be Assistant Professor of Computer Sciece at Point Loma Nazarene University.
Our paper "Sending Out an SMS: Characterizing the Security of the SMS Ecosystem with Public Gateways" was accepted for publication at the 2016 IEEE Symposium on Security and Privacy (the Oakland conference).
Our paper "Frigate: A Validated, Extensible, and Efficient Compiler and Interpreter for Secure Computation" was accepted for publication at the 1st IEEE European Symposium on Security and Privacy (Euro S&P 2016).
Our papers "Trustworthy Whole-System Provenance for the Linux Kernel" and "Mo(bile) Money, Mo(bile) Problems: Analysis of Branchless Banking Applications in the Developing World" were accepted for publication at the 2015 USENIX Security Symposium.More News