Publication: Trustworthy Distributed Certification of Program Execution
Trustworthy Distributed Certification of Program Execution
Date
Date
Date
Citations
Wolf, A., Palma, M. E., Salza, P., & Gall, H. (2025). Trustworthy Distributed Certification of Program Execution. IEEE Transactions on Software Engineering, 51, 1134–1152. https://doi.org/10.1109/TSE.2025.3541810
Abstract
Abstract
Abstract
Verifying the execution of a program is complicated and often limited by the inability to validate the code’s correctness. It is a crucial aspect of scientific research, where it is needed to ensure the reproducibility and validity of experimental results. Similarly, in customer software testing, it is difficult for customers to verify that their specific program version was tested or executed at all. Existing state-of-the-art solutions, such as hardware-based approaches, constraint solvers, and verifiable computation systems, do not
Metrics
Downloads
Views
Citations
Additional indexing
Creators (Authors)
Journal/Series Title
Journal/Series Title
Journal/Series Title
Volume
Volume
Volume
Number
Number
Number
Page range/Item number
Page range/Item number
Page range/Item number
Page end
Page end
Page end
Item Type
Item Type
Item Type
In collections
Dewey Decimal Classifikation
Dewey Decimal Classifikation
Dewey Decimal Classifikation
Language
Language
Language
Publication date
Publication date
Publication date
Date available
Date available
Date available
ISSN or e-ISSN
ISSN or e-ISSN
ISSN or e-ISSN
OA Status
OA Status
OA Status
Publisher DOI
Metrics
Downloads
Views
Citations
Citations
Wolf, A., Palma, M. E., Salza, P., & Gall, H. (2025). Trustworthy Distributed Certification of Program Execution. IEEE Transactions on Software Engineering, 51, 1134–1152. https://doi.org/10.1109/TSE.2025.3541810
