We have 4 of 19 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Overall, developer-reported SST challenges extend beyond vulnerability detection and include workflow, configuration, interpretation, and remediation concerns and can help researchers, practitioners, educators, and tool providers improve SST usability, documentation, result interpretation, and remediation support.
This pilot study evaluated six open-weight LLMs on the same 100 theorems from CoqStoq, a benchmark derived from real Coq projects and did not statistically test whether one model outperforms another, therefore, the results do not establish a universal ranking of the six models.
The findings in this study highlight the potential and current limitations of LLMs for phishing detection in dynamic instant messaging environments and emphasize the superior performance of platform-tailored models.
This work constructs a dataset called CAV-STIXGen that maps CAV vulnerability descriptions to STIX domain objects, and analyzes CWE and MITRE ATT&CK co-occurrences to identify recurring threat patterns in the CAV domain, demonstrating how AI-assisted vulnerability-to-STIX translation can automate threat intelligence an...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
