{"id":"https://openalex.org/W4414079961","doi":"https://doi.org/10.1109/tifs.2025.3607245","title":"FlashAttest: Self-Attestation for Low-End Internet of Things via Flash Devices","display_name":"FlashAttest: Self-Attestation for Low-End Internet of Things via Flash Devices","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4414079961","doi":"https://doi.org/10.1109/tifs.2025.3607245"},"language":"en","primary_location":{"id":"doi:10.1109/tifs.2025.3607245","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2025.3607245","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"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 Transactions on Information Forensics and Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://eprints.lancs.ac.uk/id/eprint/234399/1/FlashAttest.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007680888","display_name":"Z. Zhang","orcid":"https://orcid.org/0000-0001-9190-6454"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zheng Zhang","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-9190-6454","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046818119","display_name":"Jingfeng Xue","orcid":"https://orcid.org/0000-0002-3087-9701"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingfeng Xue","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-3087-9701","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085755018","display_name":"Weizhi Meng","orcid":"https://orcid.org/0000-0003-4384-5786"},"institutions":[{"id":"https://openalex.org/I67415387","display_name":"Lancaster University","ror":"https://ror.org/04f2nsd36","country_code":"GB","type":"education","lineage":["https://openalex.org/I67415387"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Weizhi Meng","raw_affiliation_strings":["School of Computing and Communications, Lancaster University, Lancaster, U.K","School of Computing and Communications, Lancaster University, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-4384-5786","affiliations":[{"raw_affiliation_string":"School of Computing and Communications, Lancaster University, Lancaster, U.K","institution_ids":["https://openalex.org/I67415387"]},{"raw_affiliation_string":"School of Computing and Communications, Lancaster University, United Kingdom","institution_ids":["https://openalex.org/I67415387"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031848335","display_name":"Xu Qiao","orcid":"https://orcid.org/0000-0002-5178-3899"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xu Qiao","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026287089","display_name":"Yuanzhang Li","orcid":"https://orcid.org/0000-0002-1931-366X"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuanzhang Li","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-1931-366X","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003198271","display_name":"Yu\u2010an Tan","orcid":"https://orcid.org/0000-0001-6404-8853"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu-an Tan","raw_affiliation_strings":["School of Cyberspace Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-6404-8853","affiliations":[{"raw_affiliation_string":"School of Cyberspace Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.33238544,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":null,"first_page":"9685","last_page":"9699"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9314000010490417,"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"}},"topics":[{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9314000010490417,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.6216999888420105},{"id":"https://openalex.org/keywords/trusted-computing","display_name":"Trusted Computing","score":0.5252000093460083},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5015000104904175},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4681999981403351},{"id":"https://openalex.org/keywords/direct-anonymous-attestation","display_name":"Direct Anonymous Attestation","score":0.447299987077713},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.4449999928474426},{"id":"https://openalex.org/keywords/hardware-security-module","display_name":"Hardware security module","score":0.4056999981403351},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.40310001373291016},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.3887999951839447},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3873000144958496}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.885200023651123},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.6216999888420105},{"id":"https://openalex.org/C2776831232","wikidata":"https://www.wikidata.org/wiki/Q966812","display_name":"Trusted Computing","level":2,"score":0.5252000093460083},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5214999914169312},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5015000104904175},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4681999981403351},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4494999945163727},{"id":"https://openalex.org/C169796023","wikidata":"https://www.wikidata.org/wiki/Q3708936","display_name":"Direct Anonymous Attestation","level":3,"score":0.447299987077713},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4449999928474426},{"id":"https://openalex.org/C39217717","wikidata":"https://www.wikidata.org/wiki/Q1432354","display_name":"Hardware security module","level":3,"score":0.4056999981403351},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.40310001373291016},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.3887999951839447},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3873000144958496},{"id":"https://openalex.org/C202775310","wikidata":"https://www.wikidata.org/wiki/Q1140366","display_name":"Trusted Platform Module","level":2,"score":0.37209999561309814},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.3619999885559082},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.36039999127388},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.3513000011444092},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3450999855995178},{"id":"https://openalex.org/C2777526259","wikidata":"https://www.wikidata.org/wiki/Q221836","display_name":"Flash (photography)","level":2,"score":0.3368000090122223},{"id":"https://openalex.org/C2776531357","wikidata":"https://www.wikidata.org/wiki/Q174077","display_name":"Flash memory","level":2,"score":0.3305000066757202},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.3149000108242035},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.31029999256134033},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.30790001153945923},{"id":"https://openalex.org/C44209976","wikidata":"https://www.wikidata.org/wiki/Q1327773","display_name":"Non-repudiation","level":3,"score":0.28459998965263367},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.27559998631477356},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.26989999413490295},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.26820001006126404},{"id":"https://openalex.org/C2778579508","wikidata":"https://www.wikidata.org/wiki/Q722192","display_name":"System call","level":2,"score":0.2590000033378601},{"id":"https://openalex.org/C504728807","wikidata":"https://www.wikidata.org/wiki/Q180256","display_name":"Booting","level":2,"score":0.25859999656677246},{"id":"https://openalex.org/C2742236","wikidata":"https://www.wikidata.org/wiki/Q924713","display_name":"Efficient energy use","level":2,"score":0.2556999921798706},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2522999942302704},{"id":"https://openalex.org/C140547941","wikidata":"https://www.wikidata.org/wiki/Q7797194","display_name":"Threat model","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tifs.2025.3607245","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2025.3607245","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"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 Transactions on Information Forensics and Security","raw_type":"journal-article"},{"id":"pmh:oai:eprints.lancs.ac.uk:234399","is_oa":true,"landing_page_url":null,"pdf_url":"https://eprints.lancs.ac.uk/id/eprint/234399/1/FlashAttest.pdf","source":{"id":"https://openalex.org/S4306401916","display_name":"Lancaster EPrints (Lancaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67415387","host_organization_name":"Lancaster University","host_organization_lineage":["https://openalex.org/I67415387"],"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":"Journal Article"}],"best_oa_location":{"id":"pmh:oai:eprints.lancs.ac.uk:234399","is_oa":true,"landing_page_url":null,"pdf_url":"https://eprints.lancs.ac.uk/id/eprint/234399/1/FlashAttest.pdf","source":{"id":"https://openalex.org/S4306401916","display_name":"Lancaster EPrints (Lancaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67415387","host_organization_name":"Lancaster University","host_organization_lineage":["https://openalex.org/I67415387"],"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":"Journal Article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G618849856","display_name":null,"funder_award_id":"U2336201","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414079961.pdf"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W146244851","https://openalex.org/W1536710066","https://openalex.org/W1543208993","https://openalex.org/W2021362805","https://openalex.org/W2029693536","https://openalex.org/W2036329595","https://openalex.org/W2048999575","https://openalex.org/W2075095478","https://openalex.org/W2099613071","https://openalex.org/W2108403445","https://openalex.org/W2135274013","https://openalex.org/W2145415641","https://openalex.org/W2169633417","https://openalex.org/W2289689155","https://openalex.org/W2388447476","https://openalex.org/W2399358552","https://openalex.org/W2480541030","https://openalex.org/W2604623598","https://openalex.org/W2734401556","https://openalex.org/W2752493903","https://openalex.org/W2765713146","https://openalex.org/W2767162229","https://openalex.org/W2963520010","https://openalex.org/W2974839084","https://openalex.org/W3013719659","https://openalex.org/W3022162203","https://openalex.org/W3092320038","https://openalex.org/W3161076753","https://openalex.org/W3198531562","https://openalex.org/W3212146520","https://openalex.org/W3213708112","https://openalex.org/W4213154881","https://openalex.org/W4214670577","https://openalex.org/W4288057697","https://openalex.org/W4391724760","https://openalex.org/W4396677461","https://openalex.org/W4400977202","https://openalex.org/W4401417976"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4245926026","https://openalex.org/W4311097251","https://openalex.org/W2586548817","https://openalex.org/W2390279801","https://openalex.org/W2625093826","https://openalex.org/W4391913857","https://openalex.org/W2358668433"],"abstract_inverted_index":{"Remote":[0],"Attestation":[1],"(RA)":[2],"is":[3],"an":[4],"effective":[5],"security":[6,89,141,175,208],"service":[7],"that":[8],"allows":[9,155],"a":[10,20,124,212,229],"trusted":[11],"party":[12],"(verifier)":[13],"to":[14,26,67,85,104,138,158,185,193],"initiate":[15,159],"the":[16,51,65,74,87,135,140,147,156,160,165,168,172,180,191,197,200,217,263,271],"attestation":[17,37,48,76,161,184,201],"routine":[18,162],"on":[19,82,171,225],"potentially":[21],"untrusted":[22],"remote":[23,36],"device":[24,137,182],"(prover)":[25],"verify":[27,196],"its":[28,69],"correct":[29],"state.":[30],"Despite":[31],"their":[32],"usefulness,":[33],"traditional":[34],"challenge-response":[35],"protocols":[38,110],"suffer":[39],"from":[40],"certain":[41],"limitations,":[42],"such":[43],"as":[44],"challenges":[45],"in":[46,232],"scaling":[47],"collection":[49],"and":[50,163,195,222,240,257],"forced":[52],"suspension":[53],"of":[54,99,115,167,199,234,273],"normal":[55],"operation":[56],"during":[57,183],"attestation.":[58],"Self-attestation":[59],"tackles":[60],"these":[61,109],"issues":[62],"by":[63,144,211],"enabling":[64],"prover":[66,157],"measure":[68],"own":[70],"state":[71],"asynchronously":[72],"with":[73,96,179,244],"verifier\u2019s":[75],"request.":[77],"Existing":[78],"self-attestation":[79,127,246],"methods":[80],"rely":[81],"hybrid":[83],"architectures":[84],"provide":[86],"required":[88,143],"properties,":[90],"which":[91],"may":[92],"not":[93],"be":[94],"compatible":[95],"low-end":[97,130,276],"Internet":[98],"Things":[100],"(IoT)":[101],"devices":[102],"due":[103],"hardware":[105,150,266],"limitations.":[106],"In":[107,118,152],"addition,":[108],"currently":[111],"lack":[112],"formal":[113],"verification":[114],"design":[116,215],"correctness.":[117],"this":[119],"paper,":[120],"we":[121],"present":[122],"FlashAttest,":[123],"formally":[125,213],"verified":[126,173,214],"protocol":[128],"for":[129,149,265,275],"IoT":[131],"devices.":[132,277],"FlashAttest":[133,154,189,205,224,274],"leverages":[134],"flash":[136,181],"fulfill":[139],"properties":[142],"self-attestation,":[145],"eliminating":[146,262],"requirement":[148],"modifications.":[151,267],"particular,":[153],"guarantee":[164],"trustworthiness":[166],"results":[169,269],"based":[170],"software-based":[174],"architecture.":[176],"By":[177],"collaborating":[178],"generate":[186],"timestamped":[187],"reports,":[188],"enables":[190],"verifier":[192],"collect":[194],"legitimacy":[198],"results.":[202],"More":[203],"importantly,":[204],"achieves":[206,250],"strong":[207],"guarantees":[209],"supported":[210],"using":[216],"Tamarin":[218],"prover.":[219],"We":[220],"implement":[221],"evaluate":[223],"MSP430":[226],"architecture,":[227],"showing":[228],"reasonable":[230,258],"overhead":[231,260],"terms":[233],"memory":[235,259],"footprint,":[236],"communication":[237],"overhead,":[238,253],"runtime":[239,252],"power":[241],"consumption.":[242],"Compared":[243],"state-of-the-art":[245],"schemes,":[247],"our":[248],"approach":[249],"similar":[251],"low":[254],"energy":[255],"consumption,":[256],"while":[261],"need":[264],"The":[268],"confirm":[270],"suitability":[272]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}