{"id":"https://openalex.org/W4316022171","doi":"https://doi.org/10.1109/tifs.2023.3234895","title":"TxT: Real-Time Transaction Encapsulation for Ethereum Smart Contracts","display_name":"TxT: Real-Time Transaction Encapsulation for Ethereum Smart Contracts","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4316022171","doi":"https://doi.org/10.1109/tifs.2023.3234895"},"language":"en","primary_location":{"id":"doi:10.1109/tifs.2023.3234895","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2023.3234895","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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2301.08806","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085356579","display_name":"Nikolay Ivanov","orcid":"https://orcid.org/0000-0002-2325-2847"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Nikolay Ivanov","raw_affiliation_strings":["Computer Science and Engineering Department, Michigan State University, East Lansing, MI, USA"],"raw_orcid":"https://orcid.org/0000-0002-2325-2847","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering Department, Michigan State University, East Lansing, MI, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084076598","display_name":"Qiben Yan","orcid":"https://orcid.org/0000-0003-0551-2163"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qiben Yan","raw_affiliation_strings":["Computer Science and Engineering Department, Michigan State University, East Lansing, MI, USA"],"raw_orcid":"https://orcid.org/0000-0003-0551-2163","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering Department, Michigan State University, East Lansing, MI, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053449847","display_name":"Anurag Kompalli","orcid":"https://orcid.org/0000-0001-5883-2086"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anurag Kompalli","raw_affiliation_strings":["Computer Science and Engineering Department, Michigan State University, East Lansing, MI, USA"],"raw_orcid":"https://orcid.org/0000-0001-5883-2086","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering Department, Michigan State University, East Lansing, MI, USA","institution_ids":["https://openalex.org/I87216513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5085356579"],"corresponding_institution_ids":["https://openalex.org/I87216513"],"apc_list":null,"apc_paid":null,"fwci":14.7978,"has_fulltext":true,"cited_by_count":33,"citation_normalized_percentile":{"value":0.98916747,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"18","issue":null,"first_page":"1141","last_page":"1155"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998000264167786,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998000264167786,"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/T11424","display_name":"Security and Verification in Computing","score":0.9819999933242798,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9545000195503235,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/blockchain","display_name":"Blockchain","score":0.8480092287063599},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.7766820192337036},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7665112018585205},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.7421523928642273},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7058311700820923},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.6388458013534546},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5291854739189148},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.35075491666793823},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1881769299507141},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.11654391884803772}],"concepts":[{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.8480092287063599},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.7766820192337036},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7665112018585205},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.7421523928642273},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7058311700820923},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.6388458013534546},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5291854739189148},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.35075491666793823},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1881769299507141},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.11654391884803772}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tifs.2023.3234895","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2023.3234895","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:arXiv.org:2301.08806","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2301.08806","pdf_url":"https://arxiv.org/pdf/2301.08806","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":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2301.08806","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2301.08806","pdf_url":"https://arxiv.org/pdf/2301.08806","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":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4316022171.pdf","grobid_xml":"https://content.openalex.org/works/W4316022171.grobid-xml"},"referenced_works_count":53,"referenced_works":["https://openalex.org/W2539190473","https://openalex.org/W2790202156","https://openalex.org/W2805052744","https://openalex.org/W2846896781","https://openalex.org/W2885034081","https://openalex.org/W2888928288","https://openalex.org/W2898652659","https://openalex.org/W2898656313","https://openalex.org/W2908007588","https://openalex.org/W2949557841","https://openalex.org/W2963465913","https://openalex.org/W2963610883","https://openalex.org/W2964144608","https://openalex.org/W2968269657","https://openalex.org/W2979602992","https://openalex.org/W2987160260","https://openalex.org/W2999378142","https://openalex.org/W3008357810","https://openalex.org/W3013497391","https://openalex.org/W3015325345","https://openalex.org/W3016155638","https://openalex.org/W3019893162","https://openalex.org/W3025628692","https://openalex.org/W3034459010","https://openalex.org/W3038512777","https://openalex.org/W3048595931","https://openalex.org/W3092117182","https://openalex.org/W3095431539","https://openalex.org/W3098450669","https://openalex.org/W3120405143","https://openalex.org/W3129190210","https://openalex.org/W3151748982","https://openalex.org/W3155100939","https://openalex.org/W3156428445","https://openalex.org/W3159494182","https://openalex.org/W3174470544","https://openalex.org/W3202168831","https://openalex.org/W3214421193","https://openalex.org/W4235182441","https://openalex.org/W4287827000","https://openalex.org/W4289548059","https://openalex.org/W4308902071","https://openalex.org/W6754374649","https://openalex.org/W6754519360","https://openalex.org/W6757586532","https://openalex.org/W6775382685","https://openalex.org/W6776775275","https://openalex.org/W6777168319","https://openalex.org/W6780194882","https://openalex.org/W6781619225","https://openalex.org/W6790909028","https://openalex.org/W6793285265","https://openalex.org/W6794891352"],"related_works":["https://openalex.org/W3092702943","https://openalex.org/W4297798448","https://openalex.org/W4391241361","https://openalex.org/W4388187043","https://openalex.org/W4285161539","https://openalex.org/W2982625131","https://openalex.org/W4320715980","https://openalex.org/W3122124622","https://openalex.org/W4376606592","https://openalex.org/W2364250032"],"abstract_inverted_index":{"Ethereum":[0,27,93,180,213],"is":[1,30],"a":[2,31,68,89,97,113,165,192],"permissionless":[3],"blockchain":[4,37],"ecosystem":[5],"that":[6,126,217,229],"supports":[7],"execution":[8,85,134,151,200],"of":[9,15,26,53,86,99,101,108,154,179,186,195,206,219,240,258],"smart":[10,28,70,247],"contracts,":[11],"the":[12,24,45,54,63,83,105,118,124,127,132,137,146,155,160,172,184,203,233,246,255,260],"key":[13],"enablers":[14],"decentralized":[16],"finance":[17],"(DeFi)":[18],"and":[19,50,61,215],"non-fungible":[20],"tokens":[21],"(NFT).":[22],"However,":[23],"expressiveness":[25],"contracts":[29],"double-edged":[32],"sword:":[33],"while":[34],"it":[35,39],"enables":[36],"programmability,":[38],"also":[40],"introduces":[41],"security":[42,72],"vulnerabilities,":[43],"i.e.,":[44,123],"exploitable":[46],"discrepancies":[47,60],"between":[48],"expected":[49],"actual":[51,173],"behaviors":[52,235],"contract":[55,71,248],"code.":[56],"To":[57,158,182],"address":[58],"these":[59],"increase":[62],"vulnerability":[64,256],"coverage,":[65],"we":[66,144,163],"propose":[67],"new":[69],"testing":[73,167],"approach":[74,111],"called":[75],"transaction":[76,102,161,166],"encapsulation.":[77],"The":[78],"core":[79],"idea":[80],"lies":[81],"in":[82,245],"local":[84],"transactions":[87,129,196,214],"on":[88,104,202],"fully-synchronized":[90],"yet":[91],"isolated":[92],"node,":[94],"which":[95,170],"creates":[96],"preview":[98],"outcomes":[100,174],"sequences":[103],"current":[106,204],"state":[107,205],"blockchain.":[109,207],"This":[110],"poses":[112],"critical":[114],"technical":[115],"challenge":[116],"\u2014":[117],"well-known":[119],"time-of-check/time-of-use":[120],"(TOCTOU)":[121],"problem,":[122],"assurance":[125],"final":[128],"will":[130],"exhibit":[131],"same":[133],"paths":[135],"as":[136],"encapsulated":[138],"test":[139],"transactions.":[140,157,181],"In":[141,253],"this":[142],"work,":[143],"determine":[145,216],"exact":[147],"conditions":[148],"for":[149],"guaranteed":[150],"path":[152,201],"replicability":[153],"tested":[156],"demonstrate":[159],"encapsulation,":[162],"implement":[164],"tool,":[168],"TxT,":[169],"reveals":[171,232],"(either":[175],"benign":[176],"or":[177],"malicious)":[178],"ensure":[183],"correctness":[185],"testing,":[187],"TxT":[188,230],"deterministically":[189],"verifies":[190],"whether":[191],"given":[193],"sequence":[194],"ensues":[197],"an":[198],"identical":[199],"We":[208,226],"analyze":[209],"over":[210],"1.3":[211],"billion":[212],"96.5%":[218],"them":[220],"can":[221],"be":[222],"verified":[223],"by":[224],"TxT.":[225],"further":[227],"show":[228],"successfully":[231],"suspicious":[234],"associated":[236],"with":[237],"31":[238],"out":[239],"37":[241],"vulnerabilities":[242],"(83.8%":[243],"coverage)":[244],"weakness":[249],"classification":[250],"(SWC)":[251],"registry.":[252],"comparison,":[254],"coverage":[257],"all":[259],"existing":[261],"defense":[262],"approaches":[263],"combined":[264],"only":[265],"reaches":[266],"40.5%.":[267]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":16},{"year":2024,"cited_by_count":11},{"year":2023,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}