• Skip to main content
  • Skip to header right navigation
  • Skip to site footer
MEST Center

MEST Center

National Microelectronic Security Training Center

  • Home
  • About Us
    • Highlights
    • Advisory Board
    • Diversity and Inclusion Statement
    • Careers
  • Contributors
  • Trainings & Schedule
    • Webinars
    • On-Site and Virtual Training
    • On-Campus Training
    • Certificate Programs
    • Courses
  • Contact Us

Automating Hardware Security Property Generation

November 17, 2021 by Moriah Henderson

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.

MEST Center Associates

Copyright © 2022

Navigation

Home
About Us
Contributors
Trainings & Schedule
Contact Us