{"id":"https://openalex.org/W13401092","doi":null,"title":"Algorithms for solving linear and polynomial systems of equations over finite fields, with applications to cryptanalysis","display_name":"Algorithms for solving linear and polynomial systems of equations over finite fields, with applications to cryptanalysis","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W13401092","mag":"13401092"},"language":"en","primary_location":{"id":"pmh:oai:drum.lib.umd.edu:1903/7202","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1903/7202","pdf_url":"https://drum.lib.umd.edu/bitstreams/7c7e80ff-93a0-493b-a99a-0007d496f3e1/download","source":{"id":"https://openalex.org/S4306401518","display_name":"University Libraries (University of Maryland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drum.lib.umd.edu/bitstreams/7c7e80ff-93a0-493b-a99a-0007d496f3e1/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067692123","display_name":"Lawrence C. Washington","orcid":"https://orcid.org/0000-0001-6622-8751","observed_orcids":["https://orcid.org/0000-0001-6622-8751"]},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lawrence C. Washington","raw_affiliation_strings":["University of Maryland, College Park"],"raw_orcid":"https://orcid.org/0000-0001-6622-8751","affiliations":[{"raw_affiliation_string":"University of Maryland, College Park","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000223799","display_name":"Gregory V. Bard","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gregory V. Bard","raw_affiliation_strings":["University of Maryland, College Park"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I66946132"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":30,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.951200008392334,"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"}},"topics":[{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.951200008392334,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.023900000378489494,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.00930000003427267,"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/algebraic-cryptanalysis","display_name":"algebraic cryptanalysis","score":0.8700000047683716},{"id":"https://openalex.org/keywords/polynomial-equations","display_name":"polynomial equations","score":0.7260000109672546},{"id":"https://openalex.org/keywords/finite-fields","display_name":"finite fields","score":0.6269999742507935},{"id":"https://openalex.org/keywords/sat-solvers","display_name":"SAT solvers","score":0.6389999985694885},{"id":"https://openalex.org/keywords/cnf-sat","display_name":"CNF-SAT","score":0.8899999856948853},{"id":"https://openalex.org/keywords/block-cipher-cryptanalysis","display_name":"block cipher cryptanalysis","score":0.7900000214576721},{"id":"https://openalex.org/keywords/xl-algorithm","display_name":"XL algorithm","score":0.9480000138282776},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"matrix multiplication","score":0.7289999723434448},{"id":"https://openalex.org/keywords/matrix-inversion","display_name":"matrix inversion","score":0.9589999914169312},{"id":"https://openalex.org/keywords/strassen-algorithm","display_name":"Strassen's algorithm","score":0.7540000081062317},{"id":"https://openalex.org/keywords/gaussian-elimination","display_name":"Gaussian elimination","score":0.7639999985694885},{"id":"https://openalex.org/keywords/determinants","display_name":"determinants","score":0.5849999785423279},{"id":"https://openalex.org/keywords/complexity-model","display_name":"complexity model","score":0.3970000147819519}],"concepts":[{"id":"https://openalex.org/C39096654","wikidata":"https://www.wikidata.org/wiki/Q728507","display_name":"Strassen algorithm","level":4,"score":0.791225254535675},{"id":"https://openalex.org/C126312332","wikidata":"https://www.wikidata.org/wiki/Q2658","display_name":"Gaussian elimination","level":3,"score":0.7049397230148315},{"id":"https://openalex.org/C106544461","wikidata":"https://www.wikidata.org/wiki/Q543151","display_name":"Block cipher","level":3,"score":0.5850821733474731},{"id":"https://openalex.org/C181149355","wikidata":"https://www.wikidata.org/wiki/Q897511","display_name":"Cryptanalysis","level":3,"score":0.5455559492111206},{"id":"https://openalex.org/C151607707","wikidata":"https://www.wikidata.org/wiki/Q11673206","display_name":"Higher-order differential cryptanalysis","level":5,"score":0.5436434745788574},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4792604446411133},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.4718841314315796},{"id":"https://openalex.org/C94523830","wikidata":"https://www.wikidata.org/wiki/Q11203","display_name":"System of linear equations","level":2,"score":0.43817517161369324},{"id":"https://openalex.org/C156350748","wikidata":"https://www.wikidata.org/wiki/Q5513324","display_name":"GF(2)","level":3,"score":0.42163509130477905},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4196033477783203},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40850555896759033},{"id":"https://openalex.org/C82424418","wikidata":"https://www.wikidata.org/wiki/Q1826463","display_name":"Linear cryptanalysis","level":4,"score":0.39256876707077026},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.38166487216949463},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3712337017059326},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28690680861473083},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.18115639686584473},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.17421630024909973},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:drum.lib.umd.edu:1903/7202","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1903/7202","pdf_url":"https://drum.lib.umd.edu/bitstreams/7c7e80ff-93a0-493b-a99a-0007d496f3e1/download","source":{"id":"https://openalex.org/S4306401518","display_name":"University Libraries (University of Maryland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},{"id":"mag:13401092","doi":null,"is_oa":false,"landing_page_url":"https://drum.lib.umd.edu/bitstream/1903/7202/1/umi-umd-4594.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:drum.lib.umd.edu:1903/7202","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1903/7202","pdf_url":"https://drum.lib.umd.edu/bitstreams/7c7e80ff-93a0-493b-a99a-0007d496f3e1/download","source":{"id":"https://openalex.org/S4306401518","display_name":"University Libraries (University of Maryland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G211139702","display_name":"Explicit Approaches to Modular Forms and Modular Abelian Varieties","funder_award_id":"0555776","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309500","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94"},{"id":"https://openalex.org/F4320311089","display_name":"National Security Agency","ror":"https://ror.org/0047bvr32"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320332923","display_name":"U.S. Navy","ror":"https://ror.org/03ar0mv07"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W13401092.pdf","grobid_xml":"https://content.openalex.org/works/W13401092.grobid-xml"},"referenced_works_count":60,"referenced_works":["https://openalex.org/W1699105","https://openalex.org/W76780462","https://openalex.org/W112162422","https://openalex.org/W149636774","https://openalex.org/W152964218","https://openalex.org/W165268098","https://openalex.org/W184459568","https://openalex.org/W624436076","https://openalex.org/W1475025077","https://openalex.org/W1490692161","https://openalex.org/W1495150777","https://openalex.org/W1507513857","https://openalex.org/W1520511539","https://openalex.org/W1520563459","https://openalex.org/W1526491617","https://openalex.org/W1542020576","https://openalex.org/W1550790359","https://openalex.org/W1560023496","https://openalex.org/W1562183207","https://openalex.org/W1565043606","https://openalex.org/W1569612250","https://openalex.org/W1572961947","https://openalex.org/W1573095851","https://openalex.org/W1576347883","https://openalex.org/W1582711866","https://openalex.org/W1583871653","https://openalex.org/W1599335667","https://openalex.org/W1655990431","https://openalex.org/W1775632952","https://openalex.org/W1853274012","https://openalex.org/W1873576501","https://openalex.org/W1971378428","https://openalex.org/W1974511160","https://openalex.org/W1979740015","https://openalex.org/W2002730760","https://openalex.org/W2011039300","https://openalex.org/W2021903957","https://openalex.org/W2023724794","https://openalex.org/W2035038443","https://openalex.org/W2035476608","https://openalex.org/W2038345254","https://openalex.org/W2060310671","https://openalex.org/W2082180697","https://openalex.org/W2085819076","https://openalex.org/W2099172492","https://openalex.org/W2117362057","https://openalex.org/W2128687423","https://openalex.org/W2131719221","https://openalex.org/W2142785340","https://openalex.org/W2398667005","https://openalex.org/W2400568052","https://openalex.org/W2401610261","https://openalex.org/W2408512050","https://openalex.org/W2949914080","https://openalex.org/W2951210563","https://openalex.org/W2952005729","https://openalex.org/W3022909171","https://openalex.org/W3096948300","https://openalex.org/W3145128584","https://openalex.org/W7098979472"],"related_works":["https://openalex.org/W7095501932","https://openalex.org/W7099661518","https://openalex.org/W33785689","https://openalex.org/W3169109595","https://openalex.org/W7096037981","https://openalex.org/W1987179059","https://openalex.org/W2407155785","https://openalex.org/W7135974613","https://openalex.org/W1911904777","https://openalex.org/W1475025077"],"abstract_inverted_index":{"This":[0,168],"dissertation":[1],"contains":[2,45,116,183,217,247,273],"algorithms":[3,267],"for":[4,23,165,192,197,220],"solving":[5,98],"linear":[6,129,154,258],"and":[7,20,26,109,133,162,194,208,253,262,272,288],"polynomial":[8,41,78,99,150],"systems":[9,79,100,130,151],"of":[10,49,80,97,101,178,186,189,242,250,291],"equations":[11,81,102],"over":[12,131,224],"GF(2).":[13],"The":[14,36,60,77,124],"objective":[15],"is":[16,31,62,169,201,229,235,240],"to":[17,176],"provide":[18],"fast":[19],"exact":[21],"tools":[22],"algebraic":[24],"cryptanalysis":[25,48,85,142],"other":[27,134],"applications.":[28],"Accordingly,":[29],"it":[30,239,255],"divided":[32],"into":[33,106,152,304],"two":[34],"parts.":[35],"first":[37],"part":[38,126],"deals":[39,127],"with":[40,128,212],"systems.":[42,155],"Chapter":[43,91,114,181,215],"2":[44],"a":[46,94,111,117,158,195],"successful":[47],"Keeloq,":[50],"the":[51,145,232,289,308],"block":[52],"cipher":[53],"used":[54],"in":[55,141,171,260,307],"nearly":[56],"all":[57,177],"luxury":[58],"automobiles.":[59],"attack":[61],"more":[63],"than":[64,68,205,269],"16,000":[65],"times":[66],"faster":[67,204,268],"brute":[69],"force,":[70],"but":[71,174,231,300],"queries":[72],"0.62":[73],"\u00d7":[74],"2^32":[75],"plaintexts.":[76],"arising":[82],"from":[83,257],"that":[84,238,275],"were":[86],"solved":[87],"via":[88],"SAT-solvers.":[89],"Therefore,":[90],"3":[92],"introduces":[93],"new":[95,159],"method":[96],"by":[103],"converting":[104],"them":[105],"CNF-SAT":[107],"problems":[108],"using":[110,144],"SAT-solver.":[112],"Finally,":[113],"4":[115],"discussion":[118,249],"on":[119],"how":[120,254],"SAT-solvers":[121],"work":[122],"internally.":[123],"second":[125],"GF(2),":[132],"small":[135,225],"fields":[136],"(and":[137],"rings).":[138],"These":[139,295],"occur":[140],"when":[143],"XL":[146],"algorithm,":[147,271],"which":[148,200],"converts":[149],"larger":[153],"We":[156],"introduce":[157],"complexity":[160],"model":[161],"data":[163],"structures":[164],"GF(2)-matrix":[166],"operations.":[167],"discussed":[170],"Appendix":[172,245,264],"B":[173],"applies":[175],"Part":[179],"II.":[180],"5":[182],"an":[184,218],"analysis":[185],"\"the":[187],"Method":[188],"Four":[190],"Russians\"":[191],"multiplication":[193,223],"variant":[196],"matrix":[198,222,276,278,281,285],"inversion,":[199,282],"log":[202],"n":[203],"Gaussian":[206],"Elimination,":[207],"can":[209],"be":[210],"combined":[211],"Strassen-like":[213],"algorithms.":[214],"6":[216],"algorithm":[219],"accelerating":[221],"finite":[226],"fields.":[227],"It":[228],"feasible":[230],"memory":[233],"cost":[234],"so":[236],"high":[237],"mostly":[241],"theoretical":[243],"interest.":[244],"A":[246],"some":[248],"GF(2)-linear":[251],"algebra":[252,259],"differs":[256],"R":[261],"C.":[263],"C":[265],"discusses":[266],"Strassen's":[270],"proofs":[274,296],"multiplication,":[277],"squaring,":[279],"triangular":[280],"LUP-factorization,":[283],"general":[284],"in-":[286],"version":[287],"taking":[290],"determinants,":[292],"are":[293,297,301],"equicomplex.":[294],"already":[298],"known,":[299],"here":[302],"gathered":[303],"one":[305],"place":[306],"same":[309],"notation.":[310]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}