1 citations · 2 across the 2 of their papers we have counts for
7 papers
TAC: Hybrid IAM Privilege Escalation Detection
Yang Hu, Wenxi Wang, Sarfraz Khurshid +1
IAM misconfigurations are a major cause of privilege escalation (PE) attacks in the cloud, leading to data breaches and major financial losses. Existing PE detectors have two main…
OBsmith: LLM-Powered JavaScript Obfuscator Testing
Shan Jiang, Chenguang Zhu, Sarfraz Khurshid
JavaScript obfuscators are widely deployed to protect intellectual property and resist reverse engineering, yet their correctness has been largely overlooked compared to performanc…
APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
Hua Zhong, Shan Jiang, Sarfraz Khurshid
APIs are central to modern software development, yet composing new APIs from large libraries is difficult due to the exponential search space; traditional component-based synthesis…
On the Effectiveness of Large Language Models in Writing Alloy Formulas
Yang Hong, Shan Jiang, Yulei Fu +1
Declarative specifications have a vital role to play in developing safe and dependable software systems. Writing specifications correctly, however, remains particularly challenging…
An approach for API synthesis using large language models
Hua Zhong, Shan Jiang, Sarfraz Khurshid
APIs play a pivotal role in modern software development by enabling seamless communication and integration between various systems, applications, and services. Component-based API…
Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs
Shan Jiang, Chenguang Zhu, Sarfraz Khurshid
Software testing remains the most widely used methodology for validating quality of code. However, effectiveness of testing critically depends on the quality of test suites used. T…