机密计算是一种利用可信执行环境来保护计算中的数据和代码的完整性和机密性的计算范式。随着可信执行环境在主流通用处理器上的普及，机密计算将在解决系统安全和数据安全方面起到关键作用。

Teecert Labs旨在为机密计算打造“安全底座”，研究方向包括:

(1)可信执行环境自身的硬件安全，例如可信执行环境的安全架构、侧信道攻击和防御。

(2)利用可信执行环境构建安全可信的机密计算架构，例如机密区块链，机密云服务和隐私计算平台。

(3)面向机密计算的软件漏洞的自动检测和代码分析。

计算机系统安全是实现云计算和物联网安全的基石。计算机系统安全包括硬件安全和软件安全两个重要组成部分。Teecert Labs的研究涉及云、边、端多个应用场景，包括硬件安全和软件安全领域的多个方向：

(1)通用处理器的安全漏洞分析。

(2)基于硬件特性的系统和软件防护。

(3)软件漏洞的自动化分析。

区块链能够实现一个分布式账本，是构建去中心信任的基础。区块链安全包括P2P网络、分布式共识，密码学，智能合约等多个组成部分。Teecert Labs的研究涉及区块链系统设计和安全分析等多个方向：

(1)智能合约的安全分析与检测。

(2)安全、高性能的拜占庭共识设计。

(3)链上数据的隐私保护。

(4) 激励机制的设计与安全分析。