{"id":"https://openalex.org/W2511368784","doi":"https://doi.org/10.13016/m2vn5v","title":"Provable Security for Cryptocurrencies","display_name":"Provable Security for Cryptocurrencies","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2511368784","doi":"https://doi.org/10.13016/m2vn5v","mag":"2511368784"},"language":"en","primary_location":{"id":"pmh:oai:drum.lib.umd.edu:1903/18622","is_oa":false,"landing_page_url":"https://doi.org/10.13016/M2VN5V","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.13016/m2vn5v","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005295367","display_name":"Andrew Miller","orcid":"https://orcid.org/0000-0003-4052-2359"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Miller, Andrew","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5005295367"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cryptocurrency","display_name":"Cryptocurrency","score":0.9494680762290955},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4961417615413666},{"id":"https://openalex.org/keywords/provable-security","display_name":"Provable security","score":0.4318273067474365},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4080457091331482},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.2604559659957886}],"concepts":[{"id":"https://openalex.org/C180706569","wikidata":"https://www.wikidata.org/wiki/Q13479982","display_name":"Cryptocurrency","level":2,"score":0.9494680762290955},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4961417615413666},{"id":"https://openalex.org/C131672422","wikidata":"https://www.wikidata.org/wiki/Q852594","display_name":"Provable security","level":3,"score":0.4318273067474365},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4080457091331482},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2604559659957886}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:drum.lib.umd.edu:1903/18622","is_oa":false,"landing_page_url":"https://doi.org/10.13016/M2VN5V","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},{"id":"mag:2511368784","is_oa":false,"landing_page_url":"https://drum.lib.umd.edu/handle/1903/18622","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null},{"id":"doi:10.13016/m2vn5v","is_oa":true,"landing_page_url":"https://doi.org/10.13016/m2vn5v","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"}],"best_oa_location":{"id":"doi:10.13016/m2vn5v","is_oa":true,"landing_page_url":"https://doi.org/10.13016/m2vn5v","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W81341013","https://openalex.org/W93530148","https://openalex.org/W118842186","https://openalex.org/W154851090","https://openalex.org/W156530569","https://openalex.org/W179922057","https://openalex.org/W239964209","https://openalex.org/W1169198579","https://openalex.org/W1492996310","https://openalex.org/W1499934958","https://openalex.org/W1520914943","https://openalex.org/W1548440180","https://openalex.org/W1553435762","https://openalex.org/W1586368357","https://openalex.org/W1589846406","https://openalex.org/W1601379374","https://openalex.org/W1632088469","https://openalex.org/W1879677957","https://openalex.org/W1974886366","https://openalex.org/W1978649650","https://openalex.org/W2013686672","https://openalex.org/W2015007620","https://openalex.org/W2039275540","https://openalex.org/W2040993775","https://openalex.org/W2057248704","https://openalex.org/W2075854425","https://openalex.org/W2079628120","https://openalex.org/W2104210894","https://openalex.org/W2104648615","https://openalex.org/W2126087831","https://openalex.org/W2127612127","https://openalex.org/W2152465173","https://openalex.org/W2156168095","https://openalex.org/W2167554088","https://openalex.org/W2188530018","https://openalex.org/W2207823432","https://openalex.org/W2214897964","https://openalex.org/W2261914718","https://openalex.org/W2293230997","https://openalex.org/W2295506186","https://openalex.org/W2395490828","https://openalex.org/W2402791655","https://openalex.org/W2402917902","https://openalex.org/W2535475903","https://openalex.org/W2762598207"],"related_works":["https://openalex.org/W2963678131","https://openalex.org/W2954971578","https://openalex.org/W2127863964","https://openalex.org/W2950759382","https://openalex.org/W2514508529","https://openalex.org/W2951157943","https://openalex.org/W1497086039","https://openalex.org/W2114452945","https://openalex.org/W3100515387"],"abstract_inverted_index":{"The":[0,117,167,239],"past":[1],"several":[2],"years":[3],"have":[4,92],"seen":[5],"the":[6,64,99,127,181,191,214,251],"surprising":[7],"and":[8,13,30,76,135,138,149,159,180,198,227,236,276,278],"rapid":[9],"rise":[10],"of":[11,66,105,107,119,129,141,154,169,190,246,265],"Bitcoin":[12,68,101,192,231,275],"other":[14],"\u201ccryptocurrencies.\u201d":[15],"These":[16],"are":[17,172,187],"decentralized":[18],"peer-to-peer":[19],"networks":[20],"that":[21,48,87,113,161,224],"allow":[22],"users":[23],"to":[24,31,61,89,123,205,209,260],"transmit":[25],"money,":[26],"tocompose":[27],"financial":[28,46],"instruments,":[29],"enforce":[32],"contracts":[33],"between":[34],"mutually":[35],"distrusting":[36],"peers,":[37],"andthat":[38],"show":[39,203],"great":[40],"promise":[41],"as":[42],"a":[43,70,146,188,210,243,247,262,288],"foundation":[44],"for":[45,151],"infrastructure":[47],"is":[49,59,69,102,114,122,242],"more":[50],"robust,":[51],"efficientand":[52],"equitable":[53],"than":[54],"ours":[55],"today.":[56],"However,":[57],"it":[58,83],"difficult":[60],"reason":[62,125],"about":[63,126],"security":[65,128],"cryptocurrencies.":[67],"complex":[71],"system,":[72],"comprising":[73],"many":[74],"intricate":[75],"subtly-interacting":[77],"protocol":[78,215,290],"layers.":[79],"At":[80],"each":[81,152],"layer":[82,153],"features":[84],"design":[85,200],"innovations":[86],"(prior":[88],"our":[90,162],"work)":[91],"not":[93],"undergone":[94],"any":[95],"rigorous":[96],"analysis.":[97],"Compounding":[98],"challenge,":[100],"but":[103],"one":[104],"hundreds":[106],"competing":[108],"cryptocurrencies":[109],"in":[110,132,250,274],"an":[111,155],"ecosystem":[112],"constantly":[115],"evolving.":[116],"goal":[118],"this":[120,170,258],"thesis":[121,171],"formally":[124],"cryptocurrencies,":[130],"reining":[131],"their":[133,142,165],"complexity,":[134],"providing":[136],"well-defined":[137],"justified":[139],"statements":[140],"guarantees.":[143],"We":[144,202,220,256,285],"provide":[145,206],"formal":[147],"specification":[148],"construction":[150],"abstract":[156],"cryptocurrency":[157,211,248],"protocol,":[158],"prove":[160],"constructions":[163],"satisfy":[164],"specifications.":[166],"contributions":[168],"centered":[173],"around":[174],"two":[175],"new":[176,289],"abstractions:":[177],"\u201cscratch-off":[178],"puzzles,\u201d":[179],"\u201cblockchain":[182],"functionality\u201d":[183],"model.":[184],"Scratch-off":[185],"puzzles":[186,223],"generalization":[189],"\u201cmining\u201d":[193],"algorithm,":[194],"its":[195],"most":[196],"iconic":[197],"novel":[199],"feature.":[201],"how":[204],"secure":[207,222],"upgrades":[208],"by":[212],"instantiating":[213],"with":[216],"alternative":[217],"puzzle":[218],"schemes.":[219],"construct":[221,287],"address":[225],"important":[226],"well-known":[228],"challenges":[229],"facing":[230],"today,":[232],"including":[233,267],"wasted":[234],"energy":[235],"dangerous":[237],"coalitions.":[238],"blockchain":[240],"functionality":[241],"general-purpose":[244],"model":[245,259],"rooted":[249],"\u201cUniversal":[252],"Composability\u201d":[253],"cryptography":[254],"theory.":[255],"use":[257],"express":[261],"wide":[263],"range":[264],"applications,":[266],"transparent":[268],"\u201csmart":[269],"contracts\u201d":[270],"(like":[271],"those":[272],"featured":[273],"Ethereum),":[277],"also":[279,286],"privacy-preserving":[280,299],"applications":[281],"like":[282],"sealed-bid":[283],"auctions.":[284],"compiler,":[291],"called":[292],"Hawk,":[293],"which":[294],"translates":[295],"user-provided":[296],"specifications":[297],"into":[298],"protocols":[300],"based":[301],"on":[302],"zero-knowledge":[303],"proofs.":[304]},"counts_by_year":[{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}