Webinar: Automating Hardware Security Property Generation

To watch the recorded webinar, click on the recording.

Play Video

Speaker: 

Dr. Ryan Kastner, University of California, San Diego

Abstract:

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.

Speaker Bio:

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.