1、可证明与实际安全相关研究进展与技术解析

可证明与实际安全相关研究进展与技术解析

1. 会议概述

2023年10月20 - 22日，一场国际会议在武汉举行，该会议聚焦于密码学中的可证明安全性以及信息系统的实际安全性。会议由湖北工业大学主办，中国湖北省智能科学与技术学科人才基地协办。会议旨在为理论研究者、系统与应用设计师、协议开发者和从业者提供一个交流平台，探讨可证明和实际安全领域的当前趋势、挑战及前沿解决方案。其关注的主题广泛，涵盖非对称密码学的可证明安全性、对称密码学的可证明安全性、物理攻击的可证明安全性、隐私与匿名技术、安全加密协议及应用、安全概念、方法和范式、抗泄漏密码学、基于格的密码学和后量子密码学、区块链和加密货币、物联网安全、云安全以及访问控制等。

会议共收到72份投稿，每份投稿至少由三名程序委员会成员或外部评审员进行评审。最终，程序委员会接受了20篇完整论文和3篇简短论文纳入会议议程。

2. 组织架构

会议的组织架构清晰，涉及多个重要角色和职责：
- 程序主席 ：
- 张明武，来自湖北工业大学。
- 区满豪，来自香港理工大学。
- 大会主席 ：
- 宋小春，来自湖北工业大学。
- Willy Susilo，来自澳大利亚卧龙岗大学。
- 叶志伟，来自湖北工业大学。
- 出版主席 ：
- 张宇迪，来自澳大利亚卧龙岗大学。
- 沈华，来自湖北工业大学。
- 李发根，来自电子科技大学。
- 程序委员会成员众多 ：包括来自澳大