{"id":"https://openalex.org/W7138359438","doi":"https://doi.org/10.48550/arxiv.2603.13735","title":"Unlinkability and History Preserving Bisimilarity","display_name":"Unlinkability and History Preserving Bisimilarity","publication_year":2026,"publication_date":"2026-03-14","ids":{"openalex":"https://openalex.org/W7138359438","doi":"https://doi.org/10.48550/arxiv.2603.13735"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.13735","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.13735","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.13735","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079286597","display_name":"Cl\u00e9ment Aubert","orcid":"https://orcid.org/0000-0001-6346-3043"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aubert, Cl\u00e9ment","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122730267","display_name":"Ross Horne","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Horne, Ross","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052790680","display_name":"Christian Johansen","orcid":"https://orcid.org/0000-0002-1525-0307"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Johansen, Christian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5024602195","display_name":"Sjouke Mauw","orcid":"https://orcid.org/0000-0002-2818-4433"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mauw, Sjouke","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"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/T11424","display_name":"Security and Verification in Computing","score":0.46140000224113464,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.46140000224113464,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.20960000157356262,"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.0706000030040741,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.6722999811172485},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6589000225067139},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6230999827384949},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5620999932289124},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5067999958992004},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.49410000443458557},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.44909998774528503},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4456000030040741},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4422999918460846}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7271999716758728},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.6722999811172485},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6589000225067139},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6230999827384949},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5620999932289124},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5067999958992004},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.49410000443458557},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4560000002384186},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.44909998774528503},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.447299987077713},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4456000030040741},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4422999918460846},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42489999532699585},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.3935000002384186},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.35989999771118164},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.35179999470710754},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.30970001220703125},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.30730000138282776},{"id":"https://openalex.org/C2779338814","wikidata":"https://www.wikidata.org/wiki/Q5179285","display_name":"Covert","level":2,"score":0.3061000108718872},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.2985000014305115},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.2879999876022339},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C123403432","wikidata":"https://www.wikidata.org/wiki/Q654068","display_name":"Visibility","level":2,"score":0.2842000126838684},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.28290000557899475},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.2766999900341034},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.26019999384880066},{"id":"https://openalex.org/C150607116","wikidata":"https://www.wikidata.org/wiki/Q4677421","display_name":"Action semantics","level":5,"score":0.259799987077713},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.2531000077724457}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.13735","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.13735","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.13735","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.13735","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.6561393737792969,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"An":[0],"ever-increasing":[1],"number":[2],"of":[3,17,22,124,201,204],"critical":[4],"infrastructures":[5],"rely":[6],"heavily":[7],"on":[8,96,104,195,226],"the":[9,20,42,58,122,131,188,202],"assumption":[10],"that":[11,29,50,60,87,92,114,152,218],"security":[12],"protocols":[13,98,105,197],"satisfy":[14],"a":[15,75,177,214],"wealth":[16],"requirements.":[18],"Hence,":[19],"importance":[21],"certifying":[23],"e.g.,":[24],"privacy":[25,44,227],"properties":[26],"using":[27,46,117,213],"methods":[28],"are":[30,89,115],"better":[31],"at":[32],"detecting":[33],"attacks":[34,95,113,156,194,212,225],"can":[35,65,93,192,208],"hardly":[36],"be":[37,52],"overstated.":[38],"This":[39],"paper":[40],"scrutinises":[41],"\"unlinkability\"":[43],"property":[45],"relations":[47],"equating":[48],"behaviours":[49],"cannot":[51],"distinguished":[53],"by":[54,130],"attackers.":[55],"Starting":[56],"from":[57],"observation":[59],"some":[61],"reasonable":[62,153],"design":[63,127],"choice":[64,203],"lead":[66],"to":[67,74,111,147,163,172,175,222],"formalisms":[68],"missing":[69],"attacks,":[70],"we":[71,99,102,158,198,207],"draw":[72,173],"attention":[73,174],"classical":[76],"concurrent":[77,179],"semantics":[78,91,138,145,180],"accounting":[79],"for":[80,187],"relationship":[81],"between":[82],"past":[83],"events,":[84],"and":[85,144,150,166],"show":[86],"there":[88],"concurrency-aware":[90],"discover":[94,151,193],"all":[97,196,210],"consider.More":[100],"precisely,":[101],"focus":[103],"where":[106],"trace":[107],"equivalence":[108],"is":[109,171,219],"known":[110],"miss":[112,155],"observable":[116],"branching-time":[118],"equivalences.":[119],"We":[120],"consider":[121],"impact":[123],"three":[125],"dimensions:":[126],"decisions":[128],"made":[129],"programmer":[132],"specifying":[133],"an":[134],"unlinkability":[135],"problem":[136],"(style),":[137],"respecting":[139],"choices":[140,165],"during":[141],"execution":[142],"(branching-time),":[143],"sensitive":[146],"concurrency":[148],"(non-interleaving),":[149],"styles":[154],"unless":[157],"give":[159],"attackers":[160],"enough":[161],"power":[162],"observe":[164],"concurrency.":[167],"Our":[168],"main":[169],"contribution":[170],"how":[176],"popular":[178],"--":[181,184],"history-preserving":[182],"bisimilarity":[183],"when":[185],"defined":[186],"non-interleaving":[189],"applied":[190],"\\(\u03c0\\)-calculus,":[191],"consider,":[199],"regardless":[200],"style.":[205],"Furthermore,":[206],"describe":[209],"such":[211],"novel":[215],"modal":[216],"logic":[217],"hence":[220],"suitable":[221],"formally":[223],"certify":[224],"properties.":[228]},"counts_by_year":[],"updated_date":"2026-08-12T21:12:35.861297","created_date":"2026-01-14T00:00:00"}