形式化验证Formal verification形式化验证提供了对密码学实现正确性的数学证明，适用于所有输入，包括意外和恶意输入。近日，Google的安全研究团队在其博客上表示，作为后量子密码进展的下一阶段，Google正在与Cryspen合作，生产形式化验证的NIST选定后量子算法的实现。以下为博客原文——美国国家标准与技术研究院（NIST）官方发布的后量子密码学（PQC）标准标志着在保护...

区块链是去中心化的分布式记账系统。系统中的节点无需互相信任，通过统一的共识机制共同维护一份账本，每个节点都有一份完整的数据记录。区块链 Block chain，成块（block）的交易通过密码学算法连接在一起，使得整个账本公开透明、可追踪、不可篡改。#01·· 区块链的优势 ··区块链的优势主要体现在以下几个方面：1.去中心化：区块链采用分布式账本技术，无需中心化的信任机构或中介来管理数据。...

2024年8月19日，由新加坡理工大学国际合作部助理主任Joseph Ng Hong Sin、David Sanan教授、Wendy Hui教授和新加坡理工大学19名学生组成的访问团队莅临我司参观交流。此次访问不仅是新加坡理工大学与望安科技深化校企合作、共谋未来发展的重要契机，更是双方搭建国际交流平台、互鉴研讨与合作共赢的重大机遇。望安科技和浙江人才大厦对新加坡理工大学的到访表示了高度重视和...

NEWS新闻2024华为形式化方法研讨会2024年8月1日，华为可信领域科学家委员会、华为软件领域科学家委员会、华为可信理论、技术与工程实验室和华为费马实验室在贵安云上屯举办了为期两天的2024 华为形式化方法研讨会。本次研讨会聚焦“智能时代下的形式化验证技术”，探讨智能时代下形式化方法的发展前景及其应用。研讨会邀请了国内外的30余位形式化方法领域的顶尖专家和学者，专家学者们齐聚一堂，围绕形...