Symbolic path cost analysis for side-channel detection-Reference-Cited by-同舟云学术

Symbolic path cost analysis for side-channel detection

Published:2018-07-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Brennan Tegan¹,Saha Seemanta¹,Bultan Tevfik¹,Păsăreanu Corina S.²

Affiliation:

1. University of California at Santa Barbara, USA

2. Carnegie Mellon Silicon Valley, USA / NASA Ames Research Center, USA

Funder

National Science Foundation

Defense Advanced Research Projects Agency

Publisher

ACM

Link

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

Reference37 articles.

1. {n. d.}. https://github.com/Apogee-Research/STAC/tree/master/Engagement_ Challenges. ({n. d.}). {n. d.}. https://github.com/Apogee-Research/STAC/tree/master/Engagement_ Challenges. ({n. d.}).

2. {n. d.}. https://github.com/vlab-cs-ucsb/coco-channel. ({n. d.}). {n. d.}. https://github.com/vlab-cs-ucsb/coco-channel. ({n. d.}).

3. {n. d.}. Space/Time Analysis for Cybersecurity (STAC). https://www.darpa.mil/ program/space-time-analysis-for-cybersecurity. ({n. d.}). {n. d.}. Space/Time Analysis for Cybersecurity (STAC). https://www.darpa.mil/ program/space-time-analysis-for-cybersecurity. ({n. d.}).

4. {n. d.}. Z3 API in Python. ({n. d.}). http://www.cs.tau.ac.il/~msagiv/courses/asv/ z3py/guide-examples.htm {n. d.}. Z3 API in Python. ({n. d.}). http://www.cs.tau.ac.il/~msagiv/courses/asv/ z3py/guide-examples.htm

5. Transforming out timing leaks

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

1. Concretely Mapped Symbolic Memory Locations for Memory Error Detection;IEEE Transactions on Software Engineering;2024-07

2. Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks;ACM Transactions on Software Engineering and Methodology;2023-12-05

3. State Merging with Quantifiers in Symbolic Execution;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

4. Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code;2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P);2023-07

5. Software Side Channel Vulnerability Detection Based on Similarity Calculation and Deep Learning;2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2022-12