Date/Time
Date(s) - 11/17/2021
12:00 - 13:00
Add to Google Calendar or iCal/Outlook Calendar
Speaker:
Dr. Ryan Kastner
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.

Registration
Bookings are closed for this event.