Work

Fortifying Integrity, Traceability, and Operational Efficacy in Blockchain-Based Examination Management Through Formal Verification with TLA+

Year: 2025

Type: conference-paper

Source: International Conference on Intelligent Technologies (CONIT)

DOI: 10.1109/conit65521.2025.11167034

Authors: Girish R. Naik, Poornima G. Naik

Language: English

Topic: Blockchain Technology in Education and Learning

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: closed

OpenAlex ID: W4414462722

FWCI:

Cites: 13

Cited by:

Related to: