韩流(Han Liu) 0010
人员信息
unicode名称: 刘浛 附属: 牛津-海南区块链研究所,中国海口 从属关系(2017年博士): 清华大学软件学院信息系统安全重点实验室,中国北京 隶属关系(前): 北京邮电大学软件工程学院,中国北京
其他同名人员
韩流(Han Liu) — 消歧页 韩流(Han Liu) 0001 — 美国伊利诺伊州埃文斯顿西北大学 (还有4个) Han Liu(刘汉) 0002 — 中国广东深圳大学 (还有2个以上) 韩流(Han Liu) 0003 -沙特阿拉伯图瓦尔阿卜杜拉国王科技大学 韩流(Han Liu) 0004 -中国交通科学与工程学院哈尔滨工业大学 韩流(Han Liu) 0005 -中山大学地理与规划学院、广东省城市化与地理模拟重点实验室、中国广州 韩流(Han Liu) 0006 — 中国南京东南大学电气工程学院 (还有1个) 韩流(Han Liu) 0007 — 西安理工大学自动化与信息工程学院,中国西安 (还有1个) 韩流(Han Liu) 0008 — 大连理工大学软件学院,中国大连 (还有1个) 韩流(Han Liu) 0009 -上海海事大学信息工程学院,中国上海 韩流(Han Liu) 0011 -AMD公司,中国北京 韩流(Han Liu) 0012 — 香港科技大学 (还有1个)
优化列表
2020年–今天
2024 [j8] 岳丽 , Han Liu(刘汉) , 高建波 , 张佳硕 , 直管 , 钟晨 :
通过硬件事务内存加速区块链上的区块生命周期。 J.并行分布式计算。 184 : 104779 ( 2024 ) 2023 [j7] 韩流(Han Liu) , 宋晓宇 , 葛高 , 张荷华 , 刘玉申 , 明古 :
使用语义Petri网为数字双胞胎建模和验证时间规则。 高级工程信息学 57 : 102099 ( 2023 ) [j6] 韩流(Han Liu) , 葛高 , 张荷华 , 刘玉申 , 严嵩 , 明古 :
MVDLite:模型视图定义规则的快速验证算法。 高级工程信息学 58 : 102132 ( 2023 ) [i10] 韩流(Han Liu) , 葛高 , 明古 :
一种用于增量存储和版本控制的并行IFC规范化算法。 CoRR公司 abs/2312.14931 ( 2023 ) 2022 [j5] 王庆浩 , 张永新 , 紫剑包 , 《文博石》 , 洪磊 , 韩流(Han Liu) , 陈邦道 :
SorTEE:面向服务的支付渠道网络路由,具有可扩展性和隐私保护。 IEEE传输。 Netw公司。 服务。 管理。 19 ( 4 ) : 3764-3780 ( 2022 ) [公元34年] 钱仁 , 吴英俊 , 韩流(Han Liu) , 岳丽 , 安妮·维克多 , 洪磊 , 王磊(Lei Wang) , 陈邦道 :
外衣:使用安全且公开可验证的链外多方计算在遗留区块链上转换状态。 痤疮 2022 : 117-131 [公元33年] 韩流(Han Liu) , 张华峰 , 陈邦道 , A.W.罗斯科 :
可提交:一个分散且无信任的开源协议。 中国工商银行 2022 : 1-2 [公元32年] 韩流(Han Liu) , 王旭飞 , Bin Wang(王斌) , 郑慧萱 , 刘旭超 :
TMI:标记基因组学为web3应用程序提供了便利。 MoDELS(伴侣) 2022 : 71-76 [第九章] 钱仁 , 吴英俊 , 岳丽 , 韩流(Han Liu) , 洪磊 , 王磊(Lei Wang) , 陈邦道 :
TENET:通过分散的TEE网络实现自治和公平的多党计算生态。 CoRR公司 abs/2202.10206 ( 2022 ) [i8] 韩流(Han Liu) , 宋晓宇 , 葛高 , 张荷华 , 刘玉申 , 顾明 :
基于语义Petri网的数字双胞胎时态规则建模与验证。 CoRR公司 abs/2203.04741 ( 2022 ) 2021 [公元31年] 岳丽 , Han Liu(刘汉) , 陈元良 , 高建波 , 吴振浩 , 直管 , 钟晨 :
FASTBLOCK:通过硬件事务内存加速区块链。 ICDCS系统 2021 : 250-260 [公元30年] 钱仁 , 韩流(Han Liu) , 岳丽 , 洪磊 :
演示:外衣:机密区块链智能合约开发框架。 ICDCS系统 2021 : 1102-1105 [公元29年] Bin Wang(王斌) , 韩流(Han Liu) , 刘超(Chao Liu) , 杨志强 , 钱仁 , 郑慧萱 , 洪磊 :
BLOCKEYE:寻找区块链上的DeFi攻击。 ICSE(配套卷) 2021 : 17-20 [i7] Bin Wang(王斌) , 韩流(Han Liu) , 刘超(Chao Liu) , 杨志强 , 钱仁 , 郑慧萱 , 洪磊 :
BLOCKEYE:寻找区块链上的DeFi攻击。 CoRR公司 abs/2103.02873 ( 2021 ) [i6] 钱仁 , 韩流(Han Liu) , 岳丽 , 洪磊 :
CLOAK:机密区块链智能合约开发框架。 CoRR公司 abs/2106.13460 ( 2021 ) [i5] 钱仁 , 韩流(Han Liu) , 岳丽 , 洪磊 , 王磊(Lei Wang) , 陈邦道 :
CLOAK:面向机密智能合约的实际开发和部署。 CoRR公司 abs/2106.13926 ( 2021 ) [i4] 韩流(Han Liu) , 佩德罗·安东尼诺 , 杨志强 , 刘超(Chao Liu) , A.W.罗斯科 :
可信且机密的程序分析。 CoRR公司 abs/2112.00346 ( 2021 ) 2020 [公元28年] 岳丽 , 韩流(Han Liu) , 杨志强 , 钱仁 , 王磊(Lei Wang) , 陈邦道 :
以太坊安全支付:检测智能合约中不公平支付的框架。 ICDCS系统 2020 : 1219-1222 [公元27年] 杨志强 , 韩流(Han Liu) , 岳丽 , 郑慧萱 , 王磊(Lei Wang) , 陈邦道 :
Seraph:支持EVM和WASM智能合约的跨平台安全分析。 ICSE(配套卷) 2020 : 21-24 [公元26年] 岳丽 , 韩流(Han Liu) , 杨志强 , Bin Wang(王斌) , 钱仁 , 王磊(Lei Wang) , 陈邦道 :
保护您的智能合同免受不公平支付。 SRDS公司 2020 : 61-70
2010 – 2019
2019 【j4】 余江 , 侯炳松 , 杨一笑 , 韩流(Han Liu) , 顾明 , 永冠 , 孙嘉光 , Lui Sha先生 :
CPS的可靠模型驱动开发:从状态流模拟到验证实现。 ACM事务处理。 网络物理。 系统。 三 ( 1 ) : 12:1-12:31 ( 2019 ) [公元25年] 高建波 , 韩流(Han Liu) , 刘超(Chao Liu) , 李青山 , 志关 , 钟晨 :
EasyFlow:防止以太坊溢出。 ICSE(配套卷) 2019 : 23-26 [公元24年] 韩流(Han Liu) , 杨志强 , 余江 , 赵文琦 , 孙嘉光 :
通过智能合约胎记启用以太坊克隆检测。 国际刑警组织 2019 : 105-115 【c23】 高建波 , 韩流(Han Liu) , 岳丽 , 刘超(Chao Liu) , 杨志强 , 李青山 , 直管 , 钟晨 :
面向基于区块链的分散式应用程序的自动化测试。 国际刑警组织 2019 : 294-299 [公元22年] 韩流(Han Liu) , 韩志忠 , 刘玉申 , 明古 :
大尺度和高维数据的快速低秩度量学习。 NeurIPS公司 2019 : 817-827 [i3] 韩流(Han Liu) , 韩志忠 , 刘玉申 , 顾明 :
大尺度和高维数据的快速低秩度量学习。 CoRR公司 abs/1909.06297 ( 2019 ) [i2] 韩流(Han Liu) , 葛高 , 张荷华 , 刘玉申 , 严嵩 , 明古 :
MVDLite:模型视图定义的轻量级表示,用于BIM应用程序的快速验证。 CoRR公司 abs/1909.06997 ( 2019 ) 2018 [j3] 余江 , 韩流(Han Liu) , 侯炳松 , 香港汇 , 王瑞(Rui Wang) , 永冠 , Lui Sha先生 :
多功能车辆总线控制器的安全保证模型驱动设计。 IEEE传输。 智力。 运输。 系统。 19 ( 10 ) : 3320-3333 ( 2018 ) [c21] 王明哲 , 梁杰(音译) , 陈元良 , 余江 , 荀郊 , Han Liu(刘汉) , 赵锡斌 , 孙嘉光 :
SAFL:通过符号执行和引导模糊化增加和加速测试覆盖率。 ICSE(配套卷) 2018 : 61-64 [公元20年] 刘超(Chao Liu) , 韩流(Han Liu) , 赵操 , 钟晨 , 陈邦道 , 比尔·罗斯科 :
ReGuard:在智能合约中发现重入错误。 ICSE(配套卷) 2018 : 65-68 [第19条] Jian Gao公司 , 辛阳 , 余江 , 韩流(Han Liu) , 魏良英 , 想要太阳 , 明古 :
使用ComRaDe管理数据竞争的并发测试。 ISSTA公司 2018 : 364-367 [第18条] 韩流(Han Liu) , 刘超(Chao Liu) , 赵文琦 , 余江 , 孙嘉光 :
S-gram:面向以太坊智能合约的语义感知安全审计。 ASE公司 2018 : 814-819 [第17条] Jian Gao公司 , 辛阳 , 余江 , 韩流(Han Liu) , 魏良英 , 西安张 :
Jbench:用于并发测试的数据竞赛数据集。 汽水分离再热器 2018 : 6-9 [第16条] 韩流(Han Liu) , 杨志强 , 刘超(Chao Liu) , 余江 , 赵文琦 , 孙嘉光 :
EClone:通过符号事务草图检测以太坊中的语义克隆。 ESEC/SIGSOFT FSE 2018 : 900-903 [i1] 高建波 , 韩流(Han Liu) , 刘超(Chao Liu) , 李青山 , 直管 , 钟晨 :
EASYFLOW:让以太坊远离溢出。 CoRR公司 abs/1811.03814 ( 2018 ) 2017 [注2] 韩流(Han Liu) , 刘玉申 , 彼得·鲍威尔 , 郭红玲 , 明古 :
建筑行业产品模型检索的增强显式语义分析。 IEEE传输。 工业信息学 13 ( 6 ) : 3361-3369 ( 2017 ) [第15条] 余江 , 王明哲 , 韩流(Han Liu) , 部长霍西尼 , 孙嘉光 :
具有运行时验证的可靠集成临床系统架构。 国际计算机辅助设计协会 2017 : 951-956 [第14条] 韩流(Han Liu) , 孙成年 , 苏振东 , 余江 , 顾明 , 孙嘉光 :
程序混淆的随机优化。 ICSE公司 2017 : 221-231 [第13条] 杨一笑 , 余江 , 顾明 , 孙嘉光 , Jian Gao公司 , 韩流(Han Liu) :
软件代码语句的语言模型。 ASE公司 2017 : 682-687 2016 [c12] 余江 , 韩流(Han Liu) , 侯炳松 , 香港汇 , 顾明 , 孙嘉光 , Lui Sha先生 :
多功能车辆总线控制器的安全保证形式化模型驱动设计。 FM公司 2016 : 757-763 [第11条] 韩流(Han Liu) , 余江 , 张华峰 , 明古 , 孙嘉光 :
用于验证工业多功能车辆总线控制器的缓和中断。 FM公司 2016 : 764-771 [第10条] 余江 , 韩流(Han Liu) , 香港汇 , 王瑞(Rui Wang) , 部长霍西尼 , 贾光孙 , Lui Sha先生 :
使用运行时验证来提高医疗保健实践的质量。 ICSE(配套卷) 2016 : 112-121 【c9】 韩流(Han Liu) :
实现更好的程序混淆:通过语言模型进行优化。 ICSE(配套卷) 2016 : 680-682 【c8】 张华峰 , 余江 , 韩流(Han Liu) , 张荷华 , 明古 , 贾光孙 :
异构同步嵌入式系统的模型驱动设计。 ASE公司 2016 : 774-779 【c7】 张华峰 , 余江 , 韩流(Han Liu) , 明古 , 孙嘉光 :
Tsmart-BIPEX:软件系统集成图形设计工具包。 MoDELS的D&P 2016 : 32-39 【c6】 余江 , 杨一笑 , 韩流(Han Liu) , Hui Kong公司 , 明古 , 贾光孙 , Lui Sha先生 :
从状态流仿真到验证实现:验证方法和实时列车控制器设计。 RTAS公司 2016 : 231-241 2015 [j1] 余江 , 张荷华 , 张华峰 , 韩流(Han Liu) , 宋晓宇 , 明古 , 孙嘉光 :
多时钟混合同步/异步系统的设计。 IEEE传输。 并行分布式系统。 26 ( 8 ) : 2220-2232 ( 2015 ) 2014 【c5】 余江 , 张荷花 , 张华峰 , 赵新燕 , 韩流(Han Liu) , 孙成年 , 宋晓宇 , 顾明 , 贾光孙 :
Tsmart-GalsBlock:一个用于多锁嵌入式系统建模、验证和合成的工具包。 SIGSOFT FSE公司 2014 : 711-714 【c4】 韩流(Han Liu) , 张荷华 , 余江 , 宋晓宇 , 明古 , 孙嘉光 :
通过可调度性分析选择嵌入式系统的特定应用架构。 TASE公司 2014 : 131-134 【c3】 韩流(Han Liu) , 张荷华 , 余江 , 宋晓宇 , 明古 , 贾光孙 :
iDola:中断驱动系统验证和实现的桥梁建模。 TASE公司 2014 : 193-200 2013 【c2】 余江 , 张荷华 , 韩流(Han Liu) , 宋晓宇 , 威廉·N.洪 , 明古 , 孙嘉光 :
基于梯形图程序运行时分析的系统可靠性计算。 ESEC/SIGSOFT FSE 2013 : 695-698 2011 【c1】 韩流(Han Liu) , 李杰(音译) , 贾宏伟 :
基于无线定位的室内应急管理系统的设计。 CCIS公司 2011 : 530-535