• 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
    • Careers
  • Contributors
  • Trainings & Schedule
    • Join us on nanoHUB!
    • Webinars
    • On-Site and Virtual Training
    • On-Campus Training
    • Certificate Programs
      • Micro Certificates
      • Macro Certificates
    • Courses
    • Modules
  • Contact Us

Webinar: Hardware Security Verification Using Formal Methods

February 5, 2020 by Harry Monkhorst

Date/Time
Date(s) - 02/05/2020
12:00 PM - 1:00 PM
Add to Google Calendar or iCal/Outlook Calendar


To watch the recorded webinar, click on the recording.

Play Video 

Speaker: 

Dr. Prabhat Mishra, Professor in the Department of Computer and Information Science and Engineering at the University of Florida

Abstract:

 

Speaker Bio:

Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering at the University of Florida. He received his Ph.D. in Computer Science and Engineering from the University of California at Irvine in 2004. His research has been recognized by several awards including the NSF CAREER Award, IBM Faculty Award, three Best Paper Awards, and EDAA Outstanding Dissertation Award. Prof. Mishra is an ACM Distinguished Scientist and a Senior Member of IEEE.



Registration

Bookings are closed for this event.

Stay in touch!

Join our LISTSERV

Join us on nanoHUB

  • LinkedIn
  • Email MEST Center
  • Join us on nanoHUB!