共 50 条
- [1] Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks 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 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 Conference on Hypercube Concurrent Computers and Applications, 1988,
- [4] Formal Verification of Interrupt Isolation for the TrustZone-based TEE PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 309 - 318
- [6] When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux PROCEEDINGS OF THE 33RD USENIX SECURITY SYMPOSIUM, SECURITY 2024, 2024, : 6167 - 6184
- [9] An Interrupt Management Scheme based on Application in Embedded System 2008 INTERNATIONAL CONFERENCE ON MULTIMEDIA AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2008, : 449 - 452
- [10] Research on Time Randomization based on soft interrupt Against DPA Attack PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MECHATRONICS, MATERIALS, CHEMISTRY AND COMPUTER ENGINEERING 2015 (ICMMCCE 2015), 2015, 39 : 1261 - 1266