{"id":"https://openalex.org/W4393954429","doi":"https://doi.org/10.1007/978-3-031-57228-9_13","title":"Synthesis with Privacy Against an Observer","display_name":"Synthesis with Privacy Against an Observer","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4393954429","doi":"https://doi.org/10.1007/978-3-031-57228-9_13"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-57228-9_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57228-9_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57228-9_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57228-9_13.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077429082","display_name":"Orna Kupferman","orcid":"https://orcid.org/0000-0003-4699-6117"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Orna Kupferman","raw_affiliation_strings":["School of Computer Science and Engineering, The Hebrew University, Jerusalem, Israel"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, The Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027156530","display_name":"Ofer Leshkowitz","orcid":"https://orcid.org/0000-0001-9225-2325"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ofer Leshkowitz","raw_affiliation_strings":["School of Computer Science and Engineering, The Hebrew University, Jerusalem, Israel"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, The Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5095658203","display_name":"Naama Shamash Halevy","orcid":"https://orcid.org/0009-0009-4736-6708"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Naama Shamash Halevy","raw_affiliation_strings":["School of Computer Science and Engineering, The Hebrew University, Jerusalem, Israel"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, The Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5077429082"],"corresponding_institution_ids":["https://openalex.org/I197251160"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.5617,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.77621425,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"256","last_page":"277"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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.9991000294685364,"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/T10237","display_name":"Cryptography and Data Security","score":0.9983999729156494,"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/T11424","display_name":"Security and Verification in Computing","score":0.9980999827384949,"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.8620949387550354},{"id":"https://openalex.org/keywords/observer","display_name":"Observer (physics)","score":0.560977578163147},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.39113906025886536}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8620949387550354},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.560977578163147},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.39113906025886536},{"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":"doi:10.1007/978-3-031-57228-9_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57228-9_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57228-9_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-57228-9_13","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57228-9_13","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57228-9_13.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393954429.pdf"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W142385736","https://openalex.org/W840670536","https://openalex.org/W1505349556","https://openalex.org/W1517638774","https://openalex.org/W1595126969","https://openalex.org/W1782528461","https://openalex.org/W1970603830","https://openalex.org/W1990609140","https://openalex.org/W2007981995","https://openalex.org/W2016206563","https://openalex.org/W2020617153","https://openalex.org/W2031592188","https://openalex.org/W2064886960","https://openalex.org/W2084641398","https://openalex.org/W2092977061","https://openalex.org/W2106923343","https://openalex.org/W2110868467","https://openalex.org/W2150476962","https://openalex.org/W2165726630","https://openalex.org/W2474861573","https://openalex.org/W2586521831","https://openalex.org/W2626769593","https://openalex.org/W2736690356","https://openalex.org/W2792346428","https://openalex.org/W2803455449","https://openalex.org/W2907581921","https://openalex.org/W2914665807","https://openalex.org/W2964335063","https://openalex.org/W2994155569","https://openalex.org/W4253380258"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Abstract":[0],"We":[1,180,208,251,296,345],"study":[2,299,346],"automatic":[3],"synthesis":[4,41,203,260,301],"of":[5,32,52,74,96,123,150,186,213,236,285,315,324,349,356],"systems":[6],"that":[7,89,125,145,183,222,283],"interact":[8,26],"with":[9,204,302,362],"their":[10],"environment":[11,25],"and":[12,23,30,34,77,112,193,239,275,281,298,359],"maintain":[13],"privacy":[14,206,303],"against":[15],"an":[16,102,163,290],"observer":[17,164,330],"to":[18,39,46,71,232,242],"the":[19,24,40,72,87,90,127,130,156,160,167,178,184,187,211,214,219,230,234,237,240,244,269,277,286,294,306,313,316,325,329,334,343,347,353,357],"interaction.":[20],"The":[21,37,98],"system":[22,91,278],"via":[27],"sets":[28],"I":[29,58,104,118],"O":[31,60,106],"input":[33,38,307],"output":[35,100],"signals.":[36,97],"problem":[42,188,215,326,358],"contains,":[43],"in":[44,169,195,226,257,264,293,327,341],"addition":[45],"a":[47,50,55,78,113,310,322,363],"specification,":[48,161],"also":[49,308],"list":[51],"secrets":[53,194,238],",":[54,66,143,155,304,336],"function":[56],"$$\\textsf{cost}:":[57],"\\cup":[59,119],"\\rightarrow":[61],"{\\mathbb":[62,82],"N}$$":[63,83],"<mml:math":[64,84,110,121,141,153,172,248],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mrow><mml:mi>cost</mml:mi><mml:mo>:</mml:mo><mml:mi>I</mml:mi><mml:mo>\u222a</mml:mo><mml:mi>O</mml:mi><mml:mo>\u2192</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:math>":[65],"which":[67,166,258,328,337],"maps":[68],"each":[69,284],"signal":[70],"cost":[73],"hiding":[75,95],"it,":[76],"bound":[79,128,311],"$$b":[80],"\\in":[81,135],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mrow><mml:mi>b</mml:mi><mml:mo>\u2208</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:math>":[85],"on":[86,129,312,352],"budget":[88],"may":[92],"use":[93],"for":[94,146,191],"desired":[99],"is":[101,189,199,272,279],"(":[103],"/":[105],")-transducer":[107],"$$\\mathcal":[108,115,151,170,246],"{T}$$":[109,152],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>T</mml:mi></mml:math>":[111,154],"set":[114,245],"{H}":[116],"\\subseteq":[117],"O$$":[120],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mrow><mml:mi>H</mml:mi><mml:mo>\u2286</mml:mo><mml:mi>I</mml:mi><mml:mo>\u222a</mml:mo><mml:mi>O</mml:mi></mml:mrow></mml:math>":[122],"signals":[124,168],"respects":[126],"budget,":[131],"thus":[132,197],"$$\\sum":[133],"_{s":[134],"\\mathcal":[136],"{H}}":[137],"\\textsf{cost}(s)":[138],"\\le":[139],"b$$":[140],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mrow><mml:msub><mml:mo>\u2211</mml:mo><mml:mrow><mml:mi>s</mml:mi><mml:mo>\u2208</mml:mo><mml:mi>H</mml:mi></mml:mrow></mml:msub><mml:mi>cost</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>s</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>\u2264</mml:mo><mml:mi>b</mml:mi></mml:mrow></mml:math>":[142],"such":[144],"every":[147],"possible":[148],"interaction":[149],"generated":[157],"computation":[158],"satisfies":[159],"yet":[162],"from":[165],"{H}$$":[171,247],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>H</mml:mi></mml:math>":[173,249],"are":[174],"hidden,":[175],"cannot":[176],"evaluate":[177],"secrets.":[179,344],"first":[181],"show":[182,282],"complexity":[185,212],"2EXPTIME-complete":[190],"specifications":[192],"LTL,":[196],"it":[198],"not":[200,224],"harder":[201],"than":[202],"no":[205],"requirements.":[207],"then":[209],"analyze":[210],"more":[216],"carefully,":[217],"isolating":[218],"two":[220,287],"aspects":[221,288,355],"do":[223,252],"exist":[225],"traditional":[227,259],"synthesis,":[228],"namely":[229],"need":[231,241],"hide":[233],"value":[235],"choose":[243],".":[250],"this":[253],"by":[254],"studying":[255],"settings":[256],"can":[261,338],"be":[262,339],"solved":[263],"polynomial":[265],"time":[266],"\u2013":[267],"when":[268,276],"specification":[270,335],"formalism":[271],"deterministic":[273],"automata":[274],"closed,":[280],"involves":[289],"exponential":[291],"blow-up":[292],"complexity.":[295,365],"continue":[297],"bounded":[300],"where":[305],"includes":[309],"size":[314],"synthesized":[317],"transducer,":[318],"as":[319,321],"well":[320],"variant":[323],"has":[331],"knowledge":[332],"about":[333],"helpful":[340],"evaluating":[342],"effect":[348],"both":[350],"variants":[351],"different":[354],"provide":[360],"algorithms":[361],"tight":[364]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}