{"id":"https://openalex.org/W2466025230","doi":"https://doi.org/10.3233/978-1-61499-672-9-1594","title":"Encoding Cryptographic Functions to SAT Using TRANSALG System","display_name":"Encoding Cryptographic Functions to SAT Using TRANSALG System","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2466025230","doi":"https://doi.org/10.3233/978-1-61499-672-9-1594","mag":"2466025230"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-672-9-1594","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-672-9-1594","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1607.00888","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072440973","display_name":"Ilya Otpuschennikov","orcid":"https://orcid.org/0000-0001-5209-1803"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Otpuschennikov Ilya","raw_affiliation_strings":["Russian Academy of Sciences, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056056607","display_name":"Alexander Semenov","orcid":"https://orcid.org/0000-0001-6172-4801"},"institutions":[{"id":"https://openalex.org/I41518628","display_name":"Saint Petersburg State Electrotechnical University","ror":"https://ror.org/023bq8521","country_code":"RU","type":"education","lineage":["https://openalex.org/I41518628"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Semenov Alexander","raw_affiliation_strings":["Saint Petersburg State Electrotechnical University, Saint Petersburg, Russia"],"affiliations":[{"raw_affiliation_string":"Saint Petersburg State Electrotechnical University, Saint Petersburg, Russia","institution_ids":["https://openalex.org/I41518628"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017331595","display_name":"Irina Gribanova","orcid":"https://orcid.org/0000-0001-7155-4455"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Gribanova Irina","raw_affiliation_strings":["Russian Academy of Sciences, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009176581","display_name":"Oleg Zaikin","orcid":"https://orcid.org/0000-0002-0145-5010"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Zaikin Oleg","raw_affiliation_strings":["Russian Academy of Sciences, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091140171","display_name":"Stepan Kochemazov","orcid":"https://orcid.org/0000-0003-2848-5786"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Kochemazov Stepan","raw_affiliation_strings":["Russian Academy of Sciences, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I1313323035"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5072440973"],"corresponding_institution_ids":["https://openalex.org/I1313323035"],"apc_list":null,"apc_paid":null,"fwci":4.0611,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.9480186,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9998999834060669,"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.9998999834060669,"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.998199999332428,"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"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6095243692398071},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5840818881988525},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.49932098388671875},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37914514541625977},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3398997187614441},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12123581767082214}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6095243692398071},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5840818881988525},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.49932098388671875},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37914514541625977},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3398997187614441},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12123581767082214}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-61499-672-9-1594","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-672-9-1594","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:2466025230","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1607.00888","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"mag:2466025230","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1607.00888","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W117707387","https://openalex.org/W1493429498","https://openalex.org/W1544956979","https://openalex.org/W1549228503","https://openalex.org/W1583771634","https://openalex.org/W2036265926","https://openalex.org/W2045196404","https://openalex.org/W2056951693","https://openalex.org/W2066189285","https://openalex.org/W2098801947","https://openalex.org/W2101512909","https://openalex.org/W2397473788","https://openalex.org/W2480816221","https://openalex.org/W2615409614","https://openalex.org/W2913079528","https://openalex.org/W3119166924"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2060145807","https://openalex.org/W4248806346","https://openalex.org/W4307248189","https://openalex.org/W3093954335","https://openalex.org/W4205482204"],"abstract_inverted_index":{"In":[0,68,94],"this":[1,30],"paper":[2,126],"we":[3,61,70,98,127],"propose":[4],"the":[5,33,36,72,80,88,103,124,129],"technology":[6,31],"for":[7,48,102],"constructing":[8],"propositional":[9],"encodings":[10,47,60,74],"of":[11,21,35,51,82,113,131,135],"discrete":[12],"functions.":[13,67],"It":[14],"is":[15],"aimed":[16],"at":[17],"solving":[18],"inversion":[19],"problems":[20],"considered":[22],"functions":[23],"using":[24],"state-of-the-art":[25],"SAT":[26,46,56,73],"solvers.":[27],"We":[28],"implemented":[29],"in":[32,86,117,123],"form":[34],"software":[37,137],"system":[38],"called":[39],"TRANSALG,":[40],"and":[41],"used":[42,71,99],"it":[43],"to":[44,58,63,78,96,109],"construct":[45,79],"a":[49,118],"number":[50],"cryptanalysis":[52,115],"problems.":[53],"By":[54],"applying":[55],"solvers":[57],"these":[59],"managed":[62],"invert":[64],"several":[65,111],"cryptographic":[66],"particular,":[69],"produced":[75],"by":[76],"TRANSALG":[77,100,132],"family":[81],"two-block":[83],"MD5":[84],"collisions":[85],"which":[87],"first":[89],"10":[90],"bytes":[91],"are":[92],"zeros.":[93],"addition":[95],"that":[97,134],"encoding":[101],"widely":[104],"known":[105],"A5/1":[106],"keystream":[107],"generator":[108],"solve":[110],"dozen":[112],"its":[114],"instances":[116],"distributed":[119],"computing":[120],"environment.":[121],"Also":[122],"present":[125],"compare":[128],"functionality":[130],"with":[133],"similar":[136],"systems.":[138]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}