This HTML5 document contains 41 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n7http://linked.opendata.cz/resource/domain/vavai/projekt/
n11http://linked.opendata.cz/ontology/domain/vavai/
n14http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F10%3A00351385%21RIV12-AV0-67985807/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985807%3A_____%2F10%3A00351385%21RIV12-AV0-67985807
rdf:type
skos:Concept n11:Vysledek
rdfs:seeAlso
http://www.sav.sk/journals/uploads/0317151904m-s.pdf
dcterms:description
In this paper we analyze a simple hash function introduced in a popular book PopCo by Scarlett Thomas that is based on well known Gödel's numbering function. The numbering function is very slow for practical use, however it is widely used in foundations of logic and computability theory. We show that the properties of the suggested hash function (computing the hash as a %22shorter digest%22 of the long Gödel's number code) are not sufficient for cryptography. We introduce two ways how to construct meaningful collisions and in special cases also second-preimages. Further we propose a simple improvement of this hash function which prevents the simpler of the attacks, however this hasn't been successful for the second attack. In this paper we analyze a simple hash function introduced in a popular book PopCo by Scarlett Thomas that is based on well known Gödel's numbering function. The numbering function is very slow for practical use, however it is widely used in foundations of logic and computability theory. We show that the properties of the suggested hash function (computing the hash as a %22shorter digest%22 of the long Gödel's number code) are not sufficient for cryptography. We introduce two ways how to construct meaningful collisions and in special cases also second-preimages. Further we propose a simple improvement of this hash function which prevents the simpler of the attacks, however this hasn't been successful for the second attack.
dcterms:title
Remarks on Gödel's Code as a Hash Function Remarks on Gödel's Code as a Hash Function
skos:prefLabel
Remarks on Gödel's Code as a Hash Function Remarks on Gödel's Code as a Hash Function
skos:notation
RIV/67985807:_____/10:00351385!RIV12-AV0-67985807
n3:aktivita
n4:P n4:Z
n3:aktivity
P(GAP202/10/1333), Z(AV0Z10300504)
n3:cisloPeriodika
3
n3:dodaniDat
n12:2012
n3:domaciTvurceVysledku
n16:3559491
n3:druhVysledku
n17:J
n3:duvernostUdaju
n9:S
n3:entitaPredkladatele
n13:predkladatel
n3:idSjednocenehoVysledku
284741
n3:idVysledku
RIV/67985807:_____/10:00351385
n3:jazykVysledku
n18:eng
n3:klicovaSlova
Gödel numbering function; hash function; rational reconstruction; integer relation algorithm
n3:klicoveSlovo
n8:rational%20reconstruction n8:integer%20relation%20algorithm n8:hash%20function n8:G%C3%B6del%20numbering%20function
n3:kodStatuVydavatele
SK - Slovenská republika
n3:kontrolniKodProRIV
[D8C79C7B2557]
n3:nazevZdroje
Tatra Mountains Mathematical Publications
n3:obor
n15:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:projekt
n7:GAP202%2F10%2F1333
n3:rokUplatneniVysledku
n12:2010
n3:svazekPeriodika
47
n3:tvurceVysledku
Mikuš, M. Savický, Petr
n3:zamer
n14:AV0Z10300504
s:issn
1210-3195
s:numberOfPages
14