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