GUARDIAN: Guarded Universal Architecture for Defensive Interpretation And traNslation
Aditya Thalang, Josh Brown · Team Guardian team
Submitted to Defensive Acceleration Hackathon. Sprint projects are early-stage work by participants, not Apart Research publications.
GUARDIAN is a multi-stage, LLM-driven system to automate the translation of C codebases to memory-safe Rust. GUARDIAN promotes defense acceleration at-scale by guiding an LLM transpiler with dependency graph strongly-connected-components, static-analysis-guided rule hints, examples from the demonstration corpora and iterative, compiler-guided refinement. In evaluation on 27 C functions, including 20 with adversarial vulnerabilities, GUARDIAN achieves 100% compilation success and 92.6% fully safe outputs, outperforming a baseline LLM by 22.2pp. GUARDIAN demonstrates that safety-oriented constraints can significantly improve automated translation quality at scale. Limitations include evaluation on a small test set and a lack of functional-equivalence guarantees; future work will target repository-scale evaluation, expanding the classes of vulnerabilities covered by static analyses, adding functional-equivalence guarantees and robust evaluation sandboxing.
Reviews
Strengths: This addresses a real defensive bottleneck. Memory-unsafe code dominates vulnerability lists, and manual C-to-Rust migration is slow. The multi-stage pipeline is well-designed. The 22pp improvement over baseline LLM on adversarial cases is meaningful. Clear alignment with CISA/White House guidance on memory-safe languages.
Suggestions: The test suite is small and compilation success may not guarantee semantic equivalence. The system could produce memory-safe code that behaves differently than the original. Functional equivalence testing (unit test generation, property-based testing) would strengthen confidence. Red-teaming with adversarially crafted C code that exploits the pipeline's assumptions would also help.
From a Halcyon Ventures investor's POV: This maps to our interest in securing AI infrastructure and reducing attack surface in legacy systems. We are also interested in novel solutions for remediating open-source code vulnerabilities at scale, particularly as open-source AI development rises globally. This was an impressive effort and badly needed, well done!
Read full reviewShow less
Well-motivated project with a clear defensive use case. The report explains the problem and deployment path well, and the prototype results are encouraging. My main concerns are robustness and real-world reliability. I'd like to see a better argument for the broader qualitative impact of this project.
Cite this project
@misc{thalang2025guardian,
title = {{GUARDIAN: Guarded Universal Architecture for Defensive Interpretation And traNslation}},
author = {Aditya Thalang and Josh Brown},
year = {2025},
month = nov,
note = {Submitted to Defensive Acceleration Hackathon, an Apart Research Sprint},
howpublished = {\url{https://apartresearch.com/sprints/projects/guardian-guarded-universal-architecture-for-defensive-interpretation-and-translation-vqgy}},
url = {https://apartresearch.com/sprints/projects/guardian-guarded-universal-architecture-for-defensive-interpretation-and-translation-vqgy}
}More from Defensive Acceleration Hackathon
- View project: Neops - DevSecOps for the AI era
Neops - DevSecOps for the AI era
Broad Bros
NEOps is a CLI-based tool that embeds AI safety into your product lifecycle from day one. While development teams routinely build cybersecurity checks, AI-safety often comes later—or not at all. NEOps fills that gap by …
- View project: Assisted Audit of Solana Programs
Assisted Audit of Solana Programs
GLAM
Multi-agent solution that assists in auditing Solana programs, allows to consolidate audit findings into a knowledge base, and can integrate into CI/CD pipelines to prevent security regressions.
- View project: Mechanistic Watchdog
Mechanistic Watchdog
SL5
Mechanistic Watchdog is a mechanistic-interpretability-based “cognitive kill switch” for language models. Instead of only filtering final text, we monitor a model’s internal activations in real time and learn linear …