{"id":"https://openalex.org/W4411275156","doi":"https://doi.org/10.1145/3732772.3733546","title":"Brief Announcement: Strong and Hiding Distributed Certification of $k$-Coloring","display_name":"Brief Announcement: Strong and Hiding Distributed Certification of $k$-Coloring","publication_year":2025,"publication_date":"2025-06-13","ids":{"openalex":"https://openalex.org/W4411275156","doi":"https://doi.org/10.1145/3732772.3733546"},"language":"en","primary_location":{"id":"doi:10.1145/3732772.3733546","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732772.3733546","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733546","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733546","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075494871","display_name":"Augusto Modanese","orcid":"https://orcid.org/0000-0003-0518-8754"},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Augusto Modanese","raw_affiliation_strings":["Aalto University, Espoo, Finland"],"raw_orcid":"https://orcid.org/0000-0003-0518-8754","affiliations":[{"raw_affiliation_string":"Aalto University, Espoo, Finland","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028025649","display_name":"Pedro Montealegre","orcid":"https://orcid.org/0000-0002-2508-5907"},"institutions":[{"id":"https://openalex.org/I21067949","display_name":"Adolfo Ib\u00e1\u00f1ez University","ror":"https://ror.org/0326knt82","country_code":"CL","type":"education","lineage":["https://openalex.org/I21067949"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Pedro Montealegre","raw_affiliation_strings":["Adolfo Ib\u00e1\u00f1ez University, Santiago, Chile"],"raw_orcid":"https://orcid.org/0000-0002-2508-5907","affiliations":[{"raw_affiliation_string":"Adolfo Ib\u00e1\u00f1ez University, Santiago, Chile","institution_ids":["https://openalex.org/I21067949"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008054817","display_name":"Mart\u00edn R\u00edos-Wilson","orcid":"https://orcid.org/0000-0003-0339-0182"},"institutions":[{"id":"https://openalex.org/I21067949","display_name":"Adolfo Ib\u00e1\u00f1ez University","ror":"https://ror.org/0326knt82","country_code":"CL","type":"education","lineage":["https://openalex.org/I21067949"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Mart\u00edn R\u00edos-Wilson","raw_affiliation_strings":["Adolfo Ib\u00e1\u00f1ez University, Santiago, Chile"],"raw_orcid":"https://orcid.org/0000-0003-0339-0182","affiliations":[{"raw_affiliation_string":"Adolfo Ib\u00e1\u00f1ez University, Santiago, Chile","institution_ids":["https://openalex.org/I21067949"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14544849,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"379","last_page":"382"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/certification","display_name":"Certification","score":0.7255329489707947},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5786590576171875},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.0770060122013092},{"id":"https://openalex.org/keywords/management","display_name":"Management","score":0.058151960372924805}],"concepts":[{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.7255329489707947},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5786590576171875},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0770060122013092},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.058151960372924805}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3732772.3733546","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732772.3733546","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733546","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:aaltodoc.aalto.fi:123456789/138959","is_oa":true,"landing_page_url":"https://research.aalto.fi/en/publications/f0a2679c-09b1-4de3-bfc3-7436ef3eccdd","pdf_url":null,"source":{"id":"https://openalex.org/S4306401662","display_name":"Aaltodoc (Aalto University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9927081","host_organization_name":"Aalto University","host_organization_lineage":["https://openalex.org/I9927081"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3732772.3733546","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732772.3733546","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733546","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4003710626","display_name":null,"funder_award_id":"FONDECYT 1230599","funder_id":"https://openalex.org/F4320331146","funder_display_name":"Agencia Nacional de Investigaci\u00f3n y Desarrollo"},{"id":"https://openalex.org/G8167787340","display_name":"CENTER FOR MATHEMATICAL MODELING (CMM)","funder_award_id":"FB210005","funder_id":"https://openalex.org/F4320331146","funder_display_name":"Agencia Nacional de Investigaci\u00f3n y Desarrollo"},{"id":"https://openalex.org/G8700642171","display_name":"COMPUTING POWER OF HYBRID MODELS IN SYNCHRONOUS NETWORKS","funder_award_id":"1230599","funder_id":"https://openalex.org/F4320331146","funder_display_name":"Agencia Nacional de Investigaci\u00f3n y Desarrollo"}],"funders":[{"id":"https://openalex.org/F4320321394","display_name":"Aalto-Yliopisto","ror":"https://ror.org/020hwjq30"},{"id":"https://openalex.org/F4320331146","display_name":"Agencia Nacional de Investigaci\u00f3n y Desarrollo","ror":"https://ror.org/05btm5233"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411275156.pdf","grobid_xml":"https://content.openalex.org/works/W4411275156.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W2017345786","https://openalex.org/W2054910423","https://openalex.org/W2243868910","https://openalex.org/W2552279664","https://openalex.org/W2898327125","https://openalex.org/W2907309485","https://openalex.org/W2908664940","https://openalex.org/W2913663107","https://openalex.org/W2963662927","https://openalex.org/W2964046371","https://openalex.org/W3034790637","https://openalex.org/W3046559103","https://openalex.org/W4206215429","https://openalex.org/W4286976893","https://openalex.org/W4390136736","https://openalex.org/W4399375449","https://openalex.org/W4399521727","https://openalex.org/W4407771272","https://openalex.org/W6910752353"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2066052364","https://openalex.org/W4243365217","https://openalex.org/W2224296908","https://openalex.org/W2023743128","https://openalex.org/W3109981693","https://openalex.org/W2381980429","https://openalex.org/W2384206113"],"abstract_inverted_index":{"We":[0,77],"study":[1],"the":[2,22,25,28,39,43,51,55,66,73,80,107,124,163,170,174],"problem":[3,177],"of":[4,48,50,57,82,119,126,159,169],"certifying":[5],"whether":[6],"a":[7,12,36,113,117,167,182],"graph":[8,96],"is":[9,18,109],"k-colorable":[10],"with":[11,137],"locally":[13,58],"checkable":[14,59],"proof":[15],"(LCP)":[16],"that":[17,30,86,146,178],"able":[19],"to":[20,68,111,180],"hide":[21],"k-coloring":[23,37,176],"from":[24,38],"verifier,":[26],"in":[27,54,94,132,156,188],"sense":[29],"no":[31,149],"algorithm":[32],"can":[33],"(completely)":[34],"extract":[35],"certificate.":[40],"Motivated":[41],"by":[42],"search":[44],"for":[45,91,154,173,185],"promise-free":[46],"separations":[47],"extensions":[49],"LOCAL":[52],"model":[53],"context":[56],"labeling":[60],"(LCL)":[61],"problems,":[62],"we":[63,71,122,144,165],"also":[64],"require":[65,99],"LCPs":[67,90,130,153],"satisfy":[69],"what":[70],"call":[72],"strong":[74,87,127,150],"soundness":[75],"property.":[76],"focus":[78],"on":[79],"case":[81],"2-coloring":[83,92,155],"and":[84,88,98,128,136,151],"show":[85,123],"hiding":[89,129,152,171],"exist":[93],"specific":[95],"classes":[97],"only":[100],"O":[101],"(log":[102],"n)-sized":[103],"certificates.":[104,139],"Furthermore,":[105],"when":[106],"input":[108],"promised":[110],"be":[112,181],"cycle":[114],"or":[115],"contains":[116],"node":[118],"degree":[120],"1,":[121],"existence":[125],"even":[131],"an":[133],"anonymous":[134],"network":[135],"constant-size":[138],"Despite":[140],"these":[141],"upper":[142],"bounds,":[143],"prove":[145],"there":[147],"are":[148],"general,":[157],"regardless":[158],"certificate":[160],"size.":[161],"Along":[162],"way,":[164],"give":[166],"characterization":[168],"property":[172],"general":[175],"appears":[179],"key":[183],"component":[184],"future":[186],"investigations":[187],"this":[189],"context.":[190]},"counts_by_year":[],"updated_date":"2026-08-29T07:29:34.045763","created_date":"2025-06-14T00:00:00"}