default search action

combined dblp search
author search
venue search
publication search

ask others

Han Liu 0010

刘浛

> Home > Persons

Person information

unicode name: 刘浛
affiliation: Oxford-Hainan Blockchain Research Institute, Haikou, China
affiliation (PhD 2017): Tsinghua University, School of Software, Key Laboratory for Information System Security, Beijing, China
affiliation (former): Beijing University of Posts and Telecommunications, School of Software Engineering, Beijing, China

Other persons with the same name

see FAQ

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jpdc/LiLGZGC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/LiLGZGC24
Yue Li, Han Liu, Jianbo Gao, Jiashuo Zhang, Zhi Guan, Zhong Chen:
Accelerating block lifecycle on blockchain via hardware transactional memory. J. Parallel Distributed Comput. 184: 104779 (2024)
2023
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/aei/LiuSGZLG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aei/LiuSGZLG23
Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu:
Modeling and validating temporal rules with semantic Petri net for digital twins. Adv. Eng. Informatics 57: 102099 (2023)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/aei/LiuGZLSG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aei/LiuGZLSG23
Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu:
MVDLite: A fast validation algorithm for Model View Definition rules. Adv. Eng. Informatics 58: 102132 (2023)
2022
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tnsm/WangZBSLLC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnsm/WangZBSLLC22
Qinghao Wang, Yongxin Zhang, Zijian Bao, Wenbo Shi, Hong Lei, Han Liu, Bangdao Chen:
SorTEE: Service-Oriented Routing for Payment Channel Networks With Scalability and Privacy Protection. IEEE Trans. Netw. Serv. Manag. 19(4): 3764-3780 (2022)
2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/JiangSYLGGSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/JiangSYLGGSS19
Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha:
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst. 3(1): 12:1-12:31 (2019)
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/JiangLSKWGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/JiangLSKWGS18
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha:
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. 19(10): 3320-3333 (2018)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/LiuLPGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/LiuLPGG17
Han Liu, Yu-Shen Liu, Pieter Pauwels, Hongling Guo, Ming Gu:
Enhanced Explicit Semantic Analysis for Product Model Retrieval in Construction Industry. IEEE Trans. Ind. Informatics 13(6): 3361-3369 (2017)
2015
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/JiangZZLSGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/JiangZZLSGS15
Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. 26(8): 2220-2232 (2015)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/RenWLLVL0C22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/RenWLLVL0C22
Qian Ren, Yingjun Wu, Han Liu, Yue Li, Anne Victor, Hong Lei, Lei Wang, Bangdao Chen:
Cloak: Transitioning States on Legacy Blockchains Using Secure and Publicly Verifiable Off-Chain Multi-Party Computation. ACSAC 2022: 117-131
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icbc2/LiuZCR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icbc2/LiuZCR22
Han Liu, Huafeng Zhang, Bangdao Chen, A. W. Roscoe:
Committable: A Decentralised and Trustless Open-Source Protocol. ICBC 2022: 1-2
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LiuWWZL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LiuWWZL22
Han Liu, Xufei Wang, Bin Wang, Huixuan Zheng, Xuchao Liu:
TMI: tokenomics made easy for web3 applications. MoDELS (Companion) 2022: 71-76
2021
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/LiLCGWGC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/LiLCGWGC21
Yue Li, Han Liu, Yuanliang Chen, Jianbo Gao, Zhenhao Wu, Zhi Guan, Zhong Chen:
FASTBLOCK: Accelerating Blockchains via Hardware Transactional Memory. ICDCS 2021: 250-260
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/RenLLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/RenLLL21
Qian Ren, Han Liu, Yue Li, Hong Lei:
Demo: Cloak: A Framework For Development of Confidential Blockchain Smart Contracts. ICDCS 2021: 1102-1105
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Wang0LYRZL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Wang0LYRZL21
Bin Wang, Han Liu, Chao Liu, Zhiqiang Yang, Qian Ren, Huixuan Zheng, Hong Lei:
BLOCKEYE: Hunting for DeFi Attacks on Blockchain. ICSE (Companion Volume) 2021: 17-20
2020
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/Li0YRWC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/Li0YRWC20
Yue Li, Han Liu, Zhiqiang Yang, Qian Ren, Lei Wang, Bangdao Chen:
SafePay on Ethereum: A Framework For Detecting Unfair Payments in Smart Contracts. ICDCS 2020: 1219-1222
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/YangLLZWC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/YangLLZWC20
Zhiqiang Yang, Han Liu, Yue Li, Huixuan Zheng, Lei Wang, Bangdao Chen:
Seraph: enabling cross-platform security analysis for EVM and WASM smart contracts. ICSE (Companion Volume) 2020: 21-24
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/Li0YWRWC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/Li0YWRWC20
Yue Li, Han Liu, Zhiqiang Yang, Bin Wang, Qian Ren, Lei Wang, Bangdao Chen:
Protect Your Smart Contract Against Unfair Payment. SRDS 2020: 61-70
2019
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GaoLLLGC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GaoLLLGC19
Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, Zhong Chen:
EasyFlow: keep ethereum away from overflow. ICSE (Companion Volume) 2019: 23-26
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/LiuYJZS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/LiuYJZS19
Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun:
Enabling clone detection for ethereum via smart contract birthmarks. ICPC 2019: 105-115
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/GaoLLLYLGC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/GaoLLLYLGC19
Jianbo Gao, Han Liu, Yue Li, Chao Liu, Zhiqiang Yang, Qingshan Li, Zhi Guan, Zhong Chen:
Towards automated testing of blockchain-based decentralized applications. ICPC 2019: 294-299
[c22]
- view
- export record
  dblp key:
  - conf/nips/LiuHL019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/LiuHL019
Han Liu, Zhizhong Han, Yu-Shen Liu, Ming Gu:
Fast Low-rank Metric Learning for Large-scale and High-dimensional Data. NeurIPS 2019: 817-827
2018
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangLC0JLZS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangLC0JLZS18
Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun:
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. ICSE (Companion Volume) 2018: 61-64
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LiuLCCCR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LiuLCCCR18
Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, Bill Roscoe:
ReGuard: finding reentrancy bugs in smart contracts. ICSE (Companion Volume) 2018: 65-68
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GaoYJLYS018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GaoYJLYS018
Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu:
Managing concurrent testing of data race with ComRaDe. ISSTA 2018: 364-367
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LiuLZJS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LiuLZJS18
Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun:
S-gram: towards semantic-aware security auditing for Ethereum smart contracts. ASE 2018: 814-819
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/GaoYJLYZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/GaoYJLYZ18
Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Xian Zhang:
Jbench: a dataset of data races for concurrency testing. MSR 2018: 6-9
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LiuYLJZS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LiuYLJZS18
Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun:
EClone: detect semantic clones in Ethereum via symbolic transaction sketch. ESEC/SIGSOFT FSE 2018: 900-903
2017
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/JiangWLHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/JiangWLHS17
Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun:
Dependable integrated clinical system architecture with runtime verification. ICCAD 2017: 951-956
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LiuSSJGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LiuSSJGS17
Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun:
Stochastic optimization of program obfuscation. ICSE 2017: 221-231
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/YangJ0SGL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/YangJ0SGL17
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu:
A language model for statements of software code. ASE 2017: 682-687
2016
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/JiangLSKGSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/JiangLSKGSS16
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha:
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM 2016: 757-763
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LiuJZGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LiuJZGS16
Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun:
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. FM 2016: 764-771
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JiangLKWHSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JiangLKWHSS16
Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha:
Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) 2016: 112-121
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Liu16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Liu16
Han Liu:
Towards better program obfuscation: optimization via language models. ICSE (Companion Volume) 2016: 680-682
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhangJLZGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhangJLZGS16
Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun:
Model driven design of heterogeneous synchronous embedded systems. ASE 2016: 774-779
[c7]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/ZhangJLGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ZhangJLGS16
Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun:
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. D&P@MoDELS 2016: 32-39
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/JiangYLKGSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/JiangYLKGSS16
Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha:
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. RTAS 2016: 231-241
2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JiangZZZLSSGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JiangZZZLSSGS14
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. SIGSOFT FSE 2014: 711-714
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/LiuZJSGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/LiuZJSGS14
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE 2014: 131-134
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/LiuZJSGS14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/LiuZJSGS14a
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. TASE 2014: 193-200
2013
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JiangZLSHGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JiangZLSHGS13
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE 2013: 695-698
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ccis/LiuLJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccis/LiuLJ11
Han Liu, Jie Li, Hongwei Jia:
The design of indoor emergency management system based on wireless location. CCIS 2011: 530-535

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-14931
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-14931
Han Liu, Ge Gao, Ming Gu:
A Parallel IFC Normalization Algorithm for Incremental Storage and Version Control. CoRR abs/2312.14931 (2023)
2022
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-10206
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-10206
Qian Ren, Yingjun Wu, Yue Li, Han Liu, Hong Lei, Lei Wang, Bangdao Chen:
TENET: Towards Self-sovereign and Fair Multi-party Computation Ecology Empowered by Decentralized TEE Network. CoRR abs/2202.10206 (2022)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-04741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-04741
Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu:
Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins. CoRR abs/2203.04741 (2022)
2021
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-02873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-02873
Bin Wang, Han Liu, Chao Liu, Zhiqiang Yang, Qian Ren, Huixuan Zheng, Hong Lei:
BLOCKEYE: Hunting For DeFi Attacks on Blockchain. CoRR abs/2103.02873 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-13460
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-13460
Qian Ren, Han Liu, Yue Li, Hong Lei:
CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts. CoRR abs/2106.13460 (2021)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-13926
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-13926
Qian Ren, Han Liu, Yue Li, Hong Lei, Lei Wang, Bangdao Chen:
CLOAK: Towards Practical Development and Deployment of Confidential Smart Contracts. CoRR abs/2106.13926 (2021)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-00346
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-00346
Han Liu, Pedro Antonino, Zhiqiang Yang, Chao Liu, A. W. Roscoe:
Trusted And Confidential Program Analysis. CoRR abs/2112.00346 (2021)
2019
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-06297
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-06297
Han Liu, Zhizhong Han, Yu-Shen Liu, Ming Gu:
Fast Low-rank Metric Learning for Large-scale and High-dimensional Data. CoRR abs/1909.06297 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-06997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-06997
Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu:
MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications. CoRR abs/1909.06997 (2019)
2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-03814
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-03814
Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, Zhong Chen:
EASYFLOW: Keep Ethereum Away From Overflow. CoRR abs/1811.03814 (2018)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.