-
Notifications
You must be signed in to change notification settings - Fork 7
/
bibliography.bib
109 lines (98 loc) · 4.11 KB
/
bibliography.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
@inproceedings{eutxo,
title = {The {Extended UTXO} Model},
author = {Manuel M. T. Chakravarty and James Chapman and Kenneth
MacKenzie and Orestis Melkonian and Michael {Peyton
Jones} and Philip Wadler},
booktitle = {Proceedings of Trusted Smart Contracts (WTSC)},
year = 2020,
volume = "12063",
publisher = "Springer",
series = "LNCS",
note={Also available at https://github.com/input-output-hk/plutus}
}
@inproceedings{utxoma,
title={{UTXO$_{\mathrm{ma}}$}: {UTXO} with Multi-Asset Support},
author={Manuel M. T. Chakravarty and James Chapman and Kenneth MacKenzie and Orestis Melkonian and Jann M{\"u}ller and Michael {Peyton Jones} and Polina Vinogradova and Philip Wadler and Joachim Zahnentferner},
year=2020,
booktitle={International Symposium on Leveraging Applications of Formal Methods},
organization={Springer},
note={Also available at https://github.com/input-output-hk/plutus}
}
@inproceedings{eutxoma,
title={Native custom tokens in the extended {UTXO} model},
author={Chakravarty, Manuel MT and Chapman, James and MacKenzie, Kenneth and Melkonian, Orestis and M{\"u}ller, Jann and Jones, Michael Peyton and Vinogradova, Polina and Wadler, Philip},
booktitle={International Symposium on Leveraging Applications of Formal Methods},
pages={89--111},
year={2020},
organization={Springer},
note={Also available at https://github.com/input-output-hk/plutus}
}
@techreport{chakravarty2020hydra,
title={Hydra: Fast Isomorphic State Channels},
author={Chakravarty, Manuel M. T. and Coretti, Sandro and Fitzi, Matthias and Gazi, Peter and Kant, Philipp and Kiayias, Aggelos and Russell, Alexander},
year={2020},
url= {https://eprint.iacr.org/2020/299},
institution={Cryptology ePrint Archive, Report 2020/299}
}
@Misc{functional-smart-contracts-summit,
author= {Chakravarty, Manuel MT and Thompson, Simon and Wadler, Philip},
title = {Functional smart contracts on Cardano},
howpublished = {\url{https://www.youtube.com/watch?v=MpWeg6Fg0t8}}
}
@Misc{plutus-platform-summit,
author= {Peyton Jones, Michael and M{\"u}ller, Jann},
title = {The Plutus Platform},
howpublished = {\url{https://www.youtube.com/watch?v=usMPt8KpBeI}}
}
@inproceedings{marlowe,
author = {Pablo Lamela Seijas and
Simon J. Thompson},
title = {Marlowe: Financial Contracts on Blockchain},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
pages = {356--375},
year = {2018},
crossref = {DBLP:conf/isola/2018-4},
url = {https://doi.org/10.1007/978-3-030-03427-6\_27},
doi = {10.1007/978-3-030-03427-6\_27},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/bib/conf/isola/SeijasT18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@techreport{Cardano-wallet-spec,
author = {Duncan Coutts and Edsko de Vries},
title = {Formal specification for a {Cardano} wallet},
note={Available at \url{https://cardanodocs.com/files/formal-specification-of-the-cardano-wallet.pdf}},
institution={IOHK},
year={2018}
}
@techreport{Cardano-ledger-spec,
title = {A Formal Specification of the {Cardano} Ledger},
author={Jared Corduan and Polina Vinogradova and Matthias G{\"u}demann},
note={Available at \url{https://github.com/input-output-hk/cardano-ledger-specs}},
institution={IOHK},
year={2019}
}
@techreport{plutus-core-spec,
title = {Formal Specification of the {Plutus Core} Language},
note={Available at \url{https://github.com/input-output-hk/plutus}},
author={IOHK},
institution={IOHK},
year={2019}
}
@techreport{plutus-report
title = {Plutus Platform Technical Report},
note={Available at \url{https://github.com/input-output-hk/plutus}},
author={IOHK},
institution={IOHK},
year={2019}
}
@misc{cbor,
title = {{RFC 7049 - Concise Binary Object Representation (CBOR)}},
howpublished = {\url{https://tools.ietf.org/html/rfc7049}},
month = oct,
year = {2013},
note = {Accessed: 2020-01-01},
author={IETF}
}