Below is a brief version of my research curriculum vitae. A comprehensive PDF version of the CV is also available.
Master of Science, Columbia University, Electrical Engineering, May 2003.
Bachelor of Science, Queen's University, Electrical Engineering, May 1999.
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.
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.