Collaborative Research: An Algorithmic Approach to Cyber-Security

这个项目的重点是在网络环境中执行可信计算的高效算法，以及在网络安全中的应用。智能价值。将研究以下主题：-认证的数据结构和算法。我们将研究验证数据结构和算法结果的方法，即使这些计算是由不可信的第三方代表可信的来源执行的。-审计的算法。结合最近对程序检查和对流数据的空间效率计算的研究，该项目将探索一种新的计算框架，其中计算由不受信任的用户社区执行，并由具有有限计算资源的外部审计师进行检查。广泛影响。该提案针对对社会至关重要的一个主题领域--有效维护计算和计算资源的安全的方法，包括通信重要数据的网络。

This project is focused on efficient algorithms for performing trustedcomputations in a networked environment, with applications tocyber-security.Intellectual Merit.The following topics will be investigated:- Authenticated data structures and algorithms. We will study methods for authenticating the results of data structures and algorithms, even when those computations are performed by an untrusted third party on behalf of a trusted source.- Audited algorithms. Bringing together recent research on program checking and space-efficient computations for streaming data, the project will explore a new computational framework in which computations are performed by a community of untrusted users and are checked by an external auditor with limited computational resources.Broader Impacts.The proposal is directed at a subject area of critical importance tosociety -- methods for efficiently maintaining the security ofcomputations and computational resources, including the networks thatcommunicate vital data.