Search papers, labs, and topics across Lattice.
Centre for Research on Engineering Software Technologies (CREST) & Adelaide University, Australia
2
0
4
Despite improving functional correctness, AI code assistants like Copilot leave developers blind to security vulnerabilities in their API usage.
Smart contract vulnerability detection gets a 39% accuracy boost and adversarial robustness with ORACAL, a framework that uses RAG-enhanced LLMs to inject expert security context into heterogeneous graphs.
