Curriculum Vitae

Below is a brief version of my research curriculum vitae. A comprehensive PDF version of the CV is also available.


Kevin Raymond Boyce Butler

Associate Professor
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
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.
Winner, Symantec Intern Project Showcase Competition, Symantec Corporation, 2009.
Symantec Graduate Fellowship, Symantec Research Labs, 2009-2010.
Graduate Research Assistant Award, Computer Science and Engineering Department, Pennsylvania State University, 2009.
Special Award of Meritous Service, Third International Conference on Information Systems Security, December 2007.
University Graduate Fellowship, Pennsylvania State University, 2006.
C. Norwood Wherry Memorial Graduate Fellowship, Pennsylvania State University, 2004-2005.
Selected Publications

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 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.