Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks

被引：0
|
作者：
Piessens, Frank [1 ]
机构：
[1] Katholieke Univ Leuven, Leuven, Belgium
来源：
TIS'19: PROCEEDINGS OF ACM WORKSHOP ON THEORY OF IMPLEMENTATION SECURITY WORKSHOP | 2019年
关键词：
Computer security; trusted execution environments; enclaves; interrupts; side-channel attacks;
D O I：
10.1145/3338467.3358952
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] SGXlinger: A New Side-channel Attack Vector Based on Interrupt Latency against Enclave Execution
    He, Wenjian
    Zhang, Wei
    Das, Sanjeev
    Liu, Yang
    2018 IEEE 36TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2018, : 108 - 114
  • [2] ChaosINTC: A Secure Interrupt Management Mechanism against Interrupt-based Attacks on TEE
    Zhu, Yifan
    Li, Peinan
    Zhao, Lutan
    Meng, Dan
    Hou, Rui
    2023 60TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC, 2023,
  • [3] Masking against Side-Channel Attacks: A Formal Security Proof
    Prouff, Emmanuel
    Rivain, Matthieu
    ADVANCES IN CRYPTOLOGY - EUROCRYPT 2013, 2013, 7881 : 142 - 159
  • [4] Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks
    Winderix, Hans
    Muhlberg, Jan Tobias
    Piessens, Frank
    2021 IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY (EUROS&P 2021), 2021, : 667 - 682
  • [5] A Study on Information Security Attack based Side-Channel Attacks
    Kang, Young-Jin
    Bruce, Ndibanje
    Park, SuHyun
    Lee, HoonJae
    2016 18TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATIONS TECHNOLOGY (ICACT) - INFORMATION AND COMMUNICATIONS FOR SAFE AND SECURE LIFE, 2016, : 61 - 65
  • [6] A tutorial on physical security and side-channel attacks
    Koeune, F
    Standaert, FX
    FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN III, 2005, 3655 : 78 - 108
  • [7] On the Correctness of an Approach against Side-Channel Attacks
    Wang, Peng
    Feng, Dengguo
    Wu, Wenling
    Zhang, Liting
    INFORMATION SECURITY PRACTICE AND EXPERIENCE, PROCEEDINGS: 5TH INTERNATIONAL CONFERENCE, ISPEC 2009, 2009, 5451 : 336 - +
  • [8] On the Security of Practical Mail User Agents against Cache Side-Channel Attacks
    Kim, Hodong
    Yoon, Hyundo
    Shin, Youngjoo
    Hur, Junbeom
    APPLIED SCIENCES-BASEL, 2020, 10 (11):
  • [9] Survey on Software Side-channel Attacks in Trusted Execution Environment
    Yang F.
    Zhang Q.-Y.
    Shi Z.-P.
    Guan Y.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (01): : 381 - 403
  • [10] Fast Side-Channel Security Evaluation of ECC Implementations Shortcut Formulas for Horizontal Side-Channel Attacks Against ECSM with the Montgomery Ladder
    Azouaoui, Melissa
    Poussier, Romain
    Standaert, Francois-Xavier
    CONSTRUCTIVE SIDE-CHANNEL ANALYSIS AND SECURE DESIGN (COSADE 2019), 2019, 11421 : 25 - 42
12345