Identifying Cache-Based Timing Channels in Production Software

主讲:Dinghao Wu, Pennsylvania State University

In this talk, I will present a technique to help software developersidentify potential vulnerabilities that can lead to cache-based timingattacks. Our technique leverages symbolic execution and constraintsolving to detect potential cache differences at each programpoint. We adopt a cache model that is general enough to capturevarious threat models that are employed in practical timing attacks.

Patr 2 Overview

 

【视频目录】

Towards Efficient Heap Overflow Discovery 

来源:中国教育网
CERNET第二十五届学术年会征文通知

相关课程