成果荟萃

来源：高科技与产业化, 2023, 29(11): 80-88.

<正>01来源：软件研究所软件所在区块链跨链协议验证方面获进展近日，中国科学院软件研究所计算机科学国家重点实验室的科研人员，撰写的题为Formal Analysis of IBC Protocol的研究论文，被网络协议方面的重要国际会议ICNP 2023接收（the 31st IEEE International Conference on Network Protocols）。