Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Offered By: TheIACR via YouTube
Course Description
Overview
Explore a conference talk from Eurocrypt 2018 that delves into the formal verification of masked hardware implementations, specifically addressing the challenges posed by glitches. Learn about the research conducted by Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, and Johannes Winter as they present their findings on this critical aspect of cryptographic hardware security. Gain insights into the methodologies and techniques used to verify the robustness of masked implementations against potential vulnerabilities introduced by glitches in hardware circuits.
Syllabus
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Taught by
TheIACR
Related Courses
Building Geospatial Apps on Postgres, PostGIS, & Citus at Large ScaleMicrosoft via YouTube Unlocking the Power of ML for Your JavaScript Applications with TensorFlow.js
TensorFlow via YouTube Managing the Reactive World with RxJava - Jake Wharton
ChariotSolutions via YouTube What's New in Grails 2.0
ChariotSolutions via YouTube Performance Analysis of Apache Spark and Presto in Cloud Environments
Databricks via YouTube