Copertina

Blockly2Hooks: Smart Contracts for Everyone with the XRP Ledger and Google Blockly

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Trestioreanu, Lucian, Shbair, Wazen, de Cristo, Flaviene Scheidt, State, Radu
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Cryptography and Security Human-Computer Interaction Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

To Squelch or not to Squelch: Enabling Improved Message Dissemination on the XRP Ledger
di: Trestioreanu, Lucian, et al.
Pubblicazione: (2025)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
di: Wang, Sally Junsong, et al.
Pubblicazione: (2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
di: Kong, Ziqiao, et al.
Pubblicazione: (2025)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

Bugdar: AI-Augmented Secure Code Review for GitHub Pull Requests
di: Naulty, John, et al.
Pubblicazione: (2025)

LightSC: The Making of a Usable Security Classification Tool for DevSecOps
di: Shrestha, Manish, et al.
Pubblicazione: (2024)

Civil Servants as Builders: Enabling Non-IT Staff to Develop Secure Python and R Tools
di: Sharma, Prashant
Pubblicazione: (2025)

Qualitative Coding Analysis through Open-Source Large Language Models: A User Study and Design Recommendations
di: Ngo, Tung T., et al.
Pubblicazione: (2026)

PriviSense: A Frida-Based Framework for Multi-Sensor Spoofing on Android
di: Khalilov, Ibrahim, et al.
Pubblicazione: (2026)

"I need to learn better searching tactics for privacy policy laws." Investigating Software Developers' Behavior When Using Sources on Privacy Issues
di: Horstmann, Stefan Albert, et al.
Pubblicazione: (2025)

No Silver Bullet: Towards Demonstrating Secure Software Development for Danish Small and Medium Enterprises in a Business-to-Business Model
di: Asadi, Raha, et al.
Pubblicazione: (2025)

Security Concerns in Generative AI Coding Assistants: Insights from Online Discussions on GitHub Copilot
di: Ferreyra, Nicolás E. Díaz, et al.
Pubblicazione: (2026)

Reading Between the Code Lines: On the Use of Self-Admitted Technical Debt for Security Analysis
di: Ferreyra, Nicolás E. Díaz, et al.
Pubblicazione: (2026)

XRZoo: A Large-Scale and Versatile Dataset of Extended Reality (XR) Applications
di: Li, Shuqing, et al.
Pubblicazione: (2024)

Metaverse Security and Privacy Research: A Systematic Review
di: Rahartomo, Argianto, et al.
Pubblicazione: (2025)

RACONTEUR: A Knowledgeable, Insightful, and Portable LLM-Powered Shell Command Explainer
di: Deng, Jiangyi, et al.
Pubblicazione: (2024)

Securing the AI Supply Chain: What Can We Learn From Developer-Reported Security Issues and Solutions of AI Projects?
di: Nguyen, The Anh, et al.
Pubblicazione: (2025)

Empirical Analysis of Sri Lankan Mobile Health Ecosystem: A Precursor to an Effective Stakeholder Engagement
di: Thilakarathna, Kenneth, et al.
Pubblicazione: (2024)

SmartIntentNN: Towards Smart Contract Intent Detection
di: Huang, Youwei, et al.
Pubblicazione: (2022)

BPMN to Smart Contract by Business Analyst
di: Liu, C. G., et al.
Pubblicazione: (2025)

Static Deadlock Detection for Rust Programs
di: Zhang, Yu, et al.
Pubblicazione: (2024)

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
di: Zhang, Yiyu, et al.
Pubblicazione: (2024)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
di: Li, Ziyang, et al.
Pubblicazione: (2024)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
di: Hochrainer, Christoph, et al.
Pubblicazione: (2025)

Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior
di: Singh, Animesh, et al.
Pubblicazione: (2026)

Dynamic Taint Tracking using Partial Instrumentation for Java Applications
di: Thakur, Manoj RameshChandra
Pubblicazione: (2024)

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group
di: Wang, Yayi, et al.
Pubblicazione: (2026)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
di: Khare, Avishree, et al.
Pubblicazione: (2023)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
di: Hochrainer, Christoph, et al.
Pubblicazione: (2024)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
di: Shi, Qingkai, et al.
Pubblicazione: (2023)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
di: Zhang, Yifan, et al.
Pubblicazione: (2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
di: Arquint, Linard, et al.
Pubblicazione: (2025)

A Broad Comparative Evaluation of Software Debloating Tools
di: Brown, Michael D., et al.
Pubblicazione: (2023)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
di: Wang, Claire, et al.
Pubblicazione: (2025)

iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
di: Santra, Monika, et al.
Pubblicazione: (2026)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
di: Sharp, Toby
Pubblicazione: (2025)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
di: Tempel, Sören, et al.
Pubblicazione: (2024)

Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-Procedural Path-Sensitive Taint Analysis
di: Ji, Yuchen, et al.
Pubblicazione: (2025)

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
di: Liu, Shigang, et al.
Pubblicazione: (2024)