Cyber Security: A DARPA Perspective

Website Maintenance Alert

Due to scheduled maintenance, the USENIX website will not be available on Tuesday, December 17, from 10:00 am to 2:00 pm Pacific Daylight Time (UTC -7). We apologize for the inconvenience.

If you are trying to register for Enigma 2020, please complete your registration before or after this time period.

Wednesday, February 1, 2017 - 3:30pm4:30pm

John Launchbury, Director, Information Innovation Office (I2O)

Abstract: 

Cyber threats against our information systems have grown in sophistication and number, yet progress in the cyber security of best-of-breed systems has been significant over the last few years, giving us hope that we are no longer facing an impossible task. This talk will present an overview of the state of current cyber systems, the anatomy of a cyber attack, and discuss the cyber R&D portfolio in DARPA I2O.

John Launchbury, Director, Information Innovation Office (I2O)

Dr. John Launchbury is the Director of the Information Innovation Office (I2O) at DARPA. In this role he develops strategy and works with I2O program managers to develop new programs and transition program products.

Before joining DARPA, Dr. Launchbury was chief scientist of Galois, Inc., which he founded in 1999 to address challenges in information assurance through the application of functional programming and formal methods. Under his leadership, the company experienced strong growth and was recognized for thought leadership in high-assurance technology development.

Prior to founding Galois, Dr. Launchbury was a full professor at the OGI School of Science and Engineering at OHSU (Oregon). He earned awards for outstanding teaching and gained international recognition for his work on the analysis and semantics of programming languages, the Haskell programming language in particular.

Dr. Launchbury received first-class honors in mathematics from Oxford University, holds a Ph.D. in computing science from the University of Glasgow and won the British Computer Society's distinguished dissertation prize. In 2010, Dr. Launchbury was inducted as a Fellow of the Association for Computing Machinery (ACM).

BibTeX
@conference {201928,
author = {John Launchbury},
title = {Cyber Security: A {DARPA} Perspective},
year = {2017},
address = {Oakland, CA},
publisher = {{USENIX} Association},
month = jan,
}

Presentation Video