{"id":"https://openalex.org/W4401257861","doi":"https://doi.org/10.1145/3685935","title":"PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems","display_name":"PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems","publication_year":2024,"publication_date":"2024-08-02","ids":{"openalex":"https://openalex.org/W4401257861","doi":"https://doi.org/10.1145/3685935"},"language":"en","primary_location":{"id":"doi:10.1145/3685935","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3685935","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3685935","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3685935","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079534228","display_name":"Cla\u00fadio Correia","orcid":"https://orcid.org/0000-0003-3082-1179"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I203847022","display_name":"Instituto Polit\u00e9cnico de Lisboa","ror":"https://ror.org/04ea70f07","country_code":"PT","type":"education","lineage":["https://openalex.org/I203847022"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Claudio Correia","raw_affiliation_strings":["Computer Science, Universidade de Lisboa, Instituto Superior Tecnico, Lisboa, Portugal"],"affiliations":[{"raw_affiliation_string":"Computer Science, Universidade de Lisboa, Instituto Superior Tecnico, Lisboa, Portugal","institution_ids":["https://openalex.org/I203847022","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093553489","display_name":"Rita Prates","orcid":null},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I203847022","display_name":"Instituto Polit\u00e9cnico de Lisboa","ror":"https://ror.org/04ea70f07","country_code":"PT","type":"education","lineage":["https://openalex.org/I203847022"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Rita Prates","raw_affiliation_strings":["Universidade de Lisboa, Instituto Superior Tecnico, Lisboa, Portugal"],"affiliations":[{"raw_affiliation_string":"Universidade de Lisboa, Instituto Superior Tecnico, Lisboa, Portugal","institution_ids":["https://openalex.org/I203847022","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103488732","display_name":"L. Maciel Fonseca","orcid":"https://orcid.org/0009-0001-1681-6181"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I203847022","display_name":"Instituto Polit\u00e9cnico de Lisboa","ror":"https://ror.org/04ea70f07","country_code":"PT","type":"education","lineage":["https://openalex.org/I203847022"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Lu\u00eds Fonseca","raw_affiliation_strings":["Universidade de Lisboa, Instituto Superior Tecnico, Lisboa, Portugal"],"affiliations":[{"raw_affiliation_string":"Universidade de Lisboa, Instituto Superior Tecnico, Lisboa, Portugal","institution_ids":["https://openalex.org/I203847022","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016455665","display_name":"Miguel Correia","orcid":"https://orcid.org/0000-0001-7873-5531"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I203847022","display_name":"Instituto Polit\u00e9cnico de Lisboa","ror":"https://ror.org/04ea70f07","country_code":"PT","type":"education","lineage":["https://openalex.org/I203847022"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Miguel Correia","raw_affiliation_strings":["Universidade de Lisboa, Instituto Superior Tecnico, Lisboa, Portugal"],"affiliations":[{"raw_affiliation_string":"Universidade de Lisboa, Instituto Superior Tecnico, Lisboa, Portugal","institution_ids":["https://openalex.org/I203847022","https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030019746","display_name":"Lu\u0131\u0301s Rodrigues","orcid":"https://orcid.org/0000-0002-0313-6590"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I203847022","display_name":"Instituto Polit\u00e9cnico de Lisboa","ror":"https://ror.org/04ea70f07","country_code":"PT","type":"education","lineage":["https://openalex.org/I203847022"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Luis Rodrigues","raw_affiliation_strings":["Universidade de Lisboa, Instituto Superior Tecnico, Lisboa, Portugal"],"affiliations":[{"raw_affiliation_string":"Universidade de Lisboa, Instituto Superior Tecnico, Lisboa, Portugal","institution_ids":["https://openalex.org/I203847022","https://openalex.org/I141596103"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5079534228"],"corresponding_institution_ids":["https://openalex.org/I141596103","https://openalex.org/I203847022"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18168594,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"4","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9997000098228455,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9997000098228455,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9944000244140625,"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/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9904000163078308,"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/computer-science","display_name":"Computer science","score":0.8220163583755493},{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.6058785319328308},{"id":"https://openalex.org/keywords/retrievability","display_name":"Retrievability","score":0.5752163529396057},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.46519362926483154},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4460587501525879},{"id":"https://openalex.org/keywords/service-provider","display_name":"Service provider","score":0.4221009612083435},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.4183039963245392},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3709603548049927},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32931530475616455},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.22607585787773132},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15234526991844177},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09873557090759277}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8220163583755493},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.6058785319328308},{"id":"https://openalex.org/C191072391","wikidata":"https://www.wikidata.org/wiki/Q17043235","display_name":"Retrievability","level":3,"score":0.5752163529396057},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.46519362926483154},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4460587501525879},{"id":"https://openalex.org/C116537","wikidata":"https://www.wikidata.org/wiki/Q2169973","display_name":"Service provider","level":3,"score":0.4221009612083435},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.4183039963245392},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3709603548049927},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32931530475616455},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.22607585787773132},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15234526991844177},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09873557090759277},{"id":"https://openalex.org/C161156560","wikidata":"https://www.wikidata.org/wiki/Q1638872","display_name":"Document retrieval","level":2,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3685935","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3685935","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3685935","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3685935","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3685935","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3685935","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4401257861.pdf"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W2047966912","https://openalex.org/W2075729786","https://openalex.org/W2102881299","https://openalex.org/W2120709141","https://openalex.org/W2129430465","https://openalex.org/W2165476593","https://openalex.org/W2523146812","https://openalex.org/W2598303068","https://openalex.org/W2610599110","https://openalex.org/W2615459164","https://openalex.org/W2753672491","https://openalex.org/W2767034436","https://openalex.org/W2893210661","https://openalex.org/W2897326345","https://openalex.org/W2904240842","https://openalex.org/W2914982603","https://openalex.org/W2996136782","https://openalex.org/W3014288465","https://openalex.org/W3046873296","https://openalex.org/W3162001039","https://openalex.org/W3194015775","https://openalex.org/W3201075948","https://openalex.org/W4229011045","https://openalex.org/W4381744862","https://openalex.org/W6638711193","https://openalex.org/W6772147534"],"related_works":["https://openalex.org/W107789802","https://openalex.org/W2601058089","https://openalex.org/W2081280752","https://openalex.org/W1482839591","https://openalex.org/W272194934","https://openalex.org/W2062709414","https://openalex.org/W2034977219","https://openalex.org/W2017702024","https://openalex.org/W2038260650","https://openalex.org/W3036922594"],"abstract_inverted_index":{"The":[0],"use":[1],"of":[2,57,92],"remote":[3],"storage":[4,23,40,158],"has":[5],"become":[6],"prevalent":[7],"both":[8],"by":[9,103,128,162,183],"organizations":[10],"and":[11,28,44,87,105,133,141,166,172],"individuals.":[12],"By":[13],"relying":[14],"on":[15],"third-party":[16],"storage,":[17],"such":[18],"as":[19],"cloud":[20],"or":[21],"peer-to-peer":[22],"services,":[24],"availability,":[25],"fault":[26],"tolerance,":[27],"low":[29],"access":[30],"latency":[31,75,101],"can":[32,176],"be":[33,177],"attained":[34],"in":[35],"a":[36,54,65,74,152],"cost-efficient":[37],"manner.":[38],"Unfortunately,":[39],"providers":[41],"may":[42],"misbehave":[43],"violate":[45],"Service-Level":[46],"Agreements":[47],"(SLAs).":[48],"In":[49],"this":[50],"article,":[51],"we":[52,187],"propose":[53],"new":[55],"Proof":[56],"Timely-Retrievability":[58],"(PoTR)":[59],"that":[60,123,189],"aims":[61],"at":[62],"assessing":[63],"whether":[64],"provider":[66],"is":[67,126,192],"able":[68,193],"to":[69,97,109,121,134,194],"retrieve":[70],"data":[71],"objects":[72],"with":[73],"lower":[76],"than":[77],"some":[78],"SLA-specific":[79],"threshold":[80],"\u03b4.":[81],"We":[82,113,145],"have":[83,146],"implemented":[84],"the":[85,93,99,106,124,129,136,139,142,167,170,173,180,190],"PoTR":[86],"evaluated":[88,148],"two":[89],"distinct":[90],"configurations":[91],"proof,":[94],"one":[95],"tailored":[96,108],"estimate":[98],"average":[100],"experience":[102],"clients":[104],"other":[107],"assess":[110],"its":[111],"variance.":[112],"leverage":[114],"Trusted":[115],"Execution":[116],"Environments":[117],"(e.g.,":[118],"Intel":[119],"SGX)":[120],"ensure":[122],"proof":[125],"produced":[127],"node":[130,175],"being":[131],"audited":[132,143,174],"reduce":[135],"communication":[137],"between":[138,169],"auditor":[140,171,191],"node.":[144],"experimentally":[147],"our":[149],"prototypes":[150],"considering":[151],"challenging":[153],"edge":[154,184],"computing":[155],"setting,":[156],"where":[157],"services":[159],"are":[160],"provided":[161],"resource-constrained":[163],"fog":[164],"nodes,":[165],"distance":[168],"large.":[178],"Despite":[179],"noise":[181],"introduced":[182],"network":[185],"delays,":[186],"show":[188],"effectively":[195],"detect":[196],"SLA":[197],"violations.":[198]},"counts_by_year":[],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}