·研发了一款基于对称密码算法、具备硬件密钥固化能力的物联网加密摄像头原型系统。通过实现视频数据在采集端即时加密、传输端安全可控、存储端密文保护，形成覆盖数据全生命周期的量子安全屏障，为各类物联网视频应用场景提供可复制、可推广的密码安全底座。2.基于SAT/SMT自动化搜索方法，提出了逻辑理论混合编码、多指标联合优化等关键技术。使该平台能够更好支持多指标联合优化，搜索到更好的电路实现方案。优化了模型编码方案，进一步提高了搜索速度。