{"id":"https://openalex.org/W4382726577","doi":"https://doi.org/10.3390/computation11070125","title":"Efficient Algebraic Method for Testing the Invertibility of Finite State Machines","display_name":"Efficient Algebraic Method for Testing the Invertibility of Finite State Machines","publication_year":2023,"publication_date":"2023-06-28","ids":{"openalex":"https://openalex.org/W4382726577","doi":"https://doi.org/10.3390/computation11070125"},"language":"en","primary_location":{"id":"doi:10.3390/computation11070125","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation11070125","pdf_url":"https://www.mdpi.com/2079-3197/11/7/125/pdf?version=1688037776","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2079-3197/11/7/125/pdf?version=1688037776","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008214002","display_name":"Zineb Lotfi","orcid":null},"institutions":[{"id":"https://openalex.org/I126477371","display_name":"Mohammed V University","ror":"https://ror.org/00r8w8f84","country_code":"MA","type":"education","lineage":["https://openalex.org/I126477371"]}],"countries":["MA"],"is_corresponding":true,"raw_author_name":"Zineb Lotfi","raw_affiliation_strings":["ANISSE Research Team, Department of Computer Science, Faculty of Sciences, Mohammed V University in Rabat, Rabat BP 1014, Morocco"],"affiliations":[{"raw_affiliation_string":"ANISSE Research Team, Department of Computer Science, Faculty of Sciences, Mohammed V University in Rabat, Rabat BP 1014, Morocco","institution_ids":["https://openalex.org/I126477371"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085367945","display_name":"Hamid Khalifi","orcid":"https://orcid.org/0000-0002-3367-9748"},"institutions":[{"id":"https://openalex.org/I126477371","display_name":"Mohammed V University","ror":"https://ror.org/00r8w8f84","country_code":"MA","type":"education","lineage":["https://openalex.org/I126477371"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"Hamid Khalifi","raw_affiliation_strings":["ANISSE Research Team, Department of Computer Science, Faculty of Sciences, Mohammed V University in Rabat, Rabat BP 1014, Morocco"],"affiliations":[{"raw_affiliation_string":"ANISSE Research Team, Department of Computer Science, Faculty of Sciences, Mohammed V University in Rabat, Rabat BP 1014, Morocco","institution_ids":["https://openalex.org/I126477371"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072626701","display_name":"Fa\u00efssal Ouardi","orcid":"https://orcid.org/0000-0002-7636-5001"},"institutions":[{"id":"https://openalex.org/I126477371","display_name":"Mohammed V University","ror":"https://ror.org/00r8w8f84","country_code":"MA","type":"education","lineage":["https://openalex.org/I126477371"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"Faissal Ouardi","raw_affiliation_strings":["ANISSE Research Team, Department of Computer Science, Faculty of Sciences, Mohammed V University in Rabat, Rabat BP 1014, Morocco"],"affiliations":[{"raw_affiliation_string":"ANISSE Research Team, Department of Computer Science, Faculty of Sciences, Mohammed V University in Rabat, Rabat BP 1014, Morocco","institution_ids":["https://openalex.org/I126477371"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5008214002"],"corresponding_institution_ids":["https://openalex.org/I126477371"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.5245,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70389635,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"11","issue":"7","first_page":"125","last_page":"125"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","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/T11130","display_name":"Coding theory and cryptography","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/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9988999962806702,"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/finite-state-machine","display_name":"Finite-state machine","score":0.7381724119186401},{"id":"https://openalex.org/keywords/invertible-matrix","display_name":"Invertible matrix","score":0.6092331409454346},{"id":"https://openalex.org/keywords/cryptosystem","display_name":"Cryptosystem","score":0.6046474575996399},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5486413836479187},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5463916659355164},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5433183312416077},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4858550727367401},{"id":"https://openalex.org/keywords/hybrid-cryptosystem","display_name":"Hybrid cryptosystem","score":0.4459795653820038},{"id":"https://openalex.org/keywords/deterministic-finite-automaton","display_name":"Deterministic finite automaton","score":0.43571534752845764},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3655785620212555},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.28211158514022827},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.15607714653015137},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.12148305773735046},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.06733271479606628}],"concepts":[{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.7381724119186401},{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.6092331409454346},{"id":"https://openalex.org/C6295992","wikidata":"https://www.wikidata.org/wiki/Q976521","display_name":"Cryptosystem","level":3,"score":0.6046474575996399},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5486413836479187},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5463916659355164},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5433183312416077},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4858550727367401},{"id":"https://openalex.org/C73468433","wikidata":"https://www.wikidata.org/wiki/Q1639918","display_name":"Hybrid cryptosystem","level":4,"score":0.4459795653820038},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.43571534752845764},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3655785620212555},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28211158514022827},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.15607714653015137},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.12148305773735046},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.06733271479606628},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3390/computation11070125","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation11070125","pdf_url":"https://www.mdpi.com/2079-3197/11/7/125/pdf?version=1688037776","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:fbbdd3cb8e104c8191c6cfff4e82ac20","is_oa":true,"landing_page_url":"https://doaj.org/article/fbbdd3cb8e104c8191c6cfff4e82ac20","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computation, Vol 11, Iss 7, p 125 (2023)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2079-3197/11/7/125/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/computation11070125","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"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":"Computation; Volume 11; Issue 7; Pages: 125","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/computation11070125","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation11070125","pdf_url":"https://www.mdpi.com/2079-3197/11/7/125/pdf?version=1688037776","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4382726577.pdf","grobid_xml":"https://content.openalex.org/works/W4382726577.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W109547909","https://openalex.org/W1528904636","https://openalex.org/W1981608449","https://openalex.org/W2011762419","https://openalex.org/W2013031726","https://openalex.org/W2013625341","https://openalex.org/W2086957713","https://openalex.org/W2118376687","https://openalex.org/W2213779776","https://openalex.org/W2226631714","https://openalex.org/W2401236040","https://openalex.org/W2482718092","https://openalex.org/W2506598342","https://openalex.org/W7048729845"],"related_works":["https://openalex.org/W1528334372","https://openalex.org/W1515856307","https://openalex.org/W2126445990","https://openalex.org/W197565096","https://openalex.org/W2092526533","https://openalex.org/W2352423969","https://openalex.org/W2347867225","https://openalex.org/W2130331872","https://openalex.org/W2012789718","https://openalex.org/W1989430648"],"abstract_inverted_index":{"The":[0,105],"emergence":[1],"of":[2,13,27,89,132,159,167,169,182,192,199,209,212,224],"new":[3,14],"embedded":[4],"system":[5],"technologies,":[6],"such":[7,68],"as":[8,45,61,69,194,196],"IoT,":[9],"requires":[10],"the":[11,25,87,96,102,130,136,157,165,180,190,197,207,210,222],"design":[12,223],"lightweight":[15],"cryptosystems":[16,39,57,115],"to":[17,63,94,111,129,163,205],"meet":[18],"different":[19],"hardware":[20],"restrictions.":[21],"In":[22,145],"this":[23,125,146],"context,":[24],"concept":[26],"Finite":[28],"State":[29],"Machines":[30],"(FSMs)":[31],"can":[32],"offer":[33],"a":[34,141,160,176,218,225],"robust":[35],"solution":[36],"when":[37],"using":[38],"based":[40,73,155],"on":[41,74,135,156,179],"finite":[42,92,186],"automata,":[43],"known":[44],"FAPKC":[46,137],"(Finite":[47],"Automaton":[48],"Public":[49],"Key":[50],"Cryptosystems),":[51],"introduced":[52],"by":[53,188],"Renji":[54],"Tao.":[55],"These":[56],"have":[58,116],"been":[59,119],"proposed":[60],"alternatives":[62],"traditional":[64],"public":[65,103],"key":[66,138],"cryptosystems,":[67],"RSA.":[70],"They":[71],"are":[72,80],"composing":[75],"two":[76,81],"private":[77],"keys,":[78],"which":[79,100,215],"FSMs":[82,184],"M1":[83],"and":[84,124,140],"M2":[85],"with":[86,91,185],"property":[88],"invertibility":[90,168],"delay":[93,166,187],"obtain":[95],"composed":[97],"FSM":[98],"M=M1oM2,":[99],"is":[101,109,126,216],"key.":[104],"invert":[106],"process":[107],"(factorizing)":[108],"hard":[110],"compute.":[112],"Unfortunately,":[113],"these":[114],"not":[117],"really":[118],"adopted":[120],"in":[121],"real-world":[122],"applications,":[123],"mainly":[127],"due":[128],"lack":[131],"profound":[133],"studies":[134],"space":[139,211],"random":[142,226],"generator":[143],"program.":[144],"paper,":[147],"we":[148,173],"first":[149,219],"introduce":[150],"an":[151,170],"efficient":[152],"algebraic":[153],"method":[154],"notion":[158],"testing":[161],"table":[162],"compute":[164],"FSM.":[171],"Then,":[172],"carry":[174],"out":[175],"statistical":[177],"study":[178],"number":[181,191,198],"invertible":[183,213],"varying":[189],"states":[193],"well":[195],"output":[200],"symbols.":[201],"This":[202],"allows":[203],"us":[204],"estimate":[206],"landscape":[208],"FSMs,":[214],"considered":[217],"step":[220],"toward":[221],"generator.":[227]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}