{"id":"https://openalex.org/W4402937057","doi":"https://doi.org/10.1007/978-3-031-66456-4_19","title":"Formal Verification Techniques for\u00a0Post-quantum Cryptography: A Systematic Review","display_name":"Formal Verification Techniques for\u00a0Post-quantum Cryptography: A Systematic Review","publication_year":2024,"publication_date":"2024-09-28","ids":{"openalex":"https://openalex.org/W4402937057","doi":"https://doi.org/10.1007/978-3-031-66456-4_19"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-66456-4_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-66456-4_19","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113406711","display_name":"Yuexi Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"The University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yuexi Xu","raw_affiliation_strings":["The University of Queensland, Queensland, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Queensland, Queensland, Australia","institution_ids":["https://openalex.org/I165143802"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010057779","display_name":"Zhenyuan Li","orcid":"https://orcid.org/0000-0002-7712-0292"},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"The University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Zhenyuan Li","raw_affiliation_strings":["The University of Queensland, Queensland, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Queensland, Queensland, Australia","institution_ids":["https://openalex.org/I165143802"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042509488","display_name":"Naipeng Dong","orcid":"https://orcid.org/0000-0002-8248-3362"},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"The University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Naipeng Dong","raw_affiliation_strings":["The University of Queensland, Queensland, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Queensland, Queensland, Australia","institution_ids":["https://openalex.org/I165143802"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057890876","display_name":"Veronika Kuchta","orcid":"https://orcid.org/0000-0002-7724-2601"},"institutions":[{"id":"https://openalex.org/I63772739","display_name":"Florida Atlantic University","ror":"https://ror.org/05p8w6387","country_code":"US","type":"education","lineage":["https://openalex.org/I63772739"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Veronika Kuchta","raw_affiliation_strings":["Florida Atlantic University, Boca Raton, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Florida Atlantic University, Boca Raton, USA","institution_ids":["https://openalex.org/I63772739"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055734272","display_name":"Zh\u00e9 H\u00f3u","orcid":"https://orcid.org/0000-0001-7164-0580"},"institutions":[{"id":"https://openalex.org/I11701301","display_name":"Griffith University","ror":"https://ror.org/02sc3r913","country_code":"AU","type":"education","lineage":["https://openalex.org/I11701301"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Zhe Hou","raw_affiliation_strings":["Griffith University, Nathan, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Griffith University, Nathan, Australia","institution_ids":["https://openalex.org/I11701301"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004490190","display_name":"Dongxi Liu","orcid":"https://orcid.org/0000-0002-0221-2571"},"institutions":[{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"government","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Dongxi Liu","raw_affiliation_strings":["Data61, CSIRO, Eveleigh, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Data61, CSIRO, Eveleigh, Australia","institution_ids":["https://openalex.org/I1292875679","https://openalex.org/I42894916"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5042509488"],"corresponding_institution_ids":["https://openalex.org/I165143802"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.3661,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.83454046,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"346","last_page":"366"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9997000098228455,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9997000098228455,"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.9995999932289124,"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/T11017","display_name":"Chaos-based Image/Signal Encryption","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.8174548149108887},{"id":"https://openalex.org/keywords/quantum-cryptography","display_name":"Quantum cryptography","score":0.5481822490692139},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5268206596374512},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43301069736480713},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.2910688519477844},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2736814618110657},{"id":"https://openalex.org/keywords/quantum-information","display_name":"Quantum information","score":0.10443270206451416},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.07746043801307678},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06836530566215515}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8174548149108887},{"id":"https://openalex.org/C144901912","wikidata":"https://www.wikidata.org/wiki/Q471906","display_name":"Quantum cryptography","level":4,"score":0.5481822490692139},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5268206596374512},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43301069736480713},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.2910688519477844},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2736814618110657},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.10443270206451416},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.07746043801307678},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06836530566215515}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-66456-4_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-66456-4_19","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W18814837","https://openalex.org/W1017092621","https://openalex.org/W1480477462","https://openalex.org/W1539009458","https://openalex.org/W1586929125","https://openalex.org/W1778221050","https://openalex.org/W2011086847","https://openalex.org/W2016172583","https://openalex.org/W2029693536","https://openalex.org/W2050586071","https://openalex.org/W2072309970","https://openalex.org/W2092107726","https://openalex.org/W2114965623","https://openalex.org/W2123991163","https://openalex.org/W2155728227","https://openalex.org/W2164914526","https://openalex.org/W2167606175","https://openalex.org/W2274609711","https://openalex.org/W2571169473","https://openalex.org/W2890237875","https://openalex.org/W2955886508","https://openalex.org/W3000833961","https://openalex.org/W3003637591","https://openalex.org/W3014398650","https://openalex.org/W3090652612","https://openalex.org/W3152857967","https://openalex.org/W3214036351","https://openalex.org/W4220877750","https://openalex.org/W4225471048","https://openalex.org/W4285022765","https://openalex.org/W4288057750","https://openalex.org/W4288754535","https://openalex.org/W4304166300","https://openalex.org/W4312068200","https://openalex.org/W4388998407","https://openalex.org/W4389109055"],"related_works":["https://openalex.org/W3173339789","https://openalex.org/W4385627932","https://openalex.org/W4288754535","https://openalex.org/W2548040793","https://openalex.org/W1561051298","https://openalex.org/W3008265109","https://openalex.org/W4307248189","https://openalex.org/W3093954335","https://openalex.org/W4205482204","https://openalex.org/W2159027539"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}