{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T02:34:45Z","timestamp":1778898885207,"version":"3.51.4"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319702773","type":"print"},{"value":"9783319702780","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70278-0_28","type":"book-chapter","created":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T21:03:19Z","timestamp":1510952599000},"page":"453-467","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":36,"title":["Findel: Secure Derivative Contracts for Ethereum"],"prefix":"10.1007","author":[{"given":"Alex","family":"Biryukov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitry","family":"Khovratovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergei","family":"Tikhomirov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,19]]},"reference":[{"key":"28_CR1","first-page":"1007","volume":"2016","author":"N Atzei","year":"2016","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts. IACR Cryptol. ePrint Arch. 2016, 1007 (2016)","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"28_CR2","unstructured":"Statistical release. OTC derivatives statistics at end-june 2016 (2016). https:\/\/www.bis.org\/publ\/otc_hy1611.pdf"},{"key":"28_CR3","unstructured":"Browser-solidity online compiler (2016). https:\/\/ethereum.github.io\/browser-solidity\/"},{"key":"28_CR4","unstructured":"A next-generation smart contract and decentralized application platform (2014). https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper"},{"key":"28_CR5","unstructured":"Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: foundations, design landscape and research directions. CoRR, abs\/1608.00771 (2016)"},{"key":"28_CR6","unstructured":"Yakoubov, S., Fromknecht, C., Velicanu, D.: A decentralized public key infrastructure with identity retention. Cryptology ePrint Archive, Report 2014\/803 (2014). http:\/\/eprint.iacr.org\/2014\/803"},{"key":"28_CR7","unstructured":"Chaudhary, S.: Adventures in financial and software engineering (2015). https:\/\/falconair.github.io\/2015\/01\/30\/composingcontracts.html"},{"issue":"3","key":"28_CR8","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0304-405X(79)90015-1","volume":"7","author":"JC Cox","year":"1979","unstructured":"Cox, J.C., Ross, S.A., Rubinstein, M.: Option pricing: a simplified approach. J. Finan. Econ. 7(3), 229\u2013263 (1979)","journal-title":"J. Finan. Econ."},{"key":"28_CR9","unstructured":"del Castillo, M.: JP Morgan, credit suisse among 8 in latest bank blockchain test (2016). http:\/\/www.coindesk.com\/jp-morgan-credit-suisse-among-8-in-latest-bank-blockchain-test\/"},{"key":"28_CR10","unstructured":"Ethstats (2017). https:\/\/ethstats.net\/"},{"key":"28_CR11","unstructured":"Functional programming for ethereum (2017). https:\/\/github.com\/fp-ethereum\/fp-ethereum"},{"issue":"01","key":"28_CR12","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1017\/S0956796808007016","volume":"19","author":"S Frankau","year":"2009","unstructured":"Frankau, S., Spinellis, D., Nassuphis, N., Burgard, C.: Commercial uses: going functional on exotic trades. J. Func. Program. 19(01), 27\u201345 (2009)","journal-title":"J. Func. Program."},{"key":"28_CR13","unstructured":"Gaillourdet, J.-M.: A software language approach to derivative contracts in finance (2011). http:\/\/ceur-ws.org\/vol-750\/yrs06.pdf"},{"key":"28_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-15940-9_1","volume-title":"Central European Functional Programming School","author":"J Gibbons","year":"2015","unstructured":"Gibbons, J.: Functional programming for domain-specific languages. In: Zs\u00f3k, V., Horv\u00e1th, Z., Csat\u00f3, L. (eds.) CEFP 2013. LNCS, vol. 8606, pp. 1\u201328. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15940-9_1"},{"key":"28_CR15","unstructured":"Greenspan, G.: Why many smart contract use cases are simply impossible (2016). http:\/\/www.coindesk.com\/three-smart-contract-misconceptions\/"},{"key":"28_CR16","unstructured":"Hvitved, T.: A survey of formal languages for contracts. In: Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2010), pp. 29\u201332. Citeseer (2010)"},{"key":"28_CR17","unstructured":"Icos, token sales, crowdsales (2017). https:\/\/www.smithandcrown.com\/icos\/"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Eber, J.-M.: How to write a financial contract, The Fun of Programming (2003)","DOI":"10.1007\/978-1-349-91518-7_6"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Eber, J.-M., Seward, J.: Composing contracts: an adventure in financial engineering, functional pearl. In: ICFP, pp. 280\u2013292. ACM (2000)","DOI":"10.1145\/357766.351267"},{"key":"28_CR20","unstructured":"Khovratovich, D.: debt.sol (2016). https:\/\/gist.github.com\/khovratovich\/45f68082b556b45eb64e8e1c3eb82892"},{"key":"28_CR21","unstructured":"Lewison, K., Corella, F.: Backing rich credentials with a blockchain PKI (2016). https:\/\/pomcor.com\/techreports\/BlockchainPKI.pdf"},{"key":"28_CR22","unstructured":"Ocaml at lexifi (2000). https:\/\/www.lexifi.com\/blogs\/ocaml"},{"key":"28_CR23","unstructured":"Mortensen, S.: Universal contracts (2016). https:\/\/github.com\/corda\/corda\/tree\/master\/experimental\/src"},{"key":"28_CR24","unstructured":"Oraclize (2016). http:\/\/www.oraclize.it\/"},{"key":"28_CR25","unstructured":"Reality keys (2016). https:\/\/www.realitykeys.com\/"},{"key":"28_CR26","unstructured":"Revere, R.R.: What is the difference between transaction cost and execution cost in browser solidity? (2016). https:\/\/ethereum.stackexchange.com\/q\/5812\/5113"},{"key":"28_CR27","unstructured":"Schiller, T.: Financial domain-specific language listing (2013). http:\/\/www.dslfin.org\/resources.html"},{"key":"28_CR28","unstructured":"Schuldenzucker, S.: Decomposing contracts (2014). http:\/\/www.ifi.uzh.ch\/ce\/people\/schuldenzucker\/decomposingcontracts.pdf"},{"key":"28_CR29","unstructured":"Schuldenzucker, S.: An axiomatic framework for no-arbitrage relationships in financial derivatives markets (2016). http:\/\/www.ifi.uzh.ch\/ce\/publications\/LPT.pdf"},{"key":"28_CR30","unstructured":"G\u00fcn Sirer, E.: Thoughts on the dao hack (2016). http:\/\/hackingdistributed.com\/2016\/06\/17\/thoughts-on-the-dao-hack\/"},{"key":"28_CR31","unstructured":"Seijas, P.L., Thompson, S., McAdams, D.: Scripting smart contracts for distributed ledger technology. Cryptology ePrint Archive, Report 2016\/1156 (2016). http:\/\/eprint.iacr.org\/2016\/1156"},{"key":"28_CR32","unstructured":"Szabo, N.: Formalizing and securing relationships on public networks (1997). http:\/\/journals.uic.edu\/ojs\/index.php\/fm\/article\/view\/548"},{"key":"28_CR33","unstructured":"Szabo, N.: A formal language for analyzing contracts (2002). http:\/\/nakamotoinstitute.org\/contract-language\/"},{"key":"28_CR34","unstructured":"Tlsnotary (2016). https:\/\/tlsnotary.org\/"},{"key":"28_CR35","unstructured":"Ethereum improvement proposal: Token standard (2016). https:\/\/github.com\/ethereum\/EIPs\/issues\/20"},{"key":"28_CR36","unstructured":"van Straaten, A.: Composing contracts (2007). https:\/\/web.archive.org\/web\/20130814194431\/http:\/\/contracts.scheming.org"},{"key":"28_CR37","unstructured":"Walton, C.: Scala contracts project (2012). https:\/\/github.com\/channingwalton\/scala-contracts\/wiki"},{"key":"28_CR38","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger (2014). http:\/\/gavwood.com\/paper.pdf"},{"key":"28_CR39","unstructured":"Gross domestic product 2015 (2016). http:\/\/databank.worldbank.org\/data\/download\/GDP.pdf"},{"key":"28_CR40","unstructured":"Worldcoinindex (2017). https:\/\/www.worldcoinindex.com\/coin\/ethereum"}],"container-title":["Lecture Notes in Computer Science","Financial Cryptography and Data Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70278-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T05:18:59Z","timestamp":1570339139000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70278-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319702773","9783319702780"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70278-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}