Blockchain-enhanced Integrity Verification in Educational Content Assessment Platform: A Lightweight and Cost-Efficient Approach
Fuente:
arXiv
Saved in:
| Main Authors: | Bayan, Talgar, Banach, Richard, Nurbekov, Askar, Galy, Makhmud Mustafabek, Sabyrbayev, Adi, Nurbekova, Zhanat |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Privacy-Preserving DAO Model Using NFT Authentication for the Punishment not Reward Blockchain Architecture
by: Bayan, Talgar, et al.
Published: (2024)
by: Bayan, Talgar, et al.
Published: (2024)
An Efficient Lightweight Blockchain for Decentralized IoT
by: Tarzjani, Faezeh Dehghan, et al.
Published: (2025)
by: Tarzjani, Faezeh Dehghan, et al.
Published: (2025)
Circumventing Platform Defenses at Scale: Automated Content Replication from YouTube to Blockchain-Based Decentralized Storage
by: Akram, Muhammad Zeeshan
Published: (2026)
by: Akram, Muhammad Zeeshan
Published: (2026)
The Cost of Executing Business Processes on Next-Generation Blockchains: The Case of Algorand
by: Stiehle, Fabian, et al.
Published: (2024)
by: Stiehle, Fabian, et al.
Published: (2024)
Zer0n: An AI-Assisted Vulnerability Discovery and Blockchain-Backed Integrity Framework
by: Parmar, Harshil, et al.
Published: (2026)
by: Parmar, Harshil, et al.
Published: (2026)
LLM Use, Cheating, and Academic Integrity in Software Engineering Education
by: Santos, Ronnie de Souza, et al.
Published: (2026)
by: Santos, Ronnie de Souza, et al.
Published: (2026)
A Comparative Gas Cost Analysis of Proxy and Diamond Patterns in EVM Blockchains for Trusted Smart Contract Engineering
by: Benedetti, Anto, et al.
Published: (2023)
by: Benedetti, Anto, et al.
Published: (2023)
Cost-Effective Big Data Orchestration Using Dagster: A Multi-Platform Approach
by: Picatto, Hernan, et al.
Published: (2024)
by: Picatto, Hernan, et al.
Published: (2024)
Bridging Education and Development: IDEs as Interactive Learning Platforms
by: Birillo, Anastasiia, et al.
Published: (2024)
by: Birillo, Anastasiia, et al.
Published: (2024)
How We Built Cedar: A Verification-Guided Approach
by: Disselkoen, Craig, et al.
Published: (2024)
by: Disselkoen, Craig, et al.
Published: (2024)
Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
by: Hähnle, Reiner, et al.
Published: (2025)
by: Hähnle, Reiner, et al.
Published: (2025)
A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
by: Ganesha, et al.
Published: (2025)
by: Ganesha, et al.
Published: (2025)
Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
by: Tihanyi, Norbert, et al.
Published: (2025)
by: Tihanyi, Norbert, et al.
Published: (2025)
Revisiting Software Engineering Education in the Era of Large Language Models: A Curriculum Adaptation and Academic Integrity Framework
by: Degerli, Mustafa
Published: (2026)
by: Degerli, Mustafa
Published: (2026)
From Education to Evidence: A Collaborative Practice Research Platform for AI-Integrated Agile Development
by: Geger, Tobias, et al.
Published: (2026)
by: Geger, Tobias, et al.
Published: (2026)
Blockchain-Enabled Accountability in Data Supply Chain: A Data Bill of Materials Approach
by: Liu, Yue, et al.
Published: (2024)
by: Liu, Yue, et al.
Published: (2024)
Toward Cost-effective Adaptive Random Testing: An Approximate Nearest Neighbor Approach
by: Huang, Rubing, et al.
Published: (2023)
by: Huang, Rubing, et al.
Published: (2023)
An Extended Pattern Collection for Blockchain-based Applications
by: Xu, Xiwei, et al.
Published: (2025)
by: Xu, Xiwei, et al.
Published: (2025)
An Architecture for Decentralised Deployment and Operation of Blockchain Applications
by: Stiehle, Fabian, et al.
Published: (2026)
by: Stiehle, Fabian, et al.
Published: (2026)
CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems
by: Houy, Sabine, et al.
Published: (2025)
by: Houy, Sabine, et al.
Published: (2025)
Evaluating Software Plagiarism Detection in the Age of AI: Automated Obfuscation and Lessons for Academic Integrity
by: Sağlam, Timur, et al.
Published: (2025)
by: Sağlam, Timur, et al.
Published: (2025)
Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)
by: Tu, Haoxin, et al.
Published: (2025)
Blockchain Developer Experience: A Multivocal Literature Review
by: Soares, P., et al.
Published: (2025)
by: Soares, P., et al.
Published: (2025)
An Exploration Study on Developing Blockchain Systems the Practitioners Perspective
by: Aljedaani, Bakheet, et al.
Published: (2024)
by: Aljedaani, Bakheet, et al.
Published: (2024)
Highly Available Blockchain Nodes With N-Version Design
by: Ron, Javier, et al.
Published: (2023)
by: Ron, Javier, et al.
Published: (2023)
Interpretable Gallbladder Ultrasound Diagnosis: A Lightweight Web-Mobile Software Platform with Real-Time XAI
by: Bhoyan, Fuyad Hasan, et al.
Published: (2025)
by: Bhoyan, Fuyad Hasan, et al.
Published: (2025)
Compiling Code LLMs into Lightweight Executables
by: Shi, Jieke, et al.
Published: (2026)
by: Shi, Jieke, et al.
Published: (2026)
Lemma Discovery in Agentic Program Verification
by: Zhao, Huan, et al.
Published: (2026)
by: Zhao, Huan, et al.
Published: (2026)
Benchmarking and Revisiting Code Generation Assessment: A Mutation-Based Approach
by: Wang, Longtian, et al.
Published: (2025)
by: Wang, Longtian, et al.
Published: (2025)
Deep Assessment of Code Review Generation Approaches: Beyond Lexical Similarity
by: Jiang, Yanjie, et al.
Published: (2025)
by: Jiang, Yanjie, et al.
Published: (2025)
Quantifying Uncertainty in FMEDA Safety Metrics: An Error Propagation Approach for Enhanced ASIC Verification
by: Armato, Antonino, et al.
Published: (2026)
by: Armato, Antonino, et al.
Published: (2026)
LAPIS: Lightweight API Specification for Intelligent Systems
by: Garcia, Daniel
Published: (2026)
by: Garcia, Daniel
Published: (2026)
Lightweight Syntactic API Usage Analysis with UCov
by: Monce, Gustave, et al.
Published: (2024)
by: Monce, Gustave, et al.
Published: (2024)
Enforcing Control Flow Integrity on DeFi Smart Contracts
by: Chen, Zhiyang, et al.
Published: (2025)
by: Chen, Zhiyang, et al.
Published: (2025)
A Practical Guideline and Taxonomy to LLVM's Control Flow Integrity
by: Houy, Sabine, et al.
Published: (2025)
by: Houy, Sabine, et al.
Published: (2025)
Maven-Lockfile: High Integrity Rebuild of Past Java Releases
by: Schmid, Larissa, et al.
Published: (2025)
by: Schmid, Larissa, et al.
Published: (2025)
AI Exchange Platforms
by: Schneider, Johannes, et al.
Published: (2025)
by: Schneider, Johannes, et al.
Published: (2025)
Trust in Software Supply Chains: Blockchain-Enabled SBOM and the AIBOM Future
by: Xia, Boming, et al.
Published: (2023)
by: Xia, Boming, et al.
Published: (2023)
LinkXplore: A Framework for Affordable High-Quality Blockchain Data
by: Li, Peihao
Published: (2025)
by: Li, Peihao
Published: (2025)
A Blockchain-Enabled Approach to Cross-Border Compliance and Trust
by: Kulothungan, Vikram
Published: (2025)
by: Kulothungan, Vikram
Published: (2025)
Similar Items
-
A Privacy-Preserving DAO Model Using NFT Authentication for the Punishment not Reward Blockchain Architecture
by: Bayan, Talgar, et al.
Published: (2024) -
An Efficient Lightweight Blockchain for Decentralized IoT
by: Tarzjani, Faezeh Dehghan, et al.
Published: (2025) -
Circumventing Platform Defenses at Scale: Automated Content Replication from YouTube to Blockchain-Based Decentralized Storage
by: Akram, Muhammad Zeeshan
Published: (2026) -
The Cost of Executing Business Processes on Next-Generation Blockchains: The Case of Algorand
by: Stiehle, Fabian, et al.
Published: (2024) -
Zer0n: An AI-Assisted Vulnerability Discovery and Blockchain-Backed Integrity Framework
by: Parmar, Harshil, et al.
Published: (2026)