{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T01:51:32Z","timestamp":1773366692831,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662639573","type":"print"},{"value":"9783662639580","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-662-63958-0_41","type":"book-chapter","created":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T14:04:04Z","timestamp":1631801044000},"page":"579-594","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Standardized Crypto-Loans on the Cardano Blockchain"],"prefix":"10.1007","author":[{"given":"Dmytro","family":"Kondratiuk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1730-1219","authenticated-orcid":false,"given":"Pablo Lamela","family":"Seijas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Nemish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2350-301X","authenticated-orcid":false,"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,9,17]]},"reference":[{"key":"41_CR1","unstructured":"ACTUS. https:\/\/www.actusfrf.org\/. Accessed 02 Feb 2020"},{"key":"41_CR2","unstructured":"Beniiche, A.: A study of blockchain oracles (2020). https:\/\/arxiv.org\/abs\/2004.07140. Accessed 04 Feb 2020"},{"key":"41_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-030-61467-6_6","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Applications","author":"L Br\u00fcnjes","year":"2020","unstructured":"Br\u00fcnjes, L., Gabbay, M.J.: UTxO- vs account-based smart contract blockchain programming paradigms. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12478, pp. 73\u201388. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61467-6_6"},{"key":"41_CR4","doi-asserted-by":"publisher","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of haskell programs. In: ICFP 2000. ACM, New York (2000). https:\/\/doi.org\/10.1145\/351240.351266","DOI":"10.1145\/351240.351266"},{"key":"41_CR5","unstructured":"Flash-loan attack definition. https:\/\/www.coindesk.com\/harvest-finance-24m-attack-triggers-570m-bank-run-in-latest-defi-exploit. Accessed 02 Feb 2020"},{"key":"41_CR6","unstructured":"ISDA Common Domain Model. https:\/\/www.isda.org\/2019\/10\/14\/isda-common-domain-model\/. Accessed 02 Feb 2020"},{"key":"41_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-030-61467-6_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Applications","author":"P Lamela Seijas","year":"2020","unstructured":"Lamela Seijas, P., Smith, D., Thompson, S.: Efficient static analysis of Marlowe contracts. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12478, pp. 161\u2013177. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61467-6_11"},{"key":"41_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-030-03427-6_27","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice","author":"P Lamela Seijas","year":"2018","unstructured":"Lamela Seijas, P., Thompson, S.: Marlowe: financial contracts on blockchain. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11247, pp. 356\u2013375. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03427-6_27"},{"key":"41_CR9","unstructured":"Lamela Seijas, P., Thompson, S., McAdams, D.: Scripting smart contracts for distributed ledger technology. Cryptology ePrint Archive, Report 2016\/1156 (2016). https:\/\/eprint.iacr.org\/2016\/1156"},{"key":"41_CR10","unstructured":"Loan definition. https:\/\/www.investopedia.com\/terms\/l\/loan.asp. Accessed 02 Feb 2020"},{"key":"41_CR11","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-58779-6_2","volume-title":"Business Process Management: Blockchain and Robotic Process Automation Forum","author":"K Mammadzada","year":"2020","unstructured":"Mammadzada, K., Iqbal, M., Milani, F., Garc\u00eda-Ba\u00f1uelos, L., Matulevi\u010dius, R.: Blockchain oracles: a framework for\u00a0blockchain-based applications. In: Asatiani, A., et al. (eds.) BPM 2020. LNBIP, vol. 393, pp. 19\u201334. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58779-6_2"},{"key":"41_CR12","unstructured":"Vanegue, J., Heelan, S., Rolles, R.: SMT solvers for software security. In: Proceedings of the 6th USENIX Conference on Offensive Technologies, WOOT 2012, p. 9. USENIX Association, USA (2012)"}],"container-title":["Lecture Notes in Computer Science","Financial Cryptography and Data Security. FC 2021 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-63958-0_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T14:16:05Z","timestamp":1631801765000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-63958-0_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783662639573","9783662639580"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-63958-0_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Financial Cryptography and Data Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fc2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fc21.ifca.ai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}