Validation of Side-Channel Models via Observation Refinement-Reference-Cited by-同舟云学术

Validation of Side-Channel Models via Observation Refinement

Published:2021-10-17 Issue: Volume: Page:
ISSN:
Container-title:MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture
language:
Short-container-title:

Author:

Buiras Pablo¹,Nemati Hamed²,Lindner Andreas¹,Guanciale Roberto¹

Affiliation:

1. KTH Royal Institute of Technology, Sweden

2. Stanford University and CISPA Helmholtz Center for Information Security, United States

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3466752.3480130

Reference49 articles.

1. [n. d.]. Eclipse Repairnator. https://projects.eclipse.org/proposals/eclipse-repairnator Accessed: 2021-01-29. [n. d.]. Eclipse Repairnator. https://projects.eclipse.org/proposals/eclipse-repairnator Accessed: 2021-01-29.

2. [n. d.]. EmbExp-Box - Embedded Experiments In a Box. https://github.com/kth-step/EmbExp-Box Accessed: 2021-07-29. [n. d.]. EmbExp-Box - Embedded Experiments In a Box. https://github.com/kth-step/EmbExp-Box Accessed: 2021-07-29.

3. [n. d.]. EmbExp-Logs - Embedded Experiments Logs. https://github.com/kth-step/EmbExp-Logs Accessed: 2021-07-29. [n. d.]. EmbExp-Logs - Embedded Experiments Logs. https://github.com/kth-step/EmbExp-Logs Accessed: 2021-07-29.

4. [n. d.]. Scam-V. https://github.com/kth-step/HolBA/tree/master/src/tools/scamv Accessed: 2021-09-09. [n. d.]. Scam-V. https://github.com/kth-step/HolBA/tree/master/src/tools/scamv Accessed: 2021-09-09.

5. [n. d.]. Vulnerability of Speculative Processors to Cache Timing Side-Channel Mechanism. https://developer.arm.com/support/arm-security-updates/speculative-processor-vulnerability Accessed: 2021-09-09. [n. d.]. Vulnerability of Speculative Processors to Cache Timing Side-Channel Mechanism. https://developer.arm.com/support/arm-security-updates/speculative-processor-vulnerability Accessed: 2021-09-09.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization;Proceedings of the 19th ACM Asia Conference on Computer and Communications Security;2024-07

2. Lifting Micro-Update Models from RTL for Formal Security Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27

3. Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25

4. Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

5. Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing;2023 IEEE Symposium on Security and Privacy (SP);2023-05