{"id":"https://openalex.org/W2982497288","doi":"https://doi.org/10.1007/978-3-030-32409-4_8","title":"Towards Verifying Ethereum Smart Contracts at Intermediate Language Level","display_name":"Towards Verifying Ethereum Smart Contracts at Intermediate Language Level","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2982497288","doi":"https://doi.org/10.1007/978-3-030-32409-4_8","mag":"2982497288"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-32409-4_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-32409-4_8","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5101640149","display_name":"Ximeng Li","orcid":"https://orcid.org/0000-0003-3708-4255"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ximeng Li","raw_affiliation_strings":["Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China","Beijing Key Laboratory of Electronic System Reliability and Prognostics, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"Beijing Key Laboratory of Electronic System Reliability and Prognostics, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102018260","display_name":"Zhiping Shi","orcid":null},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiping Shi","raw_affiliation_strings":["Beijing Key Laboratory of Electronic System Reliability and Prognostics, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Key Laboratory of Electronic System Reliability and Prognostics, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088404530","display_name":"Qianying Zhang","orcid":"https://orcid.org/0000-0002-3246-9474"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qianying Zhang","raw_affiliation_strings":["Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100642258","display_name":"Guohui Wang","orcid":"https://orcid.org/0000-0002-3176-317X"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guohui Wang","raw_affiliation_strings":["Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087366755","display_name":"Yong Guan","orcid":"https://orcid.org/0000-0002-2373-2779"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Guan","raw_affiliation_strings":["Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China","International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057073729","display_name":"Ning Han","orcid":"https://orcid.org/0000-0002-0654-6026"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ning Han","raw_affiliation_strings":["Beijing Key Laboratory of Electronic System Reliability and Prognostics, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Key Laboratory of Electronic System Reliability and Prognostics, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101640149"],"corresponding_institution_ids":["https://openalex.org/I96852419"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.6698,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.9356024,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"121","last_page":"137"},"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.9879000186920166,"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/T10237","display_name":"Cryptography and Data Security","score":0.9796000123023987,"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/computer-science","display_name":"Computer science","score":0.8646045923233032},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6637200117111206},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.6276711225509644},{"id":"https://openalex.org/keywords/hol","display_name":"HOL","score":0.6266957521438599},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.6152709722518921},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.605036735534668},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5373977422714233},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.42810940742492676},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3249688446521759},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.24957796931266785},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.19955649971961975}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8646045923233032},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6637200117111206},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.6276711225509644},{"id":"https://openalex.org/C17435882","wikidata":"https://www.wikidata.org/wiki/Q17030435","display_name":"HOL","level":2,"score":0.6266957521438599},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.6152709722518921},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.605036735534668},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5373977422714233},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.42810940742492676},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3249688446521759},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.24957796931266785},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.19955649971961975}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-32409-4_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-32409-4_8","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1571434026","https://openalex.org/W1924116124","https://openalex.org/W2111619838","https://openalex.org/W2539190473","https://openalex.org/W2604844934","https://openalex.org/W2769609281","https://openalex.org/W2778144710","https://openalex.org/W2781966444","https://openalex.org/W2788841915","https://openalex.org/W2790202156","https://openalex.org/W2794771943","https://openalex.org/W2804791132","https://openalex.org/W2805052744","https://openalex.org/W2884898944","https://openalex.org/W2885034081","https://openalex.org/W2892520153","https://openalex.org/W2898652659","https://openalex.org/W2954438468","https://openalex.org/W2978648132","https://openalex.org/W2980424880","https://openalex.org/W3104720502","https://openalex.org/W4250728693","https://openalex.org/W4255703437"],"related_works":["https://openalex.org/W1500133066","https://openalex.org/W2585743557","https://openalex.org/W1594958113","https://openalex.org/W2498312814","https://openalex.org/W2477568018","https://openalex.org/W2166178773","https://openalex.org/W2111870610","https://openalex.org/W2973427087","https://openalex.org/W1482720120","https://openalex.org/W1937494301"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}