Compiler Mitigations for Time Attacks on Modern x86 Processors

被引:33
|
作者
Van Cleemput, Jeroen [1 ]
Coppens, Bart [1 ]
De Sutter, Bjorn [1 ]
机构
[1] Univ Ghent, Dept Elect & Informat Syst, B-9000 Ghent, Belgium
关键词
Measurement; Security; Time-based side channels; x86; architecture; variable latency instructions;
D O I
10.1145/2086696.2086702
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper studies and evaluates the extent to which automated compiler techniques can defend against timing-based side channel attacks on modern x86 processors. We study how modern x86 processors can leak timing information through side channels that relate to data flow. We study the efficiency, effectiveness, portability, predictability and sensitivity of several mitigating code transformations that eliminate or minimize key-dependent execution time variations. Furthermore, we discuss the extent to which compiler backends are a suitable tool to provide automated support for the proposed mitigations.
引用
收藏
页数:20
相关论文
共 50 条
  • [1] Practical Mitigations for Timing-Based Side-Channel Attacks on Modern x86 Processors
    Coppens, Bart
    Verbauwhede, Ingrid
    De Bosschere, Koen
    De Sutter, Bjorn
    PROCEEDINGS OF THE 2009 30TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY, 2009, : 45 - +
  • [2] X86 PROCESSORS
    Dipert, Brian
    EDN, 2010, 55 (03) : 19 - +
  • [3] Verified Just-In-Time Compiler on x86
    Myreen, Magnus O.
    POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 107 - 118
  • [4] Verified Just-In-Time Compiler on x86
    Myreen, Magnus O.
    ACM SIGPLAN NOTICES, 2010, 45 (01) : 107 - 118
  • [5] Optimizing pixomatic for modern x86 processors: Part III
    Abrash, M
    DR DOBBS JOURNAL, 2004, 29 (10): : 48 - 51
  • [6] Optimizing pixomatic for modern x86 processors: Part II
    Abrash, M
    DR DOBBS JOURNAL, 2004, 29 (09): : 46 - +
  • [7] Microarchitectural Attacks and Mitigations on Retire Resources in Modern Processors
    Xu, Ke
    Tang, Ming
    Wang, Quancheng
    Wang, Han
    IEEE TRANSACTIONS ON COMPUTERS, 2025, 74 (04) : 1253 - 1266
  • [8] Fast Concurrent Queues for x86 Processors
    Morrison, Adam
    Afek, Yehuda
    ACM SIGPLAN NOTICES, 2013, 48 (08) : 103 - 112
  • [9] A SUCCESSFUL DESIGN METHODOLOGY FOR X86 PROCESSORS
    不详
    ELECTRONIC ENGINEERING, 1993, 65 (801): : S39 - S41
  • [10] Optimizing precision overhead for x86 processors
    Ogasawara, T
    Komatsu, H
    Nakatani, T
    SOFTWARE-PRACTICE & EXPERIENCE, 2004, 34 (09): : 875 - 893