科研项目详细信息
SaTC: CORE: Large: Viaduct: A Framework for Automatically Synthesizing Cryptographic Protocols | |
Andrew Myers | |
Cornell University | |
Subject:计算机科学(综合) | |
美国|英语 | |
01至01 | |
Source: National Science Foundation |
SaTC: CORE: Large: Viaduct: A Framework for Automatically Synthesizing Cryptographic Protocols | |
Andrew Myers | |
Cornell University | |
Subject:计算机科学(综合) | |
美国|英语 | |
01至01 | |
Source: National Science Foundation |