Skip navigation
Skip navigation

Certifying Algorithms

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

Description

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
URI: http://hdl.handle.net/1885/59173
Source: Computer Science Review
DOI: 10.1016/j.cosrev.2010.09.009

Download

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:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator