Abstract interpretation under speculative execution-Reference-Cited by-同舟云学术

Abstract interpretation under speculative execution

Published:2019-06-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Wu Meng¹,Wang Chao²

Affiliation:

1. Virginia Tech, USA

2. University of Southern California, USA

Publisher

ACM

Link

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

Reference60 articles.

1. 2014. Intel®64 and IA-32 Architectures Optimization Reference Manual. https://botan.randombit.net/. 2014. Intel®64 and IA-32 Architectures Optimization Reference Manual . https://botan.randombit.net/.

2. 2018. LibTomCrypt: A Modular and Portable Cryptographic Toolkit. https://www.libtom.net/LibTomCrypt. 2018. LibTomCrypt: A Modular and Portable Cryptographic Toolkit . https://www.libtom.net/LibTomCrypt.

3. 2018. OpenSSH. http://www.openssh.com/ 2018. OpenSSH. http://www.openssh.com/

4. 2018. Tesla Motors: Linux. https://github.com/teslamotors/linux. 2018. Tesla Motors: Linux . https://github.com/teslamotors/linux.

5. Decomposition instead of self-composition for proving the absence of timing channels

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

1. CBANA: A Lightweight, Efficient, and Flexible Cache Behavior Analysis Framework;IEEE Transactions on Computers;2024-09

2. Towards Efficient Verification of Constant-Time Cryptographic Implementations;Proceedings of the ACM on Software Engineering;2024-07-12

3. 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

4. Systematic Testing of the Data-Poisoning Robustness of KNN;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

5. Pensieve: Microarchitectural Modeling for Security Evaluation;Proceedings of the 50th Annual International Symposium on Computer Architecture;2023-06-17