{"id":"https://openalex.org/W4412901694","doi":"https://doi.org/10.46298/lmcs-21(3:12)2025","title":"Synthesis with Privacy Against an Observer","display_name":"Synthesis with Privacy Against an Observer","publication_year":2025,"publication_date":"2025-07-01","ids":{"openalex":"https://openalex.org/W4412901694","doi":"https://doi.org/10.46298/lmcs-21(3:12)2025"},"language":"en","primary_location":{"id":"pmh:oai:doaj.org/article:15f92ca4a47f42a88daaee898ca18feb","is_oa":true,"landing_page_url":"https://doaj.org/article/15f92ca4a47f42a88daaee898ca18feb","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 21, Issue 3 (2025)","raw_type":"article"},"type":"article","indexed_in":["doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doaj.org/article/15f92ca4a47f42a88daaee898ca18feb","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077429082","display_name":"Orna Kupferman","orcid":"https://orcid.org/0000-0003-4699-6117"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Orna Kupferman","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027156530","display_name":"Ofer Leshkowitz","orcid":"https://orcid.org/0000-0001-9225-2325"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ofer Leshkowitz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5114658675","display_name":"Namma Shamash Halevy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Namma Shamash Halevy","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18732545,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10142","display_name":"Formal Methods in Verification","score":0.9896000027656555,"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/T10142","display_name":"Formal Methods in Verification","score":0.9896000027656555,"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/T11424","display_name":"Security and Verification in Computing","score":0.9884999990463257,"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/T10237","display_name":"Cryptography and Data Security","score":0.9865999817848206,"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.6492394208908081},{"id":"https://openalex.org/keywords/observer","display_name":"Observer (physics)","score":0.48272010684013367},{"id":"https://openalex.org/keywords/internet-privacy","display_name":"Internet privacy","score":0.44255533814430237},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.38857021927833557}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6492394208908081},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.48272010684013367},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.44255533814430237},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.38857021927833557},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:doaj.org/article:15f92ca4a47f42a88daaee898ca18feb","is_oa":true,"landing_page_url":"https://doaj.org/article/15f92ca4a47f42a88daaee898ca18feb","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 21, Issue 3 (2025)","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:doaj.org/article:15f92ca4a47f42a88daaee898ca18feb","is_oa":true,"landing_page_url":"https://doaj.org/article/15f92ca4a47f42a88daaee898ca18feb","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 21, Issue 3 (2025)","raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"We":[0,140,164,195,238],"study":[1,241,289],"automatic":[2],"synthesis":[3,40,160,204,243,294],"of":[4,31,51,65,82,97,117,229,262],"systems":[5],"that":[6,75,99,112,143,174,227,298],"interact":[7,25],"with":[8,244],"their":[9],"environment":[10,24],"and":[11,22,29,33,68,91,151,187,218,225,240],"maintain":[12],"privacy":[13,162],"against":[14],"an":[15,88,126,233],"observer":[16,268],"to":[17,38,45,62,183,190],"the":[18,23,39,63,73,76,101,104,119,123,130,138,144,167,171,181,188,192,212,220,247,253,263,267,273,277,285,293,299],"interaction.":[19],"The":[20,36,84],"system":[21,77,221],"via":[26],"sets":[27],"$I$":[28],"$O$":[30],"input":[32,37,248],"output":[34,86],"signals.":[35,83],"problem":[41,264],"contains,":[42],"in":[43,132,153,178,201,207,236,265,283],"addition":[44],"a":[46,49,53,69,92,250,260],"specification,":[47,124],"also":[48],"list":[50],"secrets,":[52],"function":[54],"$cost:":[55],"I\\cup":[56,95],"O\\rightarrow\\mathbb{N}$,":[57],"which":[58,202,266,279],"maps":[59],"each":[60,228],"signal":[61],"cost":[64],"hiding":[66,81],"it,":[67],"bound":[70,102,251],"$b\\in\\mathbb{N}$":[71],"on":[72,103,252],"budget":[74],"may":[78],"use":[79],"for":[80,113,149],"desired":[85],"is":[87,147,205,215,222],"$(I/O)$-transducer":[89],"$T$":[90],"set":[93,193],"$H\\subseteq":[94],"O$":[96],"signals":[98,131],"respects":[100],"budget,":[105],"thus":[106],"$\\sum_{s\\in":[107],"H}":[108],"cost(s)\\leq":[109],"b$,":[110],"such":[111],"every":[114],"possible":[115],"interaction":[116],"$T$,":[118],"generated":[120],"computation":[121],"satisfies":[122],"yet":[125],"observer,":[127],"from":[128],"whom":[129],"$H$":[133],"are":[134],"hidden,":[135],"cannot":[136],"evaluate":[137],"secrets.":[139,286],"first":[141],"show":[142,226],"problem's":[145],"complexity":[146,168],"2EXPTIME-complete":[148],"specifications":[150],"secrets":[152,300],"LTL,":[154],"making":[155],"it":[156],"no":[157],"harder":[158],"than":[159],"without":[161],"requirements.":[163],"then":[165],"analyze":[166],"further,":[169],"isolating":[170],"two":[172],"aspects":[173,231],"do":[175,196],"not":[176],"exist":[177],"traditional":[179,203],"synthesis:":[180],"need":[182,189],"hide":[184],"secret":[185],"values":[186],"choose":[191],"$H$.":[194],"this":[197],"by":[198],"studying":[199],"settings":[200],"solvable":[206],"polynomial":[208],"time":[209],"--":[210,224],"when":[211,219],"specification":[213,274],"formalism":[214],"deterministic":[216],"automata":[217],"closed":[223],"these":[230],"adds":[232],"exponential":[234],"blow-up":[235],"complexity.":[237],"continue":[239],"bounded":[242],"privacy,":[245,291],"where":[246,292],"includes":[249],"synthesized":[254],"transducer":[255],"size,":[256],"as":[257,259],"well":[258],"variant":[261],"has":[269],"knowledge,":[270],"either":[271],"about":[272,276],"or":[275],"system,":[278],"can":[280],"be":[281],"helpful":[282],"evaluating":[284],"Additionally,":[287],"we":[288],"certified":[290],"algorithm":[295],"provides":[296],"certification":[297],"remain":[301],"hidden.":[302]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}