Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Dorel Lucanu
Researcher
PaperBenchmarking LLM-Based Static Analysis for Secure Smart Contract Development: Reliability, Limitations, and Potential Hybrid SolutionsAuthorship / preprint / 2026Stefan-Claudiu SusanCo-authorship / ResearcherAndrei ArusoaieCo-authorship / ResearcherTopicCryptography and SecurityWorks on / 7258 worksTopicArtificial IntelligenceWorks on / 22915 worksPaperOperationally-based Program Equivalence Proofs using LCTRSsAuthorship / preprint / 2020PaperAutomatic Equivalence Proofs for Non-deterministic CoalgebrasAuthorship / preprint / 2013PaperInteracting via the Heap in the Presence of RecursionAuthorship / preprint / 2012