{"id":"https://openalex.org/W4312842628","doi":"https://doi.org/10.1109/csf54842.2022.9919637","title":"Applying consensus and replication securely with FLAQR","display_name":"Applying consensus and replication securely with FLAQR","publication_year":2022,"publication_date":"2022-08-01","ids":{"openalex":"https://openalex.org/W4312842628","doi":"https://doi.org/10.1109/csf54842.2022.9919637"},"language":"en","primary_location":{"id":"doi:10.1109/csf54842.2022.9919637","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csf54842.2022.9919637","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035091107","display_name":"Priyanka Mondal","orcid":"https://orcid.org/0009-0007-2187-9009"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Priyanka Mondal","raw_affiliation_strings":["University of California,Santa Cruz","University of California, Santa Cruz"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California,Santa Cruz","institution_ids":["https://openalex.org/I185103710"]},{"raw_affiliation_string":"University of California, Santa Cruz","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060824078","display_name":"Maximilian Algehed","orcid":"https://orcid.org/0000-0002-1666-9994"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Maximilian Algehed","raw_affiliation_strings":["Chalmers University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062865397","display_name":"Owen Arden","orcid":null},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Owen Arden","raw_affiliation_strings":["University of California,Santa Cruz","University of California, Santa Cruz"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California,Santa Cruz","institution_ids":["https://openalex.org/I185103710"]},{"raw_affiliation_string":"University of California, Santa Cruz","institution_ids":["https://openalex.org/I185103710"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4278,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.65181181,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"63","issue":null,"first_page":"163","last_page":"178"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","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/T12127","display_name":"Software System Performance and Reliability","score":0.989300012588501,"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.8096344470977783},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.7829463481903076},{"id":"https://openalex.org/keywords/replication","display_name":"Replication (statistics)","score":0.6925623416900635},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6364001035690308},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.47635507583618164},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.36217135190963745}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8096344470977783},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.7829463481903076},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.6925623416900635},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6364001035690308},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.47635507583618164},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.36217135190963745},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/csf54842.2022.9919637","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csf54842.2022.9919637","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","raw_type":"proceedings-article"},{"id":"pmh:oai:research.chalmers.se:533280","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/533280","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:research.chalmers.se:538177","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/8901e02f-954a-4934-b549-b620a3b949be","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7699999809265137}],"awards":[{"id":"https://openalex.org/G5613680986","display_name":null,"funder_award_id":"CNS-1750060","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1495495588","https://openalex.org/W1595372275","https://openalex.org/W1771153709","https://openalex.org/W1961998804","https://openalex.org/W2017060815","https://openalex.org/W2067620564","https://openalex.org/W2075854425","https://openalex.org/W2110880385","https://openalex.org/W2114579022","https://openalex.org/W2150998213","https://openalex.org/W2153773928","https://openalex.org/W2154564703","https://openalex.org/W2157828581","https://openalex.org/W2211325406","https://openalex.org/W2262688675","https://openalex.org/W2508356508","https://openalex.org/W2617413542","https://openalex.org/W3183680575","https://openalex.org/W4211068006","https://openalex.org/W4248175462","https://openalex.org/W4253591485","https://openalex.org/W4312842628","https://openalex.org/W6629717714"],"related_works":["https://openalex.org/W1565271071","https://openalex.org/W2081199208","https://openalex.org/W3349016","https://openalex.org/W1577886464","https://openalex.org/W2144438995","https://openalex.org/W2164896586","https://openalex.org/W1593559483","https://openalex.org/W2108334564","https://openalex.org/W2111125783","https://openalex.org/W2100367016"],"abstract_inverted_index":{"Availability":[0],"is":[1,12,34,91],"crucial":[2],"to":[3,55,68,85],"the":[4,18,49,56,154,168],"security":[5],"of":[6,43,51,156,170,178],"distributed":[7,109],"systems,":[8],"but":[9],"guaranteeing":[10],"availability":[11,152],"hard,":[13],"especially":[14],"when":[15],"participants":[16],"in":[17,135,153],"system":[19,123],"may":[20],"act":[21],"maliciously.":[22],"Quorum":[23,101],"replication":[24,84,114],"protocols":[25,60,115,173],"provide":[26],"both":[27],"integrity":[28],"and":[29,32,40,64,83,151,159],"availability:":[30],"data":[31],"computation":[33],"replicated":[35],"at":[36],"multiple":[37],"independent":[38],"hosts,":[39],"a":[41,71,104,164,175],"quorum":[42,113,172],"these":[44,59],"hosts":[45],"must":[46],"agree":[47],"on":[48],"output":[50],"all":[52],"operations":[53],"applied":[54],"data.":[57],"Unfortunately,":[58],"have":[61],"high":[62],"overhead":[63],"can":[65],"be":[66],"difficult":[67],"calibrate":[69],"for":[70,81,100,107,167],"specific":[72],"application's":[73],"needs.":[74],"Ideally,":[75],"developers":[76],"could":[77],"use":[78],"high-level":[79],"abstractions":[80],"consensus":[82],"write":[86],"fault-tolerant":[87],"code":[88],"by":[89,93],"that":[90,125,137,146],"secure":[92],"construction.":[94],"This":[95],"paper":[96],"presents":[97],"Flow-Limited":[98],"Authorization":[99],"Replication":[102],"(FLAQR),":[103],"core":[105],"calculus":[106],"building":[108],"applications":[110],"with":[111],"heterogeneous":[112],"while":[116],"enforcing":[117],"end-to-end":[118],"information":[119],"security.":[120],"Our":[121],"type":[122],"ensures":[124],"well-typed":[126],"FLAQR":[127],"programs":[128],"cannot":[129],"fail":[130],"(experience":[131],"an":[132],"unrecoverable":[133],"error)":[134],"ways":[136],"violate":[138],"their":[139],"type-level":[140],"specifications.":[141],"We":[142],"present":[143],"noninterference":[144],"theorems":[145],"characterize":[147],"FLAQR's":[148],"confidentiality,":[149],"integrity,":[150],"presence":[155],"consensus,":[157],"replication,":[158],"failures,":[160],"as":[161,163],"well":[162],"liveness":[165],"theorem":[166],"class":[169],"majority":[171],"under":[174],"bounded":[176],"number":[177],"faults.":[179]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}