YoVDO

High-Assurance Cryptography in the Spectre Era

Offered By: IEEE via YouTube

Tags

Cryptography Courses Cybersecurity Courses Speculative Execution Courses

Course Description

Overview

Explore the critical intersection of cryptography and cybersecurity in the age of Spectre vulnerabilities through this 15-minute IEEE presentation. Delve into the challenges posed by speculative execution attacks, understand the concept of constant-time programming, and learn about innovative approaches to high-assurance cryptography. Discover verification techniques, performance considerations, and developer tools designed to enhance cryptographic implementations' resilience against side-channel attacks. Gain valuable insights into securing modern cryptographic systems in an era of evolving hardware vulnerabilities.

Syllabus

Introduction
The Big Four
The Problem
The Approach
What is Constant Time
Speculative Execution Semantics
Verification
Extensions
Performance
Developer Verification
Conclusion


Taught by

IEEE Symposium on Security and Privacy

Tags

Related Courses

Computer Security
Stanford University via Coursera Cryptography II
Stanford University via Coursera Malicious Software and its Underground Economy: Two Sides to Every Story
University of London International Programmes via Coursera Building an Information Risk Management Toolkit
University of Washington via Coursera Introduction to Cybersecurity
National Cybersecurity Institute at Excelsior College via Canvas Network