{"id":"https://openalex.org/W7160068852","doi":"https://doi.org/10.48550/arxiv.2605.00283","title":"A Privacy-Preserving Approach to Conformance Checking","display_name":"A Privacy-Preserving Approach to Conformance Checking","publication_year":2026,"publication_date":"2026-04-30","ids":{"openalex":"https://openalex.org/W7160068852","doi":"https://doi.org/10.48550/arxiv.2605.00283"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.00283","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.00283","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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.2605.00283","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062645282","display_name":"Luis Rodr\u00edguez-Flores","orcid":"https://orcid.org/0000-0003-0070-1248"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rodr\u00edguez-Flores, Luis","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135186050","display_name":"Luciano Garc\u00eda-Ba\u00f1uelos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Garc\u00eda-Ba\u00f1uelos, Luciano","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135242205","display_name":"Abel Armas-Cervantes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Armas-Cervantes, Abel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5116263394","display_name":"Astrid Rivera-Partida","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rivera-Partida, Astrid","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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9797000288963318,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9797000288963318,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.0020000000949949026,"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/T10927","display_name":"Access Control and Trust","score":0.0017999999690800905,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.821399986743927},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5957000255584717},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.5909000039100647},{"id":"https://openalex.org/keywords/process-mining","display_name":"Process mining","score":0.5684000253677368},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5472999811172485},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4860000014305115},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.4603999853134155}],"concepts":[{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.821399986743927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7250999808311462},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5957000255584717},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.5909000039100647},{"id":"https://openalex.org/C124670913","wikidata":"https://www.wikidata.org/wiki/Q2608526","display_name":"Process mining","level":5,"score":0.5684000253677368},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5472999811172485},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4860000014305115},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.4603999853134155},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.4162999987602234},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.392300009727478},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.3921000063419342},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3808000087738037},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.36160001158714294},{"id":"https://openalex.org/C2987896495","wikidata":"https://www.wikidata.org/wiki/Q5416716","display_name":"Event data","level":3,"score":0.33180001378059387},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.31209999322891235},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.2922999858856201},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.26980000734329224},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2612000107765198},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.00283","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.00283","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.00283","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.00283","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.6978298425674438,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Conformance":[0],"checking,":[1],"one":[2],"of":[3,157],"the":[4,24,28,32,43,47,54,58,71,74,103,114,155],"main":[5],"process":[6,15,34,44,104],"mining":[7],"operations,":[8],"aims":[9],"to":[10,53,68,77,91,112],"identify":[11],"discrepancies":[12],"between":[13],"a":[14,88,127,139,142],"model":[16,22,45,72,105],"and":[17,46,99,106,141,160],"an":[18],"event":[19,29,48,107,117,144],"log.":[20],"The":[21,120],"represents":[23,31],"expected":[25],"behaviour,":[26],"whereas":[27],"log":[30,49,75,108],"actual":[33],"behaviour":[35],"as":[36],"captured":[37],"in":[38,62],"information":[39],"systems":[40],"records.":[41],"Traditionally,":[42],"are":[50],"both":[51],"accessible":[52],"business":[55],"analyst":[56],"performing":[57],"conformance":[59,92,132,148],"checking.":[60,133],"However,":[61],"some":[63],"contexts,":[64],"it":[65],"is":[66,123,136],"necessary":[67],"keep":[69],"either":[70,113],"or":[73,80,116],"private":[76],"protect":[78],"critical":[79],"sensitive":[81],"information.":[82],"In":[83],"this":[84],"paper,":[85],"we":[86],"propose":[87],"secure":[89],"approach":[90],"checking":[93,149],"based":[94,124],"on":[95,125],"string":[96],"processing":[97,161],"algorithms":[98],"homomorphic":[100],"encryption,":[101],"where":[102],"ar":[109],"not":[110],"visible":[111],"model's":[115],"log's":[118],"owner.":[119],"proposed":[121],"technique":[122],"alignments,":[126],"well-known":[128],"formalism":[129],"used":[130],"for":[131],"An":[134],"evaluation":[135],"performed":[137],"using":[138],"synthetic":[140],"real-world":[143],"log,":[145],"showing":[146],"that":[147],"can":[150],"be":[151],"securely":[152],"computed":[153],"at":[154],"expense":[156],"high":[158],"memory":[159],"requirements.":[162]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-05T00:00:00"}