MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors-Reference-Cited by-同舟云学术

MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors

Published:2023-11-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Ami Amit Seal¹,Ahmed Syed Yusuf²,Redoy Radowan Mahmud²,Cooper Nathan¹,Kafle Kaushal¹,Moran Kevin³,Poshyvanyk Denys¹,Nadkarni Adwait¹

Affiliation:

1. William & Mary, Williamsburg, USA

2. University of Dhaka, Dhaka, Bangladesh

3. University of Central Florida, Orlando, USA

Funder

NSF (National Science Foundation)

Coastal Virginia Center for Cyber Innovation and the Commonwealth Cyber Initiative

Publisher

ACM

Link

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

Reference18 articles.

1. 2022. MASC Artifact. https://github.com/Secure-Platforms-Lab-W-M/MASC-Artifact 2022. MASC Artifact. https://github.com/Secure-Platforms-Lab-W-M/MASC-Artifact

2. 2023. MASC. https://github.com/Secure-Platforms-Lab-W-M/MASC 2023. MASC. https://github.com/Secure-Platforms-Lab-W-M/MASC

3. Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques

4. Amit Seal Ami , Kaushal Kafle , Kevin Moran , Adwait Nadkarni , and Denys Poshyvanyk . 2021 . Demo: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android . In Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering (ICSE’21) , Formal Tool Demonstration, Virtual (originally Madrid, Spain), May 25th - 28th , 2021. Amit Seal Ami, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, and Denys Poshyvanyk. 2021. Demo: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android. In Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering (ICSE’21), Formal Tool Demonstration, Virtual (originally Madrid, Spain), May 25th - 28th, 2021.

5. Systematic Mutation-Based Evaluation of the Soundness of Security-Focused Android Static Analysis Techniques

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

1. "False negative - that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

2. CryptoLLM: Harnessing the Power of LLMs to Detect Cryptographic API Misuse;Lecture Notes in Computer Science;2024