摘　要：计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现，一旦发生问题，会造成不可估量的安全问题。形式化验证基于严格的数学推导基础，采用语言...

近日，深圳红途科技有限公司（以下简称“红途科技”）宣布获得数千万元的Pre-A轮融资。本轮融资由元起资本领投，微村智科和老股东红杉中国种子基金跟投，云岫资本担任独家财务顾问。...

零零信安成立于2020年，由一群在网络攻防一线深耕细作多年的安全专家和技术人员组成，公司坚持“防微杜渐，未雨绸缪”的理念，专注于“弱点/漏洞优先级技术（VPT）”和“攻击面管理（ASM）...

11月1日，派拉软件宣布完成数亿元人民币的D轮融资。本轮融资由国方资本领投，老股东高瓴创投、中金启辰、盛万资本持续跟投，并获得了新股东张江集团、创业接力集团、上海国际资管...

中国人民银行于近日召开2020年反洗钱工作电视电话会议。会议指出，要充分发挥反洗钱的重要作用，以《反洗钱法》修改为主线，全面完善反洗钱制度体系，在国务院金融委指导下，进一步加...

北京丁牛科技有限公司（以下简称：丁牛科技）于近日完成了数千万元***Pre-A轮融资，由勃尔金投资领投。本轮融资完成后，丁牛科技投后估值将达2.5亿元。本轮融资资金将用于强化丁牛科...

作为国内唯一入选《2019 Gartner 中国数字业务创新型厂商》的物联网安全企业，继去年获得由百度风投（BV）领投的A轮融资后，青莲云近日宣布获得3000万元A+轮融资，本轮融资由琥珀资本...

Gartner的研究表明，全球35%的企业认为安全是物联网部署获得成功的最大阻碍因素。2020年，会有超过1/4的安全入侵事件与物联网相关。 物联网安全是互联网安全的延伸，带来更多新...