Curriculum Vitae

Below is a brief version of my research curriculum vitae. A more comprehensive CV is available upon request.


Kevin Raymond Boyce Butler

Arnold and Lisa Goldberg Rising Star Associate Professor in Computer Science
Department of Computer and Information Science and Engineering
University of Florida, Gainesville, FL 32611

Education

Doctor of Philosophy, Pennsylvania State University, Computer Science and Engineering, August 2010.
Thesis title: Leveraging Emerging Storage Functionality for New Security Services
Advisor: Dr. Patrick McDaniel

Master of Science, Columbia University, Electrical Engineering, May 2003.

Bachelor of Science, Queen's University, Electrical Engineering, May 1999.

Honors and Awards

Arnold and Lisa Goldberg Rising Star Professorship in Computer Science, Univeristy of Florida, 2018.
University Term Professor, University of Florida, 2018.
Senior Member, Association for Computing Machinery, 2018.
Senior Member, Institute of Electrical and Electronics Engineers, 2017.
Outstanding Community Service Award, IEEE Technical Committee on Security and Privacy, 2017.
International Educator of the Year, Herbert Wertheim College of Engineering, University of Florida, 2017.
Best Teacher Award, Department of Computer and Information Science, University of Oregon, 2013.
CAREER Award, National Science Foundation, 2013.
Alumni Association Dissertation Award, Pennsylvania State University, 2010.
Symantec Graduate Fellowship, Symantec Research Labs, 2009-2010.
University Graduate Fellowship, Pennsylvania State University, 2006.

Selected Publications

Dave (Jing) Tian, Grand Hernandez, Joseph Choi, Vanessa Frost, Peter Johnson, and Kevin Butler. LBM: A Security Framework for Peripherals within the Linux Kernel.. 40th IEEE Symposium on Security and Privacy (Oakland'19), San Francisco, CA, USA, May 2019.

Luis Vargas, Gyan Hazarika, Rachel Culpepper, Kevin Butler, Thomas Shrimpton, Doug Szajda, and Patrick Traynor. Mitigating Risk while Complying with Data Retention Laws. 25th ACM Conference on Computer and Communications Security (CCS'18), Toronto, ON, Canada, October 2018.

Dave (Jing) Tian, Grant Hernandez, Joesph Choi, Vanessa Frost, Christie Ruales, Patrick Traynor, Hayawardh Vijaykumar, Lee Harrison, Amir Rahmati, Mike Grace, and Kevin Butler. ATtention Spanned: Comprehensive Vulnerability Analysis of AT Commands Within the Android Ecosystem. 27th USENIX Security Symposium (USENIX Security '18), Baltimore, MD, August 2018.

Dave (Jing) Tian, Nolen Scaife, Deepak Kumar, Michael Bailey, Adam Bates, and Kevin Butler. SoK: ``Plug & Pray'' Today -- Understanding USB Insecurity in Versions 1 through C. 39th IEEE Symposium on Security and Privacy (Oakland'18), San Francisco, CA, May 2018.

Christian Peeters, Hadi Abdullah, Nolen Scaife, Jasmine Bowers, Patrick Traynor, Bradley Reaves, and Kevin Butler. Sonar: Detecting SS7 Redirection Attacks Via Call Audio-Based Distance Bounding. 39th IEEE Symposium on Security and Privacy (Oakland'18), San Francisco, CA, May 2018.

Grant Hernandez, Farhaan Fowze, Dave (Jing) Tian, Tuba Yavuz, and Kevin Butler. FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution. 24th ACM Conference on Computer and Communications Security (CCS'17), Dallas, TX, USA October 2017.

Dave (Jing) Tian, Adam Bates, Kevin Butler, and Raju Rangaswami. ProvUSB: Block-level Provenance-Based Data Protection for USB Storage Devices. d ACM Conference on Computer and Communications Security (CCS'16), Vienna, Austria, October 2016.

Dave (Jing) Tian, Nolen Scaife, Adam Bates, Kevin Butler, and Patrick Traynor. Making USB Great Again with USBFILTER. \em 25th USENIX Security Symposium (Security'16), Austin, TX, USA, August 2016.

Bradley Reaves, Dave Tian, Nolen Scaife, Logan Blue, Patrick Traynor, and Kevin Butler. Sending out an SMS: Characterizing the Security of the SMS Ecosystem with Public Gateways. 2016 IEEE Symposium on Security and Privacy (Oakland'16), San Jose, CA, USA, May 2016.

Benjamin Mood, Debayan Gupta, Henry Carter, Kevin Butler, and Patrick Traynor. Frigate: A Validated, Extensible, and Efficient Compiler and Interpreter for Secure Computation. 1st IEEE European Symposium on Security and Privacy (Euro SP 2016), Saarbrucken, Germany, March 2016.

Adam Bates, Dave Tian, Kevin Butler, and Thomas Moyer. Trustworthy Whole-System Provenance for the Linux Kernel. 24th USENIX Security Symposium (Security'15), Washington, DC, USA, August 2015.

Bradley Reaves, Nolen Scaife, Adam Bates, Patrick Traynor, and Kevin Butler. Mo(bile) Money, Mo(bile) Problems: Analysis of Branchless Banking Applications in the Developing World. 24th USENIX Security Symposium (Security'15)}, Washington, DC, USA, August 2015.

Adam Bates, Joe Pletcher, Tyler Nichols, Braden Hollembaek, Dave Tian, Abdulrahman Alkhelaifi, and Kevin Butler. Securing SSL Certificate Verification through Dynamic Linking. 21st ACM Conference on Computer and Communication Security (CCS'14), Scottsdate, AZ, USA, November 2014.

Benjamin Mood, Debayan Gupta, Kevin Butler, and Joan Feigenbaum. Reuse It Or Lose It: More Efficient Secure Computation Through Reuse of Encrypted Values. 21st ACM Conference on Computer and Communication Security (CCS'14), Scottsdate, AZ, USA, November 2014.

Adam Bates, Ryan Leonard, Hannah Pruse, Daniel Lowd, and Kevin Butler.Leveraging USB to Establish Host Identity Using Commodity Devices. 2014 Symposium on Network and Distributed System Security (NDSS'14), San Diego, CA, USA, February 2014.

Henry Carter, Benjamin Mood, Patrick Traynor, and Kevin Butler. Secure Outsourced Garbled Circuit Evaluation for Mobile Devices. 22nd USENIX Security Symposium (Security'13), Washington, DC, USA, August 2013.

Benjamin Kreuter, ahbi shelat, Benjamin Mood, and Kevin Butler. PCF: A Portable Circuit Format For Scalable Two-Party Secure Computation. 22nd USENIX Security Symposium (Security'13), Washington, DC, USA, August 2013.

Vasant Tendulkar, Joe Pletcher, Ashwin Shashidharan, Ryan Snyder, Kevin Butler, and William Enck. Abusing Cloud-based Browsers for Fun and Profit. 28th Annual Computer Security Applications Conference (ACSAC 2012). Orlando, FL, USA, December 2012.

Vasant Tendulkar, Joe Pletcher, Ashwin Shashidharan, Ryan Snyder, Kevin Butler, and William Enck. HiFi: Collecting High-Fidelity Whole-System Provenance. 28th Annual Computer Security Applications Conference (ACSAC 2012). Orlando, FL, USA, December 2012.

Thomas Moyer, Kevin Butler, Joshua Schiffman, Patrick McDaniel, and Trent Jaeger. Scalable Web Content Attestation. IEEE Transactions on Computers, 61((5), pg. 686-699, May 2012.

Benjamin Mood, Lara Letaw, and Kevin Butler. Memory-Efficient Garbled Circuit Generation for Mobile Devices. 16th IFCA International Conference on Financial Cryptography and Data Security (FC'12). Bonaire, February 2012.

Adam Bates, Kevin Butler, Micah Sherr, Clay Shields, Patrick Traynor, and Dan Wallach. Accountable Wiretapping -or- I Know They Can Hear You Now. 19th ISOC Network and Distributed System Security Symposium (NDSS 2012). San Diego, CA, USA, February 2012.

Kevin Butler, Stephen McLaughlin, and Patrick McDaniel. Kells: A Protection Framework for Portable Data. 26th Annual Computer Security Applications Conference (ACSAC 2010). Austin, TX, USA, December 2010.

Machigar Ongtang, Kevin Butler, and Patrick McDaniel. Porscha: Policy Oriented Secure Content Handling in Android. 26th Annual Computer Security Applications Conference (ACSAC 2010). Austin, TX, USA, December 2010.

Kevin Butler, Toni Farley, Patrick McDaniel, and Jennifer Rexford. A Survey of BGP Security Issues and Solutions. Proceedings of the IEEE, 98(1):100--122, January 2010.

Kevin Butler, Sunam Ryu, Patrick Traynor, and Patrick McDaniel. Leveraging Identity-based Cryptography for Node ID Assignment in Structured P2P Systems. IEEE Transactions on Parallel and Distributed Systems (TPDS), 20(12):1803--1815, December 2009.

Kevin Butler, Stephen McLaughlin, and Patrick McDaniel, Rootkit-Resistant Disks. 15th ACM Conference on Computer and Communications Security (CCS'08), Alexandria, VA, USA. November 2008.

Patrick Traynor, Kevin Butler, William Enck, and Patrick McDaniel, Realizing Massive-Scale Conditional Access Systems Through Attribute-Based Cryptosystems. 15th Annual Network and Distributed System Security Symposium (NDSS'08), San Diego, CA, USA. February 2008.

Kevin Butler, Patrick McDaniel, and William Aiello, Optimizing BGP Security by Exploiting Path Stability. 13th ACM Conference on Computer and Communications Security (CCS'06), Alexandria, VA, USA. November 2006.

Patrick McDaniel, William Aiello, Kevin Butler, and John Ioannidis, Origin Authentication in Interdomain Routing. Computer Networks, 50(16), pg. 2953-2980, 14 November 2006.

Experience

Associate Director, Florida Institute for Cybersecurity Research, University of Florida, Gainesville, FL, August 2018-present.

Associate Professor, Department of Computer and Information Science and Engineering, University of Florida, Gainesville, FL, August 2014-present.

Assistant Professor, Department of Computer and Information Science, University of Oregon, Eugene, OR, September 2010-August 2014.

Research Intern, Symantec Research Labs, Mountain View, CA, June-August 2009.

Examined host-based validation for portable storage devices, and implemented an embedded Linux prototype. Investigated extension of information flow from the OS into storage. Winner of the techincal company-wide Symantec Intern Project Showcase competition.

Research Intern, Seagate Resarch, Pittsburgh, PA, May-August 2008.

Developed security infrastructures for distributed storage in a home user environment, focussing on distributed access control mechanisms.

Research Intern, AT&T Labs--Research, Florham Park, NJ, 2003-2004.

Investigated security threats in BGP and created an overview of threats and currently deployed solutions. Developed cryptographic constructions allowing efficient security solutions and performed simulations based on trace data.

Research Scientist, Telcordia Technologies (Bellcore), Morristown, NJ, 2000-2001.

Developed a network engineering and operations environment in a hybrid fibre-coax lab. Investigated routing alternatives and service assurance methodologies in multiple service provider environments.

Technical Specialist, UUNET (Verizon Business), Toronto, ON, 1999-2000.

Monitored and troubleshot intermediate and backbone connections across the Canadian network, along with DoS attacks, spam, and web security.