YoVDO

Automatically Reasoning About How Systems Code Uses the CPU Cache

Offered By: USENIX via YouTube

Tags

CPU Cache Courses Cryptography Courses Operating Systems Courses Security Analysis Courses Systems Programming Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a groundbreaking technique called CFAR for automatically analyzing how systems code utilizes the CPU cache in this 15-minute conference talk from OSDI '24. Discover how CFAR employs program analysis and binary instrumentation to extract memory access patterns from code, then uses "projectors" to answer specific questions about cache usage. Learn about three example projectors that report on cache footprint scaling, cache hits and misses for different input classes, and potential vulnerabilities in cryptographic code due to secret-dependent cache access patterns. Examine the implementation of CFAR through case studies analyzing TCP stacks, cryptographic algorithms, system calls, and hash table implementations. Gain insights into how developers can leverage CFAR to identify performance issues and security vulnerabilities in their own code, as well as understand the performance implications of integrating third-party code without extensive benchmarking.

Syllabus

OSDI '24 - Automatically Reasoning About How Systems Code Uses the CPU Cache


Taught by

USENIX

Related Courses

Introduction to Enterprise Computing
Marist College via Independent
Advanced Operating Systems
Georgia Institute of Technology via Udacity
Programmation sur iPhone et iPad (partie I)
Université Pierre et Marie CURIE via France Université Numerique
操作系统原理(Operating Systems)
Peking University via Coursera
Introduction to Operating Systems
Georgia Institute of Technology via Udacity