{"id":"https://openalex.org/W4412795631","doi":"https://doi.org/10.1109/jiot.2025.3592839","title":"A Rust Library for Behaviours Assessment in Software Certification","display_name":"A Rust Library for Behaviours Assessment in Software Certification","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412795631","doi":"https://doi.org/10.1109/jiot.2025.3592839"},"language":"en","primary_location":{"id":"doi:10.1109/jiot.2025.3592839","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jiot.2025.3592839","pdf_url":null,"source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Internet of Things Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044960820","display_name":"Alessandro Aldini","orcid":"https://orcid.org/0000-0002-7250-5011"},"institutions":[{"id":"https://openalex.org/I190397597","display_name":"University of Urbino","ror":"https://ror.org/04q4kt073","country_code":"IT","type":"education","lineage":["https://openalex.org/I190397597"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Alessandro Aldini","raw_affiliation_strings":["Department of Pure and Applied Sciences, University of Urbino Carlo Bo, Urbino, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Pure and Applied Sciences, University of Urbino Carlo Bo, Urbino, Italy","institution_ids":["https://openalex.org/I190397597"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040165772","display_name":"Luca Ardito","orcid":"https://orcid.org/0000-0002-0501-7886"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Ardito","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111268516","display_name":"Giuseppe Marco Bianco","orcid":null},"institutions":[{"id":"https://openalex.org/I190397597","display_name":"University of Urbino","ror":"https://ror.org/04q4kt073","country_code":"IT","type":"education","lineage":["https://openalex.org/I190397597"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Marco Bianco","raw_affiliation_strings":["Department of Pure and Applied Sciences, University of Urbino Carlo Bo, Urbino, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Pure and Applied Sciences, University of Urbino Carlo Bo, Urbino, Italy","institution_ids":["https://openalex.org/I190397597"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005988766","display_name":"Michele Valsesia","orcid":"https://orcid.org/0000-0001-5869-9334"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michele Valsesia","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5044960820"],"corresponding_institution_ids":["https://openalex.org/I190397597"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22772989,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9404000043869019,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9404000043869019,"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"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9348999857902527,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7188363671302795},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.6797369718551636},{"id":"https://openalex.org/keywords/rust","display_name":"Rust (programming language)","score":0.5233470797538757},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.49377450346946716},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42598506808280945},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.237350732088089},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1573486328125}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7188363671302795},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.6797369718551636},{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.5233470797538757},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49377450346946716},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42598506808280945},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.237350732088089},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1573486328125},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/jiot.2025.3592839","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jiot.2025.3592839","pdf_url":null,"source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Internet of Things Journal","raw_type":"journal-article"},{"id":"pmh:oai:ora.uniurb.it:11576/2766091","is_oa":false,"landing_page_url":"https://hdl.handle.net/11576/2766091","pdf_url":null,"source":{"id":"https://openalex.org/S4377196377","display_name":"CINECA IRIS Institutional Research information system (University of Urbino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I190397597","host_organization_name":"University of Urbino","host_organization_lineage":["https://openalex.org/I190397597"],"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":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1202519800","display_name":null,"funder_award_id":"2022598LMZ","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"}],"funders":[{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2066052364","https://openalex.org/W4243365217","https://openalex.org/W2224296908","https://openalex.org/W2023743128","https://openalex.org/W3109981693","https://openalex.org/W2381980429","https://openalex.org/W2384206113"],"abstract_inverted_index":{"The":[0],"majority":[1],"of":[2,4,32,35,57,72,110,194],"Internet":[3],"Things":[5],"(IoT)":[6],"devices":[7,20],"available":[8],"on":[9],"the":[10,30,77,95,108,131],"market":[11],"nowadays":[12],"present":[13,191],"heterogeneity":[14],"problems":[15],"and":[16,60,67,137,163],"security":[17,61],"problems.":[18],"These":[19],"adopt":[21],"different":[22],"protocols":[23],"to":[24,40,51,88,105,153,167,200],"communicate":[25],"among":[26],"each":[27],"other,":[28],"hence":[29],"definition":[31],"a":[33,99,103,127,135,192,204],"series":[34],"standards":[36],"has":[37],"been":[38,49],"necessary":[39],"make":[41],"their":[42,158],"interaction":[43],"possible.":[44],"Moreover,":[45],"certification":[46],"processes":[47],"have":[48,125,144],"proposed":[50],"analyse":[52,154],"manufacturer\u2019s":[53],"products":[54],"in":[55,90,114,175,203],"search":[56],"every":[58],"vulnerability":[59],"threat":[62],"which":[63,79,101,129],"might":[64,80],"affect":[65],"firmware":[66,111],"final":[68],"devices.":[69],"However,":[70],"none":[71],"these":[73],"methodologies":[74],"fully":[75],"considers":[76],"effects":[78,109],"occur":[81],"when":[82],"executing":[83],"an":[84,176,184],"IoT":[85,188,206],"firmware.":[86,207],"Therefore,":[87],"fill":[89],"this":[91,122,146],"gap,":[92],"we":[93,124,190],"propose":[94],"behaviours":[96,132,202],"assessment":[97,133],"as":[98,183],"technique":[100],"allows":[102],"certifier":[104],"evaluate":[106],"whether":[107],"operations":[112],"are":[113],"accordance":[115],"with":[116],"some":[117],"established":[118],"policies.":[119],"Starting":[120],"from":[121],"model,":[123],"created":[126],"library":[128,147,150],"performs":[130],"using":[134,171],"safe":[136],"secure":[138],"programming":[139],"language":[140],"called":[141],"Rust.":[142],"We":[143],"named":[145],"manifest-producer.":[148],"This":[149],"provides":[151],"APIs":[152],"ELF":[155],"binaries,":[156],"extract":[157],"functions,":[159],"disassemble":[160],"machine":[161],"code,":[162],"build":[164],"call":[165],"trees":[166],"support":[168],"behaviour":[169],"evaluation":[170],"reverse":[172],"engineering":[173],"techniques":[174],"automated":[177],"way.":[178],"To":[179],"demonstrate":[180],"its":[181],"potential":[182],"additional":[185],"tool":[186],"for":[187],"certification,":[189],"proof":[193],"concept":[195],"showing":[196],"how":[197],"it":[198],"helps":[199],"assess":[201],"mock":[205]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}