3 papers
cs.CR2025
Lexo: Eliminating Stealthy Supply-Chain Attacks via LLM-Assisted Program Regeneration
Evangelos Lamprou, Julian Dai, Grigoris Ntousakis +2
Software supply-chain attacks are an important and ongoing concern in the open source software ecosystem. These attacks maintain the standard functionality that a component impleme…
cs.SE2025
Caruca: Effective and Efficient Specification Mining for Opaque Software Components
Evangelos Lamprou, Seong-Heon Jung, Mayank Keoliya +4
A wealth of state-of-the-art systems demonstrate impressive improvements in performance, security, and reliability on programs composed of opaque components, such as Unix shell com…
cs.SE2025
Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning
Rem Yang, Julian Dai, Nikos Vasilakis +1
We assess how the code reasoning abilities of large language models (LLMs) generalize to different kinds of programs. We present techniques for obtaining in- and out-of-distributio…