{"id":"https://openalex.org/W2965977227","doi":"https://doi.org/10.1109/csf49147.2020.00031","title":"A Composable Security Treatment of the Lightning Network","display_name":"A Composable Security Treatment of the Lightning Network","publication_year":2020,"publication_date":"2020-06-01","ids":{"openalex":"https://openalex.org/W2965977227","doi":"https://doi.org/10.1109/csf49147.2020.00031","mag":"2965977227"},"language":"en","primary_location":{"id":"doi:10.1109/csf49147.2020.00031","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csf49147.2020.00031","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 33rd Computer Security Foundations Symposium (CSF)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/files/172598385/A_Composable_Security_KIAYIAS_DOA14042020_AFV.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073753740","display_name":"Aggelos Kiayias","orcid":"https://orcid.org/0000-0003-2451-1430"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Aggelos Kiayias","raw_affiliation_strings":["University of Edinburgh and IOHK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh and IOHK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045622269","display_name":"Orfeas Stefanos Thyfronitis Litos","orcid":"https://orcid.org/0000-0002-8229-297X"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Orfeas Stefanos Thyfronitis Litos","raw_affiliation_strings":["University of Edinburgh","University of Edinburgh,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"University of Edinburgh,","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5073753740"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":0.4077,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.67958295,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"2019","issue":null,"first_page":"334","last_page":"349"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9991999864578247,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9987999796867371,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9904000163078308,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7701506018638611},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5993204712867737},{"id":"https://openalex.org/keywords/digital-signature","display_name":"Digital signature","score":0.5794596672058105},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5401673913002014},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.46223384141921997},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.42528727650642395},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.38976678252220154},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.38880836963653564},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.08926048874855042}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7701506018638611},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5993204712867737},{"id":"https://openalex.org/C118463975","wikidata":"https://www.wikidata.org/wiki/Q220849","display_name":"Digital signature","level":3,"score":0.5794596672058105},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5401673913002014},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.46223384141921997},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.42528727650642395},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.38976678252220154},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.38880836963653564},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.08926048874855042},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/csf49147.2020.00031","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csf49147.2020.00031","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 33rd Computer Security Foundations Symposium (CSF)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/586c0dbc-a57b-4e1f-9bab-c566ad90a499","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/586c0dbc-a57b-4e1f-9bab-c566ad90a499","pdf_url":"https://www.research.ed.ac.uk/files/172598385/A_Composable_Security_KIAYIAS_DOA14042020_AFV.pdf","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kiayias, A & Thyfronitis Litos, O S 2020, A Composable Security Treatment of the Lightning Network. in 2020 IEEE 33rd Computer Security Foundations Symposium (CSF). Institute of Electrical and Electronics Engineers, pp. 334-349, 33rd IEEE Computer Security Foundations Symposium, Virtual Conference, 22/06/20. https://doi.org/10.1109/CSF49147.2020.00031","raw_type":"contributionToPeriodical"},{"id":"mag:2965977227","is_oa":false,"landing_page_url":"https://eprint.iacr.org/2019/778.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S2764847869","display_name":"IACR Cryptology ePrint Archive","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":["https://openalex.org/P4322614454"],"host_organization_lineage_names":["Cryptology ePrint Archive"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IACR Cryptology ePrint Archive","raw_type":null},{"id":"pmh:oai:pure.ed.ac.uk:publications/586c0dbc-a57b-4e1f-9bab-c566ad90a499","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/586c0dbc-a57b-4e1f-9bab-c566ad90a499","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kiayias, A & Thyfronitis Litos, O S 2020, A Composable Security Treatment of the Lightning Network. in 2020 IEEE 33rd Computer Security Foundations Symposium (CSF). Institute of Electrical and Electronics Engineers, pp. 334-349, 33rd IEEE Computer Security Foundations Symposium, Virtual Conference, 22/06/20. https://doi.org/10.1109/CSF49147.2020.00031","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:128998","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/128998/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Konferenzver\u00f6ffentlichung"}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/586c0dbc-a57b-4e1f-9bab-c566ad90a499","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/586c0dbc-a57b-4e1f-9bab-c566ad90a499","pdf_url":"https://www.research.ed.ac.uk/files/172598385/A_Composable_Security_KIAYIAS_DOA14042020_AFV.pdf","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kiayias, A & Thyfronitis Litos, O S 2020, A Composable Security Treatment of the Lightning Network. in 2020 IEEE 33rd Computer Security Foundations Symposium (CSF). Institute of Electrical and Electronics Engineers, pp. 334-349, 33rd IEEE Computer Security Foundations Symposium, Virtual Conference, 22/06/20. https://doi.org/10.1109/CSF49147.2020.00031","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2965977227.pdf","grobid_xml":"https://content.openalex.org/works/W2965977227.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W1499934958","https://openalex.org/W1562226375","https://openalex.org/W1595522037","https://openalex.org/W1892798954","https://openalex.org/W1925483862","https://openalex.org/W2111586182","https://openalex.org/W2149644620","https://openalex.org/W2511446761","https://openalex.org/W2571698069","https://openalex.org/W2604903677","https://openalex.org/W2613637871","https://openalex.org/W2767101501","https://openalex.org/W2794717484","https://openalex.org/W2808221540","https://openalex.org/W2889627320","https://openalex.org/W2891853972","https://openalex.org/W2896372906","https://openalex.org/W2947736742","https://openalex.org/W2964295450","https://openalex.org/W2971494243","https://openalex.org/W6623621951","https://openalex.org/W6634010886","https://openalex.org/W6634574766","https://openalex.org/W6696179503","https://openalex.org/W6737373056","https://openalex.org/W6746014591","https://openalex.org/W6747048825","https://openalex.org/W6778487793","https://openalex.org/W6809163925"],"related_works":["https://openalex.org/W3047049444","https://openalex.org/W1510395564","https://openalex.org/W2252724828","https://openalex.org/W1498404765","https://openalex.org/W3028869756","https://openalex.org/W3041286486","https://openalex.org/W2097551369","https://openalex.org/W2788178296","https://openalex.org/W3029761878","https://openalex.org/W3088537673","https://openalex.org/W2292760564","https://openalex.org/W1570101401","https://openalex.org/W2994818600","https://openalex.org/W2181580742","https://openalex.org/W1987574012","https://openalex.org/W2160973709","https://openalex.org/W2071449109","https://openalex.org/W2506291765","https://openalex.org/W2281146526","https://openalex.org/W3197893018"],"abstract_inverted_index":{"The":[0],"high":[1],"latency":[2],"and":[3,50,109,122,150],"low":[4],"throughput":[5],"of":[6,11,53,98,105,113,125,128],"blockchain":[7,75],"protocols":[8],"constitute":[9],"one":[10],"the":[12,22,29,44,54,58,73,95,99,103,106,110,114,126,129,168],"fundamental":[13],"barriers":[14],"for":[15,33,43,69],"their":[16],"wider":[17],"adoption.":[18],"Overlay":[19],"protocols,":[20],"notably":[21],"lightning":[23,55,130,169],"network,":[24],"have":[25],"been":[26,78],"touted":[27],"as":[28,143],"most":[30],"viable":[31],"direction":[32],"rectifying":[34],"this":[35,39],"in":[36,57,80],"practice.":[37],"In":[38],"work":[40,82],"we":[41,118,157],"present":[42],"first":[45],"time":[46],"a":[47,65,88,120,151,159],"full":[48],"formalisation":[49],"security":[51,96],"analysis":[52],"network":[56],"(global)":[59],"universal":[60],"composition":[61],"setting":[62],"that":[63,132,163],"leverages":[64],"global":[66],"ledger":[67,108],"functionality,":[68],"which":[70,156],"realisability":[71],"by":[72],"Bitcoin":[74],"protocol":[76,100,115,131],"has":[77],"demonstrated":[79],"previous":[81],"[Badertscher":[83],"et":[84],"al.,":[85],"Crypto\u201917].":[86],"As":[87],"result,":[89],"our":[90],"treatment":[91],"delineates":[92],"exactly":[93],"how":[94],"guarantees":[97],"depend":[101],"on":[102],"properties":[104],"underlying":[107,138],"frequent":[111],"availability":[112],"participants.":[116],"Moreover,":[117],"provide":[119],"complete":[121],"modular":[123],"description":[124],"core":[127],"highlights":[133],"precisely":[134],"its":[135],"dependency":[136],"to":[137],"basic":[139],"cryptographic":[140],"primitives":[141],"such":[142],"igital":[144],"signatures,":[145],"pseudorandom":[146],"functions,":[147],"identity-based":[148],"signatures":[149],"less":[152],"common":[153],"two-party":[154],"primitive,":[155],"term":[158],"combined":[160],"digital":[161],"signature,":[162],"were":[164],"originally":[165],"hidden":[166],"within":[167],"protocol\u2019s":[170],"implementation.":[171]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-04-27T08:22:11.395708","created_date":"2025-10-10T00:00:00"}