Skip navigation
Skip navigation

Certifying Algorithms

McConnell, R M; Mehlhorn, Kurt; Naher, S; Schweitzer, Pascal


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

CollectionsANU Research Publications
Date published: 2011
Type: Journal article
Source: Computer Science Review
DOI: 10.1016/j.cosrev.2010.09.009


File Description SizeFormat Image
01_McConnell_Certifying_Algorithm_2011.pdf843.12 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator