全选【项目 符合条件的数据共：15条】

1 TWC: Medium: Collaborative: Hiding Hay in a Haystack: Integrating Censorship Resistance into the Mainstream Internet

项目主持机构: Yale University

国别: US

学科分类: 计算机科学(综合)

成果列表  |   [ 浏览：4]    

2 SaTC: CORE: Small: Formal End-to-End Verification of Information-Flow Security for Complex Systems

项目主持机构: Yale University

国别: US

学科分类: 计算机科学(综合)

成果列表  |   [ 浏览：9]    

3 CAREER: Security Applications of DRAM Cell Decay Effects

项目主持机构: Yale University

国别: US

学科分类: 计算机科学(综合)

成果列表  |   [ 浏览：7]    

4 NeTS: Medium: Collaborative Research: An App-Centric Transport Architecture for the Internet

项目主持机构: Yale University

国别: US

学科分类: 计算机科学(综合)

成果列表  |   [ 浏览：11]    

5 Collaborative Research: Expeditions in Computing: The Science of Deep Specification

项目主持机构: Yale University

国别: US

学科分类: 计算机科学(综合)

成果列表  |   [ 浏览：11]    

6 CSR: Small: Split Virtual Machine Execution for Reliability and Security

项目主持机构: Yale University

国别: US

学科分类: 计算机科学(综合)

成果列表  |   [ 浏览：7]    

7 STARSS: Small: Collaborative: Practical and Scalable Security Verification of Security-Aware Hardware Architectures

项目主持机构: Yale University

国别: US

学科分类: 计算机科学(综合)

成果列表  |   [ 浏览：10]    

8 TWC: Small: Collaborative: Computation and Access Control on Big Multiuser Data

项目主持机构: Yale University

国别: US

学科分类: 计算机科学(综合)

成果列表  |   [ 浏览：9]    

9 NeTS: Small: Optimized Mobile Data Off-loading Architectures and Mechanisms

项目主持机构: Yale University

国别: US

学科分类: 计算机科学(综合)

成果列表  |   [ 浏览：8]    

10 TWC: Medium: Collaborative: New Protocols and Systems for RAM-Based Secure Computation

项目主持机构: Yale University

国别: US

学科分类: 计算机科学(综合)

成果列表  |   [ 浏览：11]