应bat365在线平台官网李萌副研究员的邀请,2023年4月7日,香港理工大学的Xiapu Luo教授在线上为bat365官网师生做了题为“Smart Contract Analysis”的学术报告。李萌老师主持了本次报告会,学院相关研究方向的老师和学生参加了报告会。
在报告会上,Luo教授介绍了其科研团队的最新科研成果,包括智能合约分析、车联网安全和隐私保护,也分享了他和团队成员在安全顶会和顶刊上发表论文的宝贵经验。Luo教授还对当前数据安全和隐私保护的主要挑战和公开问题进行了讨论。在报告会结束后,李萌老师和樊玉琦老师与Luo教授讨论了形式化证明和研究生培养模式等问题。
Xiapu Luo教授长期从事数据安全和隐私保护的研究工作,谷歌学术被引次数超过10000。他的研究兴趣领域包括区块链、智能合约、移动安全和隐私、物联网安全和隐私。

