報告題目: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).