围绕区块链技术与访问控制开展研究，涉及智能访问控制系统、智能合约验证及区块链应用。相关工作包括 SPCL、智能合约形式化验证与基于 Web 3.0 的区块链论文存储系统。
实验室成员可以加入该方向并创建知识卡片。