{"id":"https://openalex.org/W7163578180","doi":"https://doi.org/10.1145/3779208.3785377","title":"Formal Analysis Framework for E2EE Protocols","display_name":"Formal Analysis Framework for E2EE Protocols","publication_year":2026,"publication_date":"2026-06-01","ids":{"openalex":"https://openalex.org/W7163578180","doi":"https://doi.org/10.1145/3779208.3785377"},"language":null,"primary_location":{"id":"doi:10.1145/3779208.3785377","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3779208.3785377","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Asia Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3779208.3785377","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100445331","display_name":"Yu Wang","orcid":"https://orcid.org/0000-0003-1054-555X"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Wang","raw_affiliation_strings":["School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China"],"raw_orcid":"https://orcid.org/0009-0000-9807-8110","affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137900884","display_name":"Xiaofeng Liu","orcid":"https://orcid.org/0009-0007-6147-7119"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaofeng Liu","raw_affiliation_strings":["School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China"],"raw_orcid":"https://orcid.org/0009-0007-6147-7119","affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137827121","display_name":"Yu Hou","orcid":"https://orcid.org/0009-0001-5054-7915"},"institutions":[{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Hou","raw_affiliation_strings":["School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China"],"raw_orcid":"https://orcid.org/0009-0001-5054-7915","affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China","institution_ids":["https://openalex.org/I80143920"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137844043","display_name":"Chengyu Hu","orcid":"https://orcid.org/0000-0002-5523-2672"},"institutions":[{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]},{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chengyu Hu","raw_affiliation_strings":["School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China, State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, Shandong, China and Key Laboratory of Cryptologic Technology and Information Security, Shandong University, Jinan, Shandong, China"],"raw_orcid":"https://orcid.org/0000-0002-5523-2672","affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China, State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, Shandong, China and Key Laboratory of Cryptologic Technology and Information Security, Shandong University, Jinan, Shandong, China","institution_ids":["https://openalex.org/I80143920","https://openalex.org/I4210132990"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084460856","display_name":"Shanqing Guo","orcid":"https://orcid.org/0000-0003-3367-0951"},"institutions":[{"id":"https://openalex.org/I4210132990","display_name":"State Key Laboratory of Cryptology","ror":"https://ror.org/02pn5rj08","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210132990"]},{"id":"https://openalex.org/I80143920","display_name":"Shandong University of Science and Technology","ror":"https://ror.org/04gtjhw98","country_code":"CN","type":"education","lineage":["https://openalex.org/I80143920"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shanqing Guo","raw_affiliation_strings":["School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China, State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, Shandong, China and Key Laboratory of Cryptologic Technology and Information Security, Shandong University, Jinan, Shandong, China"],"raw_orcid":"https://orcid.org/0000-0003-3367-0951","affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Shandong University, Qingdao, Shandong, China, State Key Laboratory of Cryptography and Digital Economy Security, Shandong University, Qingdao, Shandong, China and Key Laboratory of Cryptologic Technology and Information Security, Shandong University, Jinan, Shandong, China","institution_ids":["https://openalex.org/I80143920","https://openalex.org/I4210132990"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"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":"1570","last_page":"1583"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.3693999946117401,"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"}},"topics":[{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.3693999946117401,"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/T10142","display_name":"Formal Methods in Verification","score":0.07180000096559525,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.06710000336170197,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.6273999810218811},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.49869999289512634},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.46059998869895935},{"id":"https://openalex.org/keywords/session-key","display_name":"Session key","score":0.44679999351501465},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.41690000891685486},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4092000126838684},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.3993000090122223},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.3781999945640564},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.3693999946117401}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7996000051498413},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.6273999810218811},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5547999739646912},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.49869999289512634},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.46059998869895935},{"id":"https://openalex.org/C191197275","wikidata":"https://www.wikidata.org/wiki/Q1755775","display_name":"Session key","level":3,"score":0.44679999351501465},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.41690000891685486},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4092000126838684},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.3993000090122223},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.3781999945640564},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.3693999946117401},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.36820000410079956},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3569999933242798},{"id":"https://openalex.org/C21564112","wikidata":"https://www.wikidata.org/wiki/Q4825885","display_name":"Authentication protocol","level":3,"score":0.35100001096725464},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.32749998569488525},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.3125},{"id":"https://openalex.org/C10511746","wikidata":"https://www.wikidata.org/wiki/Q899388","display_name":"Data security","level":3,"score":0.29750001430511475},{"id":"https://openalex.org/C178005623","wikidata":"https://www.wikidata.org/wiki/Q308859","display_name":"Anonymity","level":2,"score":0.2948000133037567},{"id":"https://openalex.org/C118463975","wikidata":"https://www.wikidata.org/wiki/Q220849","display_name":"Digital signature","level":3,"score":0.29269999265670776},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.2921000123023987},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.2818000018596649},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.2782000005245209},{"id":"https://openalex.org/C141492731","wikidata":"https://www.wikidata.org/wiki/Q1052621","display_name":"Message authentication code","level":3,"score":0.27730000019073486},{"id":"https://openalex.org/C123201435","wikidata":"https://www.wikidata.org/wiki/Q456632","display_name":"Information privacy","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.2639000117778778},{"id":"https://openalex.org/C165751822","wikidata":"https://www.wikidata.org/wiki/Q7894118","display_name":"Universal composability","level":4,"score":0.2621000111103058}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3779208.3785377","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3779208.3785377","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Asia Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3779208.3785377","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3779208.3785377","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Asia Conference on Computer and Communications Security","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W42122073","https://openalex.org/W2029693536","https://openalex.org/W2076996435","https://openalex.org/W2544274814","https://openalex.org/W2652625053","https://openalex.org/W2854550545","https://openalex.org/W2886928655","https://openalex.org/W2965298324","https://openalex.org/W3003637591","https://openalex.org/W3213708465","https://openalex.org/W4241528036","https://openalex.org/W4382396201","https://openalex.org/W4386729644"],"related_works":[],"abstract_inverted_index":{"In":[0],"today's":[1],"digital":[2],"communication":[3,45],"landscape,":[4],"the":[5],"security":[6,46],"of":[7,58],"End-to-End":[8],"Encryption":[9],"(E2EE)":[10],"protocols":[11,78],"is":[12],"paramount,":[13],"particularly":[14],"in":[15,42,79,86],"safeguarding":[16],"user":[17,74],"privacy":[18,51],"and":[19,35,66,82,107],"data":[20,83],"integrity.":[21],"Formal":[22],"verification":[23,93,106],"has":[24],"emerged":[25],"as":[26],"a":[27,55,91],"critical":[28],"methodology":[29],"to":[30,49],"ensure":[31],"these":[32],"protocols'":[33],"effectiveness":[34],"reliability.":[36],"However,":[37],"certain":[38],"scenarios":[39],"reveal":[40],"failures":[41],"guaranteeing":[43],"E2EE":[44,96],"properties,":[47],"leading":[48],"potential":[50],"breaches.":[52],"We":[53],"conducted":[54],"comprehensive":[56],"survey":[57],"mainstream":[59],"messaging":[60],"protocols,":[61],"systematically":[62],"categorizing":[63],"their":[64],"vulnerabilities":[65],"causes.":[67],"By":[68],"focusing":[69],"on":[70],"identity":[71],"authentication":[72],"during":[73],"registration,":[75],"key":[76],"agreement":[77],"session":[80],"establishment,":[81],"encapsulation":[84],"processes":[85],"message":[87],"transmission,":[88],"we":[89],"developed":[90],"formal":[92],"framework":[94,100],"for":[95],"Messaging":[97],"Protocols.":[98],"This":[99],"integrates":[101],"dual":[102],"perspectives:":[103],"cryptographic":[104],"protocol":[105],"implementation":[108],"auditing.":[109]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-06-05T00:00:00"}