Stefano Zacchiroli
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Crypto×1Software Eng.×1AI×1Info Retrieval×1
Frequent co-authors
Research Timeline
2026
Efficient and Scalable Provenance Tracking for LLM-Generated Code Snippets
The paper introduces a hybrid system, HYBRIDSOURCETRACKER (HST), that combines vector search and Winnowing fingerprinting to achieve scalable, high-precision provenance tracking for code generated by large language models.
NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction
The paper introduces NICE, a declarative framework that uses NixOS to build and automatically validate reproducible environments for demonstrating software vulnerabilities (CVEs), thereby improving the reliability and shareability of security research.
Highlighted terms show continued research focus across papers
Papers
cs.CRRecentMay 30, 2026
NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction
The paper introduces NICE, a declarative framework that uses NixOS to build and automatically validate reproducible environments for demonstrating software vulnerabilities (CVEs), thereby improving th…
View →
cs.SEcs.AIcs.IRRecentMay 27, 2026