报告题目:Smart Contract Analysis
报告人:Xiapu Luo
单位:The Hong Kong Polytechnic University
报告时间:2023年4月7日(周五) 10:00-12:00
报告地点:腾讯会议(会议号:561 421 327)
报告简介:
The support of smart contracts is the landmark of blockchain 2.0, which allows running various applications on the blockchain. Many blockchain systems now support smart contracts. Unfortunately, smart contracts have been exploited unintentionally or intentionally to cause financial damage to users. For instance, vulnerable smart contracts have led to losses amounting to billions of dollars. In this talk, I will introduce our recent studies on identifying various security issues in smart contracts. After that, I will share our experiences in preparing submissions to top security conferences/journals.
报告人简介:
Xiapu Luo is an associate professor in the Department of Computing, The Hong Kong Polytechnic University. His research focuses on Blockchain/smart contracts, Mobile/IoT security and privacy, Network Security and Privacy, and Software Engineering with papers published in top-tier security and software engineering conferences and journals. His research led to ten best/distinguished paper awards, including ACM SIGSOFT Distinguished Paper Award in ISSTA’22, ACM SIGSOFT Distinguished Paper Award in ICSE’21, Best Paper Award in INFOCOM’18, Best Research Paper Award in ISSRE’16, etc. and several awards from the industry. He regularly serves in the program committees of top security and software engineering conferences, and he is currently an associate editor for IEEE/ACM Transactions on Networking (ToN) and IEEE Transactions on Dependable and Secure Computing (TDSC).