面向计算机并发程序的形式化验证方法设计 27 Apr, 2022 行业新闻 摘 要:计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题。形式化验证基于严格的数学推导基础,采用语言... Read More
红途科技完成数千万元Pre-A轮融资 15 Dec, 2021 行业新闻 近日,深圳红途科技有限公司(以下简称“红途科技”)宣布获得数千万元的Pre-A轮融资。本轮融资由元起资本领投,微村智科和老股东红杉中国种子基金跟投,云岫资本担任独家财务顾问。... Read More
漏洞优先级厂商零零信安完成千万级天使轮融资,奇安基金独家投资 15 Dec, 2021 行业新闻 零零信安成立于2020年,由一群在网络攻防一线深耕细作多年的安全专家和技术人员组成,公司坚持“防微杜渐,未雨绸缪”的理念,专注于“弱点/漏洞优先级技术(VPT)”和“攻击面管理(ASM)... Read More
派拉软件完成数亿元D轮融资 15 Dec, 2021 行业新闻 11月1日,派拉软件宣布完成数亿元人民币的D轮融资。本轮融资由国方资本领投,老股东高瓴创投、中金启辰、盛万资本持续跟投,并获得了新股东张江集团、创业接力集团、上海国际资管... Read More
谷安咨询 | 谷安推出反洗钱和反恐怖融资咨询业务 07 May, 2020 行业新闻 中国人民银行于近日召开2020年反洗钱工作电视电话会议。会议指出,要充分发挥反洗钱的重要作用,以《反洗钱法》修改为主线,全面完善反洗钱制度体系,在国务院金融委指导下,进一步加... Read More
用AI赋能网安,丁牛科技完成数千万Pre-A轮融资 06 Nov, 2019 行业新闻 北京丁牛科技有限公司(以下简称:丁牛科技)于近日完成了数千万元***Pre-A轮融资,由勃尔金投资领投。本轮融资完成后,丁牛科技投后估值将达2.5亿元。本轮融资资金将用于强化丁牛科... Read More
喜讯 | 青莲云完成A+轮融资 18 Sep, 2019 行业新闻 作为国内唯一入选《2019 Gartner 中国数字业务创新型厂商》的物联网安全企业,继去年获得由百度风投(BV)领投的A轮融资后,青莲云近日宣布获得3000万元A+轮融资,本轮融资由琥珀资本... Read More
软件定义物联网业务安全,青莲云完成数千万元A轮融资 30 Aug, 2018 行业新闻 Gartner的研究表明,全球35%的企业认为安全是物联网部署获得成功的最大阻碍因素。2020年,会有超过1/4的安全入侵事件与物联网相关。 物联网安全是互联网安全的延伸,带来更多新... Read More