Dr. Ryan Kastner, University of California, San Diego
This talk describes a series of automated techniques to help generate security properties. Our initial goal aims to provide insights into the designs that can be used to help derive properties. Our ambitious long-term goal is to automate the security property generation process using limited human input.
Ryan Kastner is a professor in the Department of Computer Science and Engineering at the University of California, San Diego. He received a PhD in Computer Science (2002) at UCLA, a Masters degree in engineering (2000) and Bachelor degrees (BS) in both Electrical Engineering and Computer Engineering (1999) from Northwestern University. He spent the first five years after his PhD as a professor in the Department of Electrical and Computer Engineering at the University of California, Santa Barbara. He has published over 200 technical articles and has authored four books.
Bookings are closed for this event.