实验室以智能时代的可信软件基础理论和应用研究为主线，从以下3个方面开展理论研究工作。

（1）可信及智能软件基础理论

主要研究内容包括：基于互联网群体智能的软件开发方法；基于大数据样本的网络空间软件行为安全分析方法；基于双内核架构的可信根构建、动态可信链传递、动态远程证明；软件安全性的度量、建模与预测；可信软件的设计与构造；软件可信性验证技术，包括软件非功能性验证、代码安全性验证、能耗敏感的验证、程序分析测试验证工具开发；软件自诊断、自治愈和自恢复；符号计算；信息物理融合系统的安全性保证。

（2）可信网络与安全协议

主要研究内容包括：抵御侧信道攻击的密码算法设计与分析；安全协议的形式化分析与验证；不需要可信机构的安全协议；具有隐私保护性的数据匿名化与数据聚合协议；D2D通信中的轻量级安全协议；泛在网络中的错误容忍和可靠性保证；泛在网络的可信接入；泛在网络的QoS机制与网络性能分析；泛在网络的安全保护和信任管理。

（3）大数据处理与可信服务

主要研究内容包括：数据访问控制和隐私保护；大数据网络入侵检测与自主防御；基于可靠性的信息推荐；图数据的高效管理和分析；本体知识工程；大数据环境中的异常数据探测及信息隐藏；社交网络大数据的搜集与可信分析；虚拟网络社区的个体和群体行为预测；多媒体内容安全；面向数据管理的可信应用，包括金融数据安全性、图数据、空间数据及不确定性数据的管理等。