团队由国际顶级安全微内核专家、芯片级安全工程师构成
安全微内核、安全虚拟化、TEE经验平均10年以上
国内率先实现微内核级TEE产品落地及商业化应用
国内率先融合模型检测与数学证明方法,实现自动形式化证明的测试框架
在金融支付、智能汽车以及隐私计算等领域,提供端到端可信安全方案,并率先实现商业化落地
率先提出Secure SOA架构,为不同行业提供标准化、模块化的技术方案,以满足相应合规需求
基于核心技术与成功商业化落地经验,多项国家及重要行业标准化工作的主要贡献者