{"id":"https://openalex.org/W4296345336","doi":"https://doi.org/10.4204/eptcs.370.10","title":"CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms","display_name":"CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms","publication_year":2022,"publication_date":"2022-09-19","ids":{"openalex":"https://openalex.org/W4296345336","doi":"https://doi.org/10.4204/eptcs.370.10"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.370.10","doi":"https://doi.org/10.4204/eptcs.370.10","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.370.10","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.4204/eptcs.370.10","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007927804","display_name":"Dalton Chichester","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I191484440","display_name":"University of Mary Washington","ror":"https://ror.org/03b48gv34","country_code":"US","type":"education","lineage":["https://openalex.org/I191484440"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dalton Chichester","raw_affiliation_strings":["University of Mary Washington","University of Mary Washington, Fredericksburg, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Mary Washington","institution_ids":["https://openalex.org/I191484440"]},{"raw_affiliation_string":"University of Mary Washington, Fredericksburg, VA, USA","institution_ids":["https://openalex.org/I191484440"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Wei Du","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I392282","display_name":"University at Albany, State University of New York","ror":"https://ror.org/012zs8222","country_code":"US","type":"education","lineage":["https://openalex.org/I392282"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wei Du","raw_affiliation_strings":["University at Albany-SUNY","University at Albany-SUNY, Albany, NY, USA [0000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University at Albany-SUNY","institution_ids":["https://openalex.org/I392282"]},{"raw_affiliation_string":"University at Albany-SUNY, Albany, NY, USA [0000","institution_ids":["https://openalex.org/I392282"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Raymond Kauffman","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I191484440","display_name":"University of Mary Washington","ror":"https://ror.org/03b48gv34","country_code":"US","type":"education","lineage":["https://openalex.org/I191484440"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Raymond Kauffman","raw_affiliation_strings":["University of Mary Washington","University of Mary Washington, Fredericksburg, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Mary Washington","institution_ids":["https://openalex.org/I191484440"]},{"raw_affiliation_string":"University of Mary Washington, Fredericksburg, VA, USA","institution_ids":["https://openalex.org/I191484440"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hai Lin","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I16944753","display_name":"Clarkson University","ror":"https://ror.org/03rwgpn18","country_code":"US","type":"education","lineage":["https://openalex.org/I16944753"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hai Lin","raw_affiliation_strings":["Clarkson University","Clarkson University, Potsdam, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Clarkson University","institution_ids":["https://openalex.org/I16944753"]},{"raw_affiliation_string":"Clarkson University, Potsdam, NY, USA","institution_ids":["https://openalex.org/I16944753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102807110","display_name":"Christopher Lynch","orcid":"https://orcid.org/0000-0003-1141-0665","observed_orcids":["https://orcid.org/0000-0003-1141-0665","https://orcid.org/0000-0001-9989-7097"]},"institutions":[{"id":"https://openalex.org/I16944753","display_name":"Clarkson University","ror":"https://ror.org/03rwgpn18","country_code":"US","type":"education","lineage":["https://openalex.org/I16944753"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher Lynch","raw_affiliation_strings":["Clarkson University","Clarkson University, Potsdam, NY, USA [0000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Clarkson University","institution_ids":["https://openalex.org/I16944753"]},{"raw_affiliation_string":"Clarkson University, Potsdam, NY, USA [0000","institution_ids":["https://openalex.org/I16944753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049710569","display_name":"Andrew M. Marshall","orcid":"https://orcid.org/0000-0002-0522-8384","observed_orcids":["https://orcid.org/0000-0002-0522-8384"]},"institutions":[{"id":"https://openalex.org/I191484440","display_name":"University of Mary Washington","ror":"https://ror.org/03b48gv34","country_code":"US","type":"education","lineage":["https://openalex.org/I191484440"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew M. Marshall","raw_affiliation_strings":["University of Mary Washington","University of Mary Washington, Fredericksburg, VA, USA [0000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Mary Washington","institution_ids":["https://openalex.org/I191484440"]},{"raw_affiliation_string":"University of Mary Washington, Fredericksburg, VA, USA [0000","institution_ids":["https://openalex.org/I191484440"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021410622","display_name":"Catherine A. Meadows","orcid":"https://orcid.org/0009-0006-0673-711X","observed_orcids":["https://orcid.org/0009-0006-0673-711X"]},"institutions":[{"id":"https://openalex.org/I1288214837","display_name":"United States Naval Research Laboratory","ror":"https://ror.org/04d23a975","country_code":"US","type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Catherine A. Meadows","raw_affiliation_strings":["Naval Research Laboratory","Naval Research Laboratory, Washington, DC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Naval Research Laboratory","institution_ids":["https://openalex.org/I1288214837"]},{"raw_affiliation_string":"Naval Research Laboratory, Washington, DC, USA","institution_ids":["https://openalex.org/I1288214837"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083889587","display_name":"Paliath Narendran","orcid":"https://orcid.org/0000-0003-4521-5892","observed_orcids":["https://orcid.org/0000-0003-4521-5892"]},"institutions":[{"id":"https://openalex.org/I392282","display_name":"University at Albany, State University of New York","ror":"https://ror.org/012zs8222","country_code":"US","type":"education","lineage":["https://openalex.org/I392282"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paliath Narendran","raw_affiliation_strings":["University at Albany-SUNY","University at Albany-SUNY, Albany, NY, USA [0000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University at Albany-SUNY","institution_ids":["https://openalex.org/I392282"]},{"raw_affiliation_string":"University at Albany-SUNY, Albany, NY, USA [0000","institution_ids":["https://openalex.org/I392282"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035864142","display_name":"Veena Ravishankar","orcid":"https://orcid.org/0000-0003-3498-4039","observed_orcids":["https://orcid.org/0000-0003-3498-4039"]},"institutions":[{"id":"https://openalex.org/I191484440","display_name":"University of Mary Washington","ror":"https://ror.org/03b48gv34","country_code":"US","type":"education","lineage":["https://openalex.org/I191484440"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Veena Ravishankar","raw_affiliation_strings":["University of Mary Washington","University of Mary Washington, Fredericksburg, VA, USA [0000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Mary Washington","institution_ids":["https://openalex.org/I191484440"]},{"raw_affiliation_string":"University of Mary Washington, Fredericksburg, VA, USA [0000","institution_ids":["https://openalex.org/I191484440"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087287163","display_name":"Luis Rovira","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I191484440","display_name":"University of Mary Washington","ror":"https://ror.org/03b48gv34","country_code":"US","type":"education","lineage":["https://openalex.org/I191484440"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Luis Rovira","raw_affiliation_strings":["University of Mary Washington","University of Mary Washington, Fredericksburg, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Mary Washington","institution_ids":["https://openalex.org/I191484440"]},{"raw_affiliation_string":"University of Mary Washington, Fredericksburg, VA, USA","institution_ids":["https://openalex.org/I191484440"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000171089","display_name":"Brandon Rozek","orcid":"https://orcid.org/0000-0002-4537-559X","observed_orcids":["https://orcid.org/0000-0002-4537-559X"]},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brandon Rozek","raw_affiliation_strings":["Rensselaer Polytechnic Institute","Rensselaer Polytechnic Institute, Troy NY, USA [0000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute","institution_ids":["https://openalex.org/I165799507"]},{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy NY, USA [0000","institution_ids":["https://openalex.org/I165799507"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1328,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.35599076,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"370","issue":null,"first_page":"147","last_page":"161"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.8490999937057495,"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.8490999937057495,"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/T10142","display_name":"Formal Methods in Verification","score":0.05869999900460243,"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/T10126","display_name":"Logic, programming, and type systems","score":0.04560000076889992,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/symbolic-analysis","display_name":"symbolic analysis","score":0.8349999785423279},{"id":"https://openalex.org/keywords/cryptographic-algorithms","display_name":"cryptographic algorithms","score":0.9350000023841858},{"id":"https://openalex.org/keywords/term-algebras","display_name":"term algebras","score":0.8539999723434448},{"id":"https://openalex.org/keywords/unification","display_name":"unification","score":0.9240000247955322},{"id":"https://openalex.org/keywords/variant-generation","display_name":"variant generation","score":0.9660000205039978},{"id":"https://openalex.org/keywords/block-cipher","display_name":"block cipher","score":0.9959999918937683},{"id":"https://openalex.org/keywords/software-tools","display_name":"software tools","score":0.3930000066757202},{"id":"https://openalex.org/keywords/soundness-and-completeness","display_name":"soundness and completeness","score":0.6330000162124634}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7541450262069702},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7254188060760498},{"id":"https://openalex.org/C6295992","wikidata":"https://www.wikidata.org/wiki/Q976521","display_name":"Cryptosystem","level":3,"score":0.6962877511978149},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.6228599548339844},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5424386858940125},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.5060335993766785},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4903554916381836},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.48067840933799744},{"id":"https://openalex.org/C106544461","wikidata":"https://www.wikidata.org/wiki/Q543151","display_name":"Block cipher","level":3,"score":0.46767860651016235},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.45452985167503357},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4503718912601471},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.4420930743217468},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.42387673258781433},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.3410737216472626},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29465699195861816},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16397997736930847},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.1102190911769867},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.4204/eptcs.370.10","doi":"https://doi.org/10.4204/eptcs.370.10","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.370.10","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2209.10321","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2209.10321","pdf_url":"https://arxiv.org/pdf/2209.10321","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2209.10321","doi":"https://doi.org/10.48550/arxiv.2209.10321","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2209.10321","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,"listed_in":[],"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":"article-journal"}],"best_oa_location":{"id":"doi:10.4204/eptcs.370.10","doi":"https://doi.org/10.4204/eptcs.370.10","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.370.10","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4296345336.pdf","grobid_xml":"https://content.openalex.org/works/W4296345336.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W200131369","https://openalex.org/W1507330542","https://openalex.org/W1514489116","https://openalex.org/W1582972367","https://openalex.org/W1583295953","https://openalex.org/W1584001157","https://openalex.org/W1596153847","https://openalex.org/W1655844021","https://openalex.org/W1973054120","https://openalex.org/W1990395488","https://openalex.org/W2008285956","https://openalex.org/W2114965623","https://openalex.org/W2157417930","https://openalex.org/W2495889793","https://openalex.org/W2498996213","https://openalex.org/W2809975483","https://openalex.org/W3022646258","https://openalex.org/W3046376468","https://openalex.org/W3046686408","https://openalex.org/W3196815304","https://openalex.org/W3197956099","https://openalex.org/W3203992497","https://openalex.org/W4312297662"],"related_works":["https://openalex.org/W7098312740","https://openalex.org/W7100851309","https://openalex.org/W1496433309","https://openalex.org/W3203992497","https://openalex.org/W2796010183","https://openalex.org/W2091877728","https://openalex.org/W43491002","https://openalex.org/W7100701811","https://openalex.org/W2297505234","https://openalex.org/W2089582820"],"abstract_inverted_index":{"Recently,":[0],"interest":[1],"has":[2],"been":[3,49],"emerging":[4],"in":[5,151],"the":[6,12,57,84,116,149,164],"application":[7],"of":[8,16,25,44,76,97,120,123,142],"symbolic":[9,46,90,165],"techniques":[10],"to":[11,31,88,128,132,146,153,167],"specification":[13,73],"and":[14,35,51,74,103,118,157],"analysis":[15,119],"cryptosystems.":[17],"These":[18],"techniques,":[19],"when":[20],"accompanied":[21],"by":[22],"suitable":[23],"proofs":[24],"soundness/completeness,":[26],"can":[27],"be":[28],"used":[29,87],"both":[30],"identify":[32],"insecure":[33],"cryptosystems":[34,156],"prove":[36],"sound":[37],"ones":[38],"secure.":[39],"But":[40],"although":[41],"a":[42,64,69],"number":[43],"such":[45,100],"algorithms":[47,114],"have":[48],"developed":[50],"implemented,":[52],"they":[53],"remain":[54],"scattered":[55],"throughout":[56],"literature.":[58],"In":[59,106],"this":[60],"paper,":[61],"we":[62],"present":[63],"tool,":[65],"CryptoSolve,":[66],"which":[67,125],"provides":[68],"common":[70],"basis":[71],"for":[72,115],"implementation":[75],"these":[77],"algorithms,":[78,99],"CryptoSolve":[79],"includes":[80],"libraries":[81,166],"that":[82],"provide":[83],"term":[85],"algebras":[86],"express":[89],"cryptographic":[91,121],"systems,":[92],"as":[93,95,101,160,162],"well":[94,161],"implementations":[96],"useful":[98],"unification":[102],"variant":[104],"generation.":[105],"its":[107],"current":[108],"initial":[109],"iteration,":[110],"it":[111],"features":[112],"several":[113],"generation":[117],"modes":[122],"operation,":[124],"allow":[126],"one":[127,137],"use":[129],"block":[130,138],"ciphers":[131],"encrypt":[133],"messages":[134],"more":[135],"than":[136],"long.":[139],"The":[140],"goal":[141],"our":[143],"work":[144],"is":[145],"continue":[147],"expanding":[148],"tool":[150],"order":[152],"consider":[154],"additional":[155],"security":[158],"questions,":[159],"extend":[163],"increase":[168],"their":[169],"applicability.":[170]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2022-09-20T00:00:00"}