2026-06-28T15:18:25Zhttps://docta.ucm.es/rest/oai/requestoai:docta.ucm.es:20.500.14352/1346972026-04-14T00:19:14Zcom_20.500.14352_14col_20.500.14352_15
Open source verification in an anonymous volunteer network
Breuer, Peter T.
Pickin, Simón James
An ‘open’ certification process is characterised here that is not based on any central agency, but rather on the option for any party to confirm any part of the certification process at will. The model for this paradigm has been a distributed, piece-wise, semantic audit carried out on the Linux kernel source code using a lightweight formal method. Our goal is a technology that allows open source developers to receive formally backed certifications for their project, in quid pro quo exchanges of resources and expertise with other developers within an amorphous and anonymous cloud of volunteers. To help ensure the integrity of the results, identifying details such as subroutine and variable names are not included in the data sent for analysis, each part of the computation is repeated many times at different sites, and checkpoint information is generated that enables independent checks to be carried out without starting from scratch each time.
2026-04-13T13:58:43Z
2026-04-13T13:58:43Z
2026-04-13T13:58:43Z
2014-10-01
journal article
https://hdl.handle.net/20.500.14352/134697
0167-6423
10.1016/j.scico.2013.08.010
1872-7964
eng
Peter T. Breuer, Simon Pickin, Open source verification in an anonymous volunteer network, Science of Computer Programming, Volume 91, Part B, 2014, Pages 161-187, ISSN 0167-6423, https://doi.org/10.1016/j.scico.2013.08.010.
open access
Elsevier