ChaosINTC: A Secure Interrupt Management Mechanism against Interrupt-based Attacks on TEE

被引:0
|
作者
Zhu, Yifan
Li, Peinan
Zhao, Lutan
Meng, Dan
Hou, Rui [1 ]
机构
[1] Chinese Acad Sci, Inst Informat Engn, State Key Lab Informat Secur, Beijing, Peoples R China
基金
中国国家自然科学基金;
关键词
D O I
10.1109/DAC56929.2023.10247744
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
For Trusted Execution Environment (TEE), interrupt-based side-channel attacks are becoming significant threats. Malicious supervisors use interrupts to perform single-step side-channel attacks or to improve the accuracy of existing side-channel attacks. This paper proposes a secure interrupt handle mechanism dedicated to TEE, named ChaosINTC. (1) To prevent frequent interrupts, a dynamic interrupt response delay mechanism delays the interrupt delivery with a variable time. (2) To prevent maliciously modifying ISRs, an interrupt handler protecting mechanism performs isolation and integrity checking. We deployed ChaosINTC on an open-source RISC-V core and evaluated its performance via FPGA. Our design provides strong security with marginal hardware and performance costs.
引用
收藏
页数:6
相关论文
共 50 条
  • [1] Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks
    Piessens, Frank
    TIS'19: PROCEEDINGS OF ACM WORKSHOP ON THEORY OF IMPLEMENTATION SECURITY WORKSHOP, 2019, : 1 - 1
  • [2] Interrupt-based feedback control over a shared communication medium
    Hristu-Varsakelis, D
    Kumar, PR
    PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 3223 - 3228
  • [3] Generalized signals. An interrupt-based communication system for hypercubes
    Felten, E.W.
    Conference on Hypercube Concurrent Computers and Applications, 1988,
  • [4] Formal Verification of Interrupt Isolation for the TrustZone-based TEE
    Zhang, Leping
    Zhang, Qianying
    Wang, Xinyue
    Li, Ximeng
    Wang, Guohui
    Shi, Zhiping
    Guan, Yong
    PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 309 - 318
  • [5] Interrupt-Based Step-Counting to Extend Battery Life in an Activity Monitor
    Kim, Seung Young
    Kwon, Gu-In
    JOURNAL OF SENSORS, 2016, 2016
  • [6] When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux
    Ye, Chengfeng
    Cai, Yuandao
    Zhang, Charles
    PROCEEDINGS OF THE 33RD USENIX SECURITY SYMPOSIUM, SECURITY 2024, 2024, : 6167 - 6184
  • [7] INTERRUPT BASED ORGANIZATION FOR MANAGEMENT INFORMATION SYSTEMS
    MORGAN, HL
    COMMUNICATIONS OF THE ACM, 1970, 13 (12) : 734 - &
  • [8] Development and Comparison of Interrupt-Based and Analog-to-Digital Converter Algorithms for Seed Counting in Precision Planters
    Ghaffarnezhad, A.
    Navid, H.
    Karimi, H.
    JOURNAL OF AGRICULTURAL MACHINERY, 2024, 14 (04) : 429 - 443
  • [9] An Interrupt Management Scheme based on Application in Embedded System
    Wang, Qiurong
    2008 INTERNATIONAL CONFERENCE ON MULTIMEDIA AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2008, : 449 - 452
  • [10] Research on Time Randomization based on soft interrupt Against DPA Attack
    Chen, Lin
    Chen, Xingyuan
    Xu, Jinfu
    Li, Moran
    PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MECHATRONICS, MATERIALS, CHEMISTRY AND COMPUTER ENGINEERING 2015 (ICMMCCE 2015), 2015, 39 : 1261 - 1266