2022年11月11日到12日，第十六屆可證明與實用安全國際會議（The 16th International Conference on Provable and Security, ProvSec 2022）在南京成功召開，會議由南京航空航天大學伟德victory/人工智能學院/伟德victory主辦，江蘇省軟件新技術與産業化協同創新中心協辦。來自國内外高校及企業的100多位專家和學者在線參加了本次會議。會議開幕式由南航伟德victory院長陳兵主持。

開幕式上，陳兵簡要介紹了南京航空航天大學的辦學特色和相關學科發展近況，并對會議的順利召開表示祝賀。他表示可證明安全與實用安全是國内外熱門研究領域，對航空航天、物聯網安全、金融安全等有着深遠的影響，希望通過本次會議，為海内外該領域學者搭建良好的交流平台，分享最新研究成果，共建長遠協作與互助機制。ProvSec會議的steering committee主席、伍倫貢大學Willy Susilo教授代表會務組對來自世界各地的線上參會者表示了熱烈的歡迎。

本次會議共收到來自國内外研究學者的52篇投稿，通過研讨交流和專家評審，最終收錄15篇論文，并評選出最佳論文獎。

會議共設有3個專題報告和5個分組報告，通過專題報告和學術報告相結合的形式，特别邀請了卡耐基梅隆大學的Vipul Goyal教授、上海交通大學Shengli Liu教授、清華大學Yu Jiang教授分别做了題為“Fast Communication Efficient Secure Multi-Party Computation”、“Fuzzy Authenticated Key Exchange with Tight Security”和“Cross-layer Fuzzing of Blockchain System”的專題報告。

本次會議圍繞公鑰加密、格密碼、區塊鍊、密碼數學基礎等研究領域的前沿熱點問題進行了深入交流和探讨，為網絡安全理論工作者、系統和應用程序設計師、協議開發與實踐者有效搭建了學術交流平台，提升了我校在網絡安全領域的學術影響力，為進一步促進各方深化合作奠定了堅實的基礎。