Bringing zero-knowledge proofs of knowledge to practice: thesis
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Berlin
Logos
2012
|
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | 147 S. Graph. Darst. 21 cm |
| ISBN: | 9783832532178 383253217X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041726002 | ||
| 003 | DE-604 | ||
| 005 | 20140327 | ||
| 007 | t | ||
| 008 | 140310s2012 gw |||| m||| 00||| eng d | ||
| 015 | |a 12,N35 |2 dnb | ||
| 015 | |a 13,A22 |2 dnb | ||
| 015 | |a 13,H06 |2 dnb | ||
| 016 | 7 | |a 1025361660 |2 DE-101 | |
| 020 | |a 9783832532178 |c kart. : EUR 35.50 (DE), EUR 36.50 (AT), sfr 63.20 (freier Pr.) |9 978-3-8325-3217-8 | ||
| 020 | |a 383253217X |9 3-8325-3217-X | ||
| 024 | 3 | |a 9783832532178 | |
| 035 | |a (OCoLC)845369340 | ||
| 035 | |a (DE-599)DNB1025361660 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 | ||
| 082 | 0 | |a 005.82 |2 22/ger | |
| 084 | |a ST 276 |0 (DE-625)143642: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Krenn, Stephan |d 1984- |e Verfasser |0 (DE-588)1034624059 |4 aut | |
| 245 | 1 | 0 | |a Bringing zero-knowledge proofs of knowledge to practice |b thesis |c by Stephan Krenn |
| 264 | 1 | |a Berlin |b Logos |c 2012 | |
| 300 | |a 147 S. |b Graph. Darst. |c 21 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Fribourg, Univ., Diss., 2012 | ||
| 650 | 0 | 7 | |a Compiler |0 (DE-588)4148248-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zertifikat |0 (DE-588)4190760-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Generator |g Informatik |0 (DE-588)4129040-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kryptologie |0 (DE-588)4033329-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informationsloses Beweissystem |0 (DE-588)4648342-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Korrektheit |0 (DE-588)4240223-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Aufwandsminderung |0 (DE-588)4362805-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Informationsloses Beweissystem |0 (DE-588)4648342-1 |D s |
| 689 | 0 | 1 | |a Kryptologie |0 (DE-588)4033329-2 |D s |
| 689 | 0 | 2 | |a Compiler |0 (DE-588)4148248-7 |D s |
| 689 | 0 | 3 | |a Korrektheit |0 (DE-588)4240223-2 |D s |
| 689 | 0 | 4 | |a Zertifikat |0 (DE-588)4190760-7 |D s |
| 689 | 0 | 5 | |a Generator |g Informatik |0 (DE-588)4129040-9 |D s |
| 689 | 0 | 6 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |D s |
| 689 | 0 | 7 | |a Aufwandsminderung |0 (DE-588)4362805-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4105760&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027172872&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027172872 | |
Record in the Search Index
| _version_ | 1806327321967198208 |
|---|---|
| adam_text |
IMAGE 1
C O N T E N T S
1 I N T R O D U C T I O N 1
1.1 STRUCTURE OF THIS THESIS 2
1.2 PRE-PUBLICATIONS 1 3
2 F O U N D A T I O N S 5
2.1 PRELIMINARIES AND NOTATION 5
2.2 ALGEBRA AND NUMBER THEORY 6
2.2.1 GROUPS 6
2.2.2 HOMOMORPHISMS 9
2.3 NUMBER-THEORETIC PROBLEMS 10
2.4 ZERO-KNOWLEDGE PROOFS OF KNOWLEDGE 13
2.4.1 PROOFS OF KNOWLEDGE 13
2.4.2 ZERO-KNOWLEDGE PROTOCOLS 15
2.4.3 S-PROTOCOLS 16
2.5 FURTHER CRYPTOGRAPHIC PRIMITIVES 18
2.5.1 PUBLIC KEY ENCRYPTION 18
2.5.2 COMMITMENT SCHEMES 19
2.5.3 SECRET SHARING SCHEMES 22
2.5.4 FI-PROTOCOLS 24
2.5.5 PSEUDORANDOM GENERATORS 25
3 D E S I G N I N G Z E R O - K N O W L E D G E P R O O F S 2 7
3.1 NOTATION OF ZERO-KNOWLEDGE PROOFS OF KNOWLEDGE 27
3.2 BASIC PROTOCOLS 28
3.2.1 THE SCHNORR PROTOCOL 28
3.2.2 THE GENERALIZED SCHNORR PROTOCOL 30
3.2.3 THE E EXP-PROTOCOL 35
3.3 COMPOSITION TECHNIQUES 37
3.3.1 AND PROOFS 37
3.3.2 O R PROOFS 38
3.3.3 PROOFS FOR ACCESS STRUCTURES 39
3.4 PROVING ALGEBRAIC RELATIONS 41
3.4.1 LINEAR RELATIONS 42
3.4.2 MULTIPLICATIVE AND POLYNOMIAL RELATIONS 43
3.4.3 INTERVAL PROOFS 44
I X
HTTP://D-NB.INFO/1025361660
IMAGE 2
X
C O N T E N T S
3.4.4 DIVISIBILITY AND GREATEST COMMON DIVISORS 45
3.5 NON-INTERACTIVE ZERO-KNOWLEDGE PROOFS 46
4 I M P L E M E N T A T I O N A N D V E R I F I C A T I O N 4 9
4.1 ON THE NECESSITY OF CRYPTOGRAPHIC COMPILERS 49
4.1.1 COSTS OF SOFTWARE DEVELOPMENT FAILURES 50
4.1.2 IMPLEMENTING SECURITY SENSITIVE SYSTEMS IS HARD 50
4.1.3 RELATED WORK 52
4.2 AUTOMATIC GENERATION OF ZERO-KNOWLEDGE PROOFS 54
4.2.1 HIGH-LEVEL ARCHITECTURE 54
4.2.2 HIGH LEVEL LANGUAGE - HLL 55
4.2.3 PROTOCOL SPECIFICATION LANGUAGE - PSL 63
4.2.4 PROTOCOL IMPLEMENTATION LANGUAGE - PIL 65
4.2.5 BACKENDS - C, JAVA, 71
4.3 A PROOF-OF-CONCEPT FORMAL VERIFICATION BACKEND 72
4.3.1 THE ISABELLE/HOL THEOREM PROVER 73
4.3.2 HIGH-LEVEL ARCHITECTURE 74
4.3.3 PROOF STRATEGY AND FORMALIZATION 76
4.4 CONCLUSION 82
4.4.1 FOLLOW-UP WORK 82
5 E F F I C I E N C Y L I M I T A T I O N S FOR E - P R O T O C O L S
FOR G R O U P H O M O M O R P H I S M S 8 5
5.1 INTRODUCTION 85
5.1.1 RELATED WORK 87
5.2 GENERIC GROUP MODEL 87
5.2.1 GENERIC BLACK-BOX ALGORITHMS 88
5.2.2 GENERIC E-PROTOCOLS 89
5.3 LOWER BOUNDS IN THE GENERIC GROUP MODEL 91
5.3.1 PROOF OF THEOREM 5.3.2 94
5.4 BOUNDS AND EFFICIENT PROTOCOLS IN THE PLAIN MODEL 99
5.4.1 LOWER BOUNDS FOR PRACTICAL HOMOMORPHISMS 99
5.4.2 GENERIC LOWER BOUNDS IN THE PLAIN MODEL 100
5.4.3 UNDERRUNNING THE LOWER BOUNDS 101
5.5 CONCLUSION 103
6 EFFICIENT U N I V E R S A L L Y C O M P O S A B L E Z E R O - K N O W
L E D G E P R O T O C O L S 1 0 5
6.1 INTRODUCTION 105
6.1.1 RELATED WORK 107
6.2 THE UNIVERSAL COMPOSABILITY FRAMEWORK 108
6.2.1 BASIC IDEAL FUNCTIONALITIES I L L
6.2.2 ADVERSARY MODEL 113
6.3 A SPECIFICATION LANGUAGE FOR UC ZK PROTOCOLS 113
6.3.1 COMPILING SPECIFICATIONS T O PROTOCOLS 115
6.3.2 ENHANCING THE BASIC LANGUAGE 119
6.3.3 USING PRIVATE COIN PARAMETERS TO INCREASE EFFICIENCY 119
6.4 PROOFS OF KNOWLEDGE IN THE UC-FRAMEWORK 120
IMAGE 3
CONTENTS X I
6.5 PROOFS OF EXISTENCE IN THE UC-FRAMEWORK 122
6.5.1 ILLUSTRATION OF EFFICIENCY GAIN 126
6.6 CONCLUSION 128
7 C O N C L U D I N G R E M A R K S 1 2 9 |
| any_adam_object | 1 |
| author | Krenn, Stephan 1984- |
| author_GND | (DE-588)1034624059 |
| author_facet | Krenn, Stephan 1984- |
| author_role | aut |
| author_sort | Krenn, Stephan 1984- |
| author_variant | s k sk |
| building | Verbundindex |
| bvnumber | BV041726002 |
| classification_rvk | ST 276 |
| ctrlnum | (OCoLC)845369340 (DE-599)DNB1025361660 |
| dewey-full | 005.82 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.82 |
| dewey-search | 005.82 |
| dewey-sort | 15.82 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV041726002</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140327</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140310s2012 gw |||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N35</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,A22</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,H06</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1025361660</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783832532178</subfield><subfield code="c">kart. : EUR 35.50 (DE), EUR 36.50 (AT), sfr 63.20 (freier Pr.)</subfield><subfield code="9">978-3-8325-3217-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">383253217X</subfield><subfield code="9">3-8325-3217-X</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783832532178</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845369340</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1025361660</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.82</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 276</subfield><subfield code="0">(DE-625)143642:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Krenn, Stephan</subfield><subfield code="d">1984-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1034624059</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Bringing zero-knowledge proofs of knowledge to practice</subfield><subfield code="b">thesis</subfield><subfield code="c">by Stephan Krenn</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Logos</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">147 S.</subfield><subfield code="b">Graph. Darst.</subfield><subfield code="c">21 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Fribourg, Univ., Diss., 2012</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zertifikat</subfield><subfield code="0">(DE-588)4190760-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Generator</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4129040-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kryptologie</subfield><subfield code="0">(DE-588)4033329-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationsloses Beweissystem</subfield><subfield code="0">(DE-588)4648342-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aufwandsminderung</subfield><subfield code="0">(DE-588)4362805-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informationsloses Beweissystem</subfield><subfield code="0">(DE-588)4648342-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kryptologie</subfield><subfield code="0">(DE-588)4033329-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Zertifikat</subfield><subfield code="0">(DE-588)4190760-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Generator</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4129040-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Aufwandsminderung</subfield><subfield code="0">(DE-588)4362805-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4105760&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027172872&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027172872</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV041726002 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-03T01:19:32Z |
| institution | BVB |
| isbn | 9783832532178 383253217X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027172872 |
| oclc_num | 845369340 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG |
| owner_facet | DE-473 DE-BY-UBG |
| physical | 147 S. Graph. Darst. 21 cm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Logos |
| record_format | marc |
| spelling | Krenn, Stephan 1984- Verfasser (DE-588)1034624059 aut Bringing zero-knowledge proofs of knowledge to practice thesis by Stephan Krenn Berlin Logos 2012 147 S. Graph. Darst. 21 cm txt rdacontent n rdamedia nc rdacarrier Zugl.: Fribourg, Univ., Diss., 2012 Compiler (DE-588)4148248-7 gnd rswk-swf Zertifikat (DE-588)4190760-7 gnd rswk-swf Generator Informatik (DE-588)4129040-9 gnd rswk-swf Kryptologie (DE-588)4033329-2 gnd rswk-swf Implementierung Informatik (DE-588)4026663-1 gnd rswk-swf Informationsloses Beweissystem (DE-588)4648342-1 gnd rswk-swf Korrektheit (DE-588)4240223-2 gnd rswk-swf Aufwandsminderung (DE-588)4362805-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Informationsloses Beweissystem (DE-588)4648342-1 s Kryptologie (DE-588)4033329-2 s Compiler (DE-588)4148248-7 s Korrektheit (DE-588)4240223-2 s Zertifikat (DE-588)4190760-7 s Generator Informatik (DE-588)4129040-9 s Implementierung Informatik (DE-588)4026663-1 s Aufwandsminderung (DE-588)4362805-9 s DE-604 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4105760&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027172872&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Krenn, Stephan 1984- Bringing zero-knowledge proofs of knowledge to practice thesis Compiler (DE-588)4148248-7 gnd Zertifikat (DE-588)4190760-7 gnd Generator Informatik (DE-588)4129040-9 gnd Kryptologie (DE-588)4033329-2 gnd Implementierung Informatik (DE-588)4026663-1 gnd Informationsloses Beweissystem (DE-588)4648342-1 gnd Korrektheit (DE-588)4240223-2 gnd Aufwandsminderung (DE-588)4362805-9 gnd |
| subject_GND | (DE-588)4148248-7 (DE-588)4190760-7 (DE-588)4129040-9 (DE-588)4033329-2 (DE-588)4026663-1 (DE-588)4648342-1 (DE-588)4240223-2 (DE-588)4362805-9 (DE-588)4113937-9 |
| title | Bringing zero-knowledge proofs of knowledge to practice thesis |
| title_auth | Bringing zero-knowledge proofs of knowledge to practice thesis |
| title_exact_search | Bringing zero-knowledge proofs of knowledge to practice thesis |
| title_full | Bringing zero-knowledge proofs of knowledge to practice thesis by Stephan Krenn |
| title_fullStr | Bringing zero-knowledge proofs of knowledge to practice thesis by Stephan Krenn |
| title_full_unstemmed | Bringing zero-knowledge proofs of knowledge to practice thesis by Stephan Krenn |
| title_short | Bringing zero-knowledge proofs of knowledge to practice |
| title_sort | bringing zero knowledge proofs of knowledge to practice thesis |
| title_sub | thesis |
| topic | Compiler (DE-588)4148248-7 gnd Zertifikat (DE-588)4190760-7 gnd Generator Informatik (DE-588)4129040-9 gnd Kryptologie (DE-588)4033329-2 gnd Implementierung Informatik (DE-588)4026663-1 gnd Informationsloses Beweissystem (DE-588)4648342-1 gnd Korrektheit (DE-588)4240223-2 gnd Aufwandsminderung (DE-588)4362805-9 gnd |
| topic_facet | Compiler Zertifikat Generator Informatik Kryptologie Implementierung Informatik Informationsloses Beweissystem Korrektheit Aufwandsminderung Hochschulschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4105760&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027172872&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT krennstephan bringingzeroknowledgeproofsofknowledgetopracticethesis |