String analysis for side channels with segmented oracles-Reference-Cited by-同舟云学术

String analysis for side channels with segmented oracles

Published:2016-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
language:
Short-container-title:

Author:

Bang Lucas¹,Aydin Abdulbaki¹,Phan Quoc-Sang²,Păsăreanu Corina S.³,Bultan Tevfik¹

Affiliation:

1. University of California at Santa Barbara, USA

2. Carnegie Mellon Silicon Valley, USA

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

Reference54 articles.

1. Omega. http://www.cs.umd.edu/projects/omega/. Omega. http://www.cs.umd.edu/projects/omega/.

2. Xbox 360 timing attack. http://beta.ivc.no/wiki/ index.php/Xbox 360 Timing Attack 2007. Xbox 360 timing attack. http://beta.ivc.no/wiki/ index.php/Xbox 360 Timing Attack 2007.

3. A few important facts regarding oauth security. http://oauthlib.readthedocs.io/en/latest/oauth1/ security.html 2012. A few important facts regarding oauth security. http://oauthlib.readthedocs.io/en/latest/oauth1/ security.html 2012.

4. Oauth protocol hmac byte value calculation timing disclosure weakness. https://osvdb.info/OSVDB-97562 2013. Oauth protocol hmac byte value calculation timing disclosure weakness. https://osvdb.info/OSVDB-97562 2013.

5. String Constraints for Verification

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

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

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

3. A faster FPRAS for #NFA;Proceedings of the ACM on Management of Data;2024-05-10

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

5. Obtaining Information Leakage Bounds via Approximate Model Counting;Proceedings of the ACM on Programming Languages;2023-06-06