Adversarial symbolic execution for detecting concurrency-related cache timing leaks-Reference-Cited by-同舟云学术

Adversarial symbolic execution for detecting concurrency-related cache timing leaks

Published:2018-10-26 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Guo Shengjian¹,Wu Meng¹,Wang Chao²

Affiliation:

1. Virginia Tech, USA

2. University of Southern California, USA

Publisher

ACM

Link

Reference69 articles.

1. Botan. https://botan.randombit.net/. Botan. https://botan.randombit.net/.

2. High Performance SSH/SCP - HPN-SSH. https://www.psc.edu/hpnssh. High Performance SSH/SCP - HPN-SSH. https://www.psc.edu/hpnssh.

3. Libgcrypt. https://gnupg.org/software/libgcrypt/index.html. Libgcrypt. https://gnupg.org/software/libgcrypt/index.html.

4. LibTomCrypt. http://www.libtom.net/LibTomCrypt/. LibTomCrypt. http://www.libtom.net/LibTomCrypt/.

5. OpenSSH. http://www.openssh.com/. OpenSSH. http://www.openssh.com/.

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

1. Timing Side-Channel Mitigation via Automated Program Repair;ACM Transactions on Software Engineering and Methodology;2024-07-16

3. Constraint Based Program Repair for Persistent Memory Bugs;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12