6 citations · 10 across the 12 of their papers we have counts for
14 papers
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…
Circular Induction
Dorel Lucanu, Grigore Rosu, Eugen Goriac +1
The Circularity Principle was successfully applied for developing a coinductive proving technique, known as circular coinduction. In this paper, we show that the same principle can…
Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
Ştefan-Claudiu Susan, Andrei Arusoaie, Dorel Lucanu
The high rate of false alarms from static analysis tools and Large Language Models (LLMs) complicates vulnerability detection in Solidity Smart Contracts, demanding methods that ca…
Navigating the Python Type Jungle
Andrei Nacu, Dorel Lucanu
Python's typing system has evolved pragmatically into a powerful but theoretically fragmented system, with scattered specifications. This paper proposes a formalization to address…
Static Analysis Framework for Detecting Use-After-Free Bugs in C++
Vlad-Alexandru Teodorescu, Dorel Lucanu
Pointers are a powerful, but dangerous feature provided by the C and C++ programming languages, and incorrect use of pointers is a common source of bugs and security vulnerabilitie…
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…