-
Notifications
You must be signed in to change notification settings - Fork 155
/
references.bib
178 lines (158 loc) · 6.15 KB
/
references.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
@misc{small_step_semantics,
label = {FM-TR-2018-01},
author = {{IOHK Formal Methods Team}},
title = {{Small Step Semantics for Cardano, IOHK Technical Report FM-TR-2018-01}},
year = {2018},
url = {https://github.com/input-output-hk/cardano-chain/blob/master/specs/semantics/latex/small-step-semantics.tex},
}
@misc{delegation_design,
label = {SL-D1},
author = {{IOHK Formal Methods Team}},
title = {{Design Specification for Delegation and Incentives in Cardano, IOHK Deliverable SL-D1}},
year = {2018},
url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/docs/delegation_design_spec},
}
@misc{byron_ledger_spec,
label = {BL-D1},
author = {{IOHK Formal Methods Team}},
title = {{Byron Ledger Specification, IOHK Deliverable BL-D1}},
year = {2019},
url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/docs/},
}
@misc{byron_chain_spec,
label = {BC-D1},
author = {{IOHK Formal Methods Team}},
title = {{Byron Blockchain Specification, IOHK Deliverable BC-D1}},
year = {2019},
url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/docs/},
}
@article{chimeric,
author = {Joachim Zahnentferner},
title = {Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies},
journal = {Cryptology ePrint Archive, Report 2018/262},
year = {2018},
url = {https://eprint.iacr.org/2018/262},
}
@article{utxo_scripts,
author = {Joachim Zahnentferner},
title = {An Abstract Model of UTxO-based Cryptocurrencies with Scripts},
journal = {Cryptology ePrint Archive, Report 2018/469},
year = {2018},
url = {https://eprint.iacr.org/2018/469},
}
@article{multi_currency,
author = {Joachim Zahnentferner},
title = {Multi-Currency Ledgers},
journal = {??},
year = {2018},
}
@article{shelley_consensus,
label = {SC-DX},
author = {{IOHK Formal Methods Team}},
title = {{?? - Shelley Consensus, IOHK Deliverable SC-DX}},
year = {TODO},
}
@misc{shelley_spec,
label = {SL-D8},
author = {{IOHK Formal Methods Team}},
title = {{A Formal Specification of the Cardano Ledger, IOHK Deliverable SL-D8}},
year = {2019},
url = {https://github.com/input-output-hk/cardano-ledger-specs/tree/master/shelley/chain-and-ledger/formal-spec/ledger-spec.tex}
}
@misc{shelley_multisig,
label = {SL-D3},
author = {{IOHK Formal Methods Team}},
title = {{A Formal Specification of a Multi-Signature Scheme using Scripts, IOHK Deliverable SL-D3}},
year = {2019},
}
@misc{ouroboros,
label = {Ouroboros-Protocol},
author = {Aggelos Kiayias and Alexander Russell and Bernardo David and Roman Oliynykov},
title = {Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol},
howpublished = {Cryptology ePrint Archive, Report 2016/889},
year = {2016},
note = {\url{http://eprint.iacr.org/2016/889}},
}
@misc{plutus_eutxo,
label = {Plutus-UTxoExt},
author = {{IOHK Plutus Team}},
title = {{The Extended UTxO Model, Unnumbered IOHK Technical Report}},
year = {2019},
url = {https://github.com/input-output-hk/plutus/tree/master/docs/extended-utxo}
}
@conference{ouroboros_classic,
author = {Aggelos Kiayias and Alexander Russell and Bernardo David and Roman Oliynykov},
title = {Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol},
booktitle = {Advances in Cryptology -- CRYPTO 2017},
series = {Security and Cryptology},
volume = {10401},
year = {2017},
publisher = {Springer International Publishing},
url = {https://eprint.iacr.org/2016/889},
doi = {10.1007/978-3-319-63688-7},
}
@article{ouroboros_praos,
title={Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol},
author={Bernardo Machado David and Peter Gazi and Aggelos Kiayias and Alexander Russell},
journal={IACR Cryptology ePrint Archive},
year={2017},
volume={2017},
pages={573}
}
@article{utxo_accounting,
author = {Joachim Zahnentferner},
title = {Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies},
journal = {Cryptology ePrint Archive, Report 2018/262},
year = {2018},
url = {https://eprint.iacr.org/2018/262},
}
@misc{bip32,
author = {Pieter Wuille},
title = {Hierarchical Deterministic Wallets},
year = {2012},
month = {February},
url = {https://github.com/bitcoin/bips/blob/master/bip-0032.mediawiki},
note = {BIP-32},
}
@misc{bkks2018,
Author = {Lars Bruenjes and Aggelos Kiayias and Elias Koutsoupias and Aikaterini-Panagiota Stouka},
Date-Added = {2018-08-05 08:14:11 +0000},
Date-Modified = {2018-08-07 09:48:36 +0000},
Howpublished = {Computer Science and Game Theory (cs.GT) arXiv:1807.11218},
Title = {Reward Sharing Schemes for Stake Pools},
Year = {2018}}
@misc{cryptoeprint:2001:034,
author = {Tal Malkin and Daniele Micciancio and Sara Miner},
title = {Composition and Efficiency Tradeoffs for Forward-Secure Digital Signatures},
howpublished = {Cryptology ePrint Archive, Report 2001/034},
year = {2001},
note = {\url{https://eprint.iacr.org/2001/034}},
}
@article{DBLP:journals/jar/AkbarpourP10,
author = {Behzad Akbarpour and
Lawrence C. Paulson},
title = {MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions},
journal = {J. Autom. Reasoning},
volume = {44},
number = {3},
pages = {175--205},
year = {2010},
url = {https://doi.org/10.1007/s10817-009-9149-2},
doi = {10.1007/s10817-009-9149-2},
timestamp = {Wed, 14 Nov 2018 10:38:36 +0100},
biburl = {https://dblp.org/rec/bib/journals/jar/AkbarpourP10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Escardo96,
author = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
title = {{PCF} Extended with Real Numbers},
journal = {Theor. Comput. Sci.},
volume = {162},
number = {1},
pages = {79--115},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00250-2},
doi = {10.1016/0304-3975(95)00250-2},
timestamp = {Sun, 28 May 2017 13:20:09 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/Escardo96},
}