3 papers
cs.AI2026
Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
Andrada-Livia Antoneac, Dorel Lucanu, Dragoş Teodor Gavriluţ
LLM-assisted Verus verification is a less tedious method to verify Rust implementations, but paired with self-referential structures, e.g., Doubly Linked Lists (DLLs)—notoriously…
cs.SE2025
GView: A Survey of Binary Forensics via Visual, Semantic, and AI-Enhanced Analysis
Raul Zaharia, Dragoş Gavriluţ, Gheorghiţă Mutu
Cybersecurity threats continue to become more sophisticated and diverse in their artifacts, boosting both their volume and complexity. To overcome those challenges, we present GVie…
cs.CR2024
GView: A Versatile Assistant for Security Researchers
Raul Zaharia, Dragoş Gavriluţ, Gheorghiţă Mutu +1
Cyber security attacks have become increasingly complex over time, with various phases of their kill chain, involving binaries, scripts, documents, executed commands, vulnerabiliti…