A certifying algorithm is an algorithm that produces, with each output, a certificate or witness (easy-to-verify proof) that the particular output has not been compromised by a bug. A user of a certifying algorithm inputs x, receives the output y and the
|Collections||ANU Research Publications|
|Source:||Computer Science Review|
|01_McConnell_Certifying_Algorithm_2011.pdf||843.12 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.