乐胖代购免代理版

{"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":{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/2209.10321","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":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/2209.10321","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007927804","display_name":"Dalton Chichester","orcid":null},"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, Fredericksburg, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Mary Washington, Fredericksburg, VA, USA","institution_ids":["https://openalex.org/I191484440"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100715730","display_name":"Wei Du","orcid":"https://orcid.org/0000-0003-3872-0348"},"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, Albany, NY, USA [0000"],"affiliations":[{"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/A5006900371","display_name":"Raymond F. Kauffman","orcid":null},"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, Fredericksburg, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Mary Washington, Fredericksburg, VA, USA","institution_ids":["https://openalex.org/I191484440"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031286589","display_name":"Lin Hai","orcid":"https://orcid.org/0000-0001-8658-9634"},"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, Potsdam, NY, USA"],"affiliations":[{"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"},"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, Potsdam, NY, USA [0000"],"affiliations":[{"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"},"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, Fredericksburg, VA, USA [0000"],"affiliations":[{"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 Meadows","orcid":"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","https://openalex.org/I4399598358"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Catherine A. Meadows","raw_affiliation_strings":["Naval Research Laboratory, Washington, DC, USA"],"affiliations":[{"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"},"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, Albany, NY, USA [0000"],"affiliations":[{"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"},"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, Fredericksburg, VA, USA [0000"],"affiliations":[{"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},"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, Fredericksburg, VA, USA"],"affiliations":[{"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"},"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, Troy NY, USA [0000"],"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy NY, USA [0000","institution_ids":["https://openalex.org/I165799507"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":0,"currency":"USD","value_usd":0,"provenance":"doaj"},"apc_paid":null,"fwci":0.162,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":1,"citation_normalized_percentile":{"value":0.418212,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":60,"max":70},"biblio":{"volume":"370","issue":null,"first_page":"147","last_page":"161"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9998,"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.9998,"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.9982,"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/T11130","display_name":"Coding theory and cryptography","score":0.9951,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.754145},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.5060336},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4806784},{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.44209307}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.754145},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7254188},{"id":"https://openalex.org/C6295992","wikidata":"https://www.wikidata.org/wiki/Q976521","display_name":"Cryptosystem","level":3,"score":0.69628775},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.62285995},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5424387},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.5060336},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4903555},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4806784},{"id":"https://openalex.org/C106544461","wikidata":"https://www.wikidata.org/wiki/Q543151","display_name":"Block cipher","level":3,"score":0.4676786},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.45452985},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4503719},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.44209307},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.42387673},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.34107372},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.294657},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16397998},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11021909},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/2209.10321","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":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.2209.10321","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/2209.10321","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":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":["https://openalex.org/W4296345336"],"referenced_works_count":20,"referenced_works":["https://openalex.org/W1514489116","https://openalex.org/W1582972367","https://openalex.org/W1584001157","https://openalex.org/W1596153847","https://openalex.org/W1655844021","https://openalex.org/W1973054120","https://openalex.org/W1990395488","https://openalex.org/W200131369","https://openalex.org/W2008285956","https://openalex.org/W2114965623","https://openalex.org/W2157417930","https://openalex.org/W2498996213","https://openalex.org/W2990107148","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/W4230919050"],"related_works":["https://openalex.org/W4240634662","https://openalex.org/W2952519015","https://openalex.org/W2950376466","https://openalex.org/W2503581178","https://openalex.org/W2466303427","https://openalex.org/W1913041503","https://openalex.org/W18781025","https://openalex.org/W1578828174","https://openalex.org/W1511249877","https://openalex.org/W1496433309"],"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]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4296345336","counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-01-05T10:23:26.990811","created_date":"2022-09-20"}