Validation of Abstract Side-Channel Models for Computer Architectures-Reference-Cited by-同舟云学术

Validation of Abstract Side-Channel Models for Computer Architectures

Published:2020 Issue: Volume: Page:225-248
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Nemati Hamed,Buiras Pablo,Lindner Andreas,Guanciale Roberto,Jacobs Swen

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53288-8_12

Reference48 articles.

1. Lecture Notes in Computer Science;O Acıiçmez,2006

2. Lecture Notes in Computer Science;O Acıiçmez,2006

3. Almeida, J.B., Barbosa, M., Barthe, G., Dupressoir, F., Emmi, M.: Verifying constant-time implementations. In: USENIX Security, pp. 53–70 (2016)

4. Almeida, J.B., Barbosa, M., Pinto, J.S., Vieira, B.: Formal verification of side-channel countermeasures using self-composition. Sci. Comput. Program. 78(7), 796–812 (2013)

5. ARM Limited: Vulnerable ARM processors to Spectre attack. https://developer.arm.com/support/arm-security-updates/speculative-processor-vulnerability . Accessed 2019

Cited by 9 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. Serberus: Protecting Cryptographic Code from Spectres at Compile-Time;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

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